http://wwwse.inf.tu-dresden.de/myreferences.bib Publications generated from Bibtex pfeifer@se.inf.tu-dresden.de (Gert Pfeifer) http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2009eatcs.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2009eatcs.html Torvald Riegel, Pascal Felber, Christof Fetzer. Composable Error Recovery with Transactional Memory. Bulletin of the European Association for Theoretical Computer Science 99, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2009sss.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2009sss.html Martin Susskraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer. Speculation for Parallelizing Runtime Checks. In: Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Schi2009seus.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Schi2009seus.html Ute Schiffel, Andre Schmitt, Martin Susskraut, Stefan Weigert, Christof Fetzer. Parallelizing Software-Implemented Error Detection. In: The Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2009srds.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2009srds.html Andrey Brito, Christof Fetzer, Pascal Felber. Multithreading-Enabled Active Replication for Event Stream Processing Operators. In: The 28th International Symposium on Reliable Distributed Systems, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ecec2009.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ecec2009.html Martin Susskraut, Stefan Weigert, Martin Nowack, Diogo Becker de Brum, Christof Fetzer. Parallelize the Runtime Checks - Not the Application. In: Workshop on Exploiting Concurrency Efficiently and Correctly - (EC)^2 (CAV 2009), 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Schi2009.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Schi2009.html Ute Schiffel, Martin Susskraut, Christof Fetzer. AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. In: The 28th International Conference on Computer Safety, Reliability and Security (SafeComp 2009), 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2009nca.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2009nca.html Gert Pfeifer, Ryan Spring, Christof Fetzer. Towards Improved Overlay Simulation Using Realistic Topologies. In: 8th IEEE International Symposium on Network Computing and Architectures (IEEE NCA09), July, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/streammine09.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/streammine09.html Christof Fetzer, Andrey Brito, Robert Fach, Zbigniew Jerzak. StreamMine. In: Handbook of Research on Advanced Distributed Event-Based Systems, Publish/Subscribe and Message Filtering Technologies, IGI Global, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2009icdcs.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2009icdcs.html Andrey Brito, Christof Fetzer, Pascal Felber. Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems. In: The 29th International Conference on Distributed Computing Systems (ICDCS 2009), IEEE Computer Society, June, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2009.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2009.html Gert Pfeifer, Christof Fetzer. Experiences Building Internet-based Topologies with GNP. In: Proceedings of the IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies, May, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Knauth2009Assertion.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Knauth2009Assertion.html Thomas Knauth, Christof Fetzer, Pascal Felber. Assertion-Driven Development: Assessing the Quality of Contracts using Meta-Mutations. In: IEEE International Conference on Software Testing, Verification, and Validation Workshops, IEEE Computer Society, Apr, 2009 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Eus2008.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Eus2008.html Irene Eusgeld, Falk Fraikin, Matthias Rohr, Felix Salfner, Ute Wappler. Software Reliability 4909. In: Dependability Metrics, Springer, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2008mds.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2008mds.html Andrey Brito. Optimistic parallelization support for event stream processing systems. In: MDS '08: Proceedings of the 5th Middleware doctoral symposium, ACM, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2008reducible.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2008reducible.html Gert Pfeifer, Andre Martin, Christof Fetzer. Reducible Complexity in DNS. In: IADIS International Conference WWW/Internet 2008 (ICWI 2008), October, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2008adaptive.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2008adaptive.html Zbigniew Jerzak, Robert Fach, Christof Fetzer. Adaptive Internal Clock Synchronization. In: SRDS 2008: 27th International Symposium on Reliable Distributed Systems, October, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2008bfsiena.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2008bfsiena.html Zbigniew Jerzak, Christof Fetzer. BFSiena: a Communication Substrate for StreamMine. In: Proceedings of the Second Conference on Distributed Event-Based Systems, July, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2008debs.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2008debs.html Andrey Brito, Christof Fetzer, Heiko Sturzrehm, Pascal Felber. Speculative Out-Of-Order Event Processing with Software Transactional Memory. In: Proceedings of the Second Conference on Distributed Event-Based Systems, July, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2008bloom.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2008bloom.html Zbigniew Jerzak, Christof Fetzer. Bloom Filter Based Routing for Content-Based Publish/Subscribe. In: Proceedings of the Second Conference on Distributed Event-Based Systems, July, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/wap2008date.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/wap2008date.html Ute Wappler, Martin Muller. Software Protection Mechanisms for Dependable Systems. DATE conference, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2008partitioning.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2008partitioning.html Torvald Riegel, Christof Fetzer, Pascal Felber. Automatic Data Partitioning in Software Transactional Memories. In: 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2008objbased.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2008objbased.html Manish Marwah, Shivakant Mishra, Christof Fetzer. Enhanced Server Fault-Tolerance for Improved User Experience. In: In Proceedings of IEEE Conference on Dependable Systems and Networks, (DSN), June, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2008transactions.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2008transactions.html Pascal Felber, Christof Fetzer, Rachid Guerraoui, Tim Harris. Transactions are back - but are they the same?. ACM SIGACT News 39(1), 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2008objbased.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2008objbased.html Torvald Riegel, Becker de Brum, Diogo. Making Object-Based STM Practical in Unmanaged Environments. In: TRANSACT 2008, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2008switchblade.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2008switchblade.html Fetzer, Christof, Susskraut, Martin. Switchblade: enforcing dynamic personalized system call models. SIGOPS Oper. Syst. Rev. 42(4), ACM, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2008eurosys.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2008eurosys.html Christof Fetzer, Martin Susskraut. SwitchBlade: Enforcing Dynamic Personalized System Call Models. In: Proceedings of the ACM SIGOPS EuroSys, 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/felber2008tinystm.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/felber2008tinystm.html Pascal Felber, Christof Fetzer, Torvald Riegel. Dynamic Performance Tuning of Word-Based Software Transactional Memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2008 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Wap2007d.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Wap2007d.html Ute Wappler, Christof Fetzer. Data processing arrangement comprises coding device, which is adjusted to assign codeword to data item to be stored in memory element based on signal information. In: Patent pending: DE102007040721A1 applied for by TU Dresden, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2007improving.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/fetzer2007improving.html C. Fetzer, P. Felber. Improving Program Correctness with Atomic Exception Handling. Journal of Universal Computer Science 13(8), 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2007systems.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2007systems.html Manish Marwah, Shivakant Mishra, Christof Fetzer. Systems Architectures for Transactional Network Interface. hase, IEEE Computer Society, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2007edaps.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/brito2007edaps.html Andrey Brito, Christof Fetzer. Improved Event Processing Performance through Parallel Event Transformation. In: The Second International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS'07), 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2007safecomp.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2007safecomp.html Ute Wappler, Christof Fetzer. Software Encoded Processing: Building Dependable Systems with Commodity Hardware. In: Lecture Notes in Computer Science on Computer Safety, Reliability and Security (SafeComp 2007), 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2007indin.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2007indin.html Ute Wappler, Christof Fetzer. Hardware Failure Virtualization Via Software Encoded Processing. In: 5th IEEE International Conference on Industrial Informatics (INDIN 2007), 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2007zlin.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2007zlin.html Torvald Riegel, Christof Fetzer, Heiko Sturzrehm, Pascal Felber. Brief Announcement: From Causal to z-Linearizable Transactional Memory. In: 26th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, August, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/felber2007tanger.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/felber2007tanger.html Pascal Felber, Christof Fetzer, Ulrich Muller, Torvald Riegel, Martin Susskraut, Heiko Sturzrehm. Transactifying Applications using an Open Compiler Framework. In: TRANSACT, August, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2007pr4ps.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2007pr4ps.html Zbigniew Jerzak, Christof Fetzer. Prefix Forwarding for Publish/Subscribe. In: Inaugural International Conference on Distributed Event-Based Systems, ACM International Proceedings Series, June, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2007DSNb.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2007DSNb.html Martin Susskraut, Stephan Creutz, Christof Fetzer. Fast Fault Injection with Virtual Machines (Fast Abstract). In: Supplement of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2007), June, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2007DSNa.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2007DSNa.html Martin Susskraut, Christof Fetzer. Robustness and Security Hardening of COTS Software Libraries. In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2007), June, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2007FAPS.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2007FAPS.html Zbigniew Jerzak, Robert Fach, Christof Fetzer. Fail-Aware Publish/Subscribe. In: The 6th IEEE International Symposium on Network Computing and Applications, IEEE Computer Society Press, July, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2007nca.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeifer2007nca.html Gert Pfeifer, Christof Fetzer, Thomas Hohnstein. Exploiting Host Name Locality for Reduced Stretch P2P Routing. In: 6th IEEE International Symposium on Network Computing and Architectures (IEEE NCA07), July, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2007lsart.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2007lsart.html Torvald Riegel, Christof Fetzer, Pascal Felber. Time-based Transactional Memory with Scalable Time Bases. In: 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June, 2007 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jhumka2006approach.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jhumka2006approach.html Arshad Jhumka, Felix Freiling, Christof Fetzer, Neeraj Suri. An approach to synthesise safe systems. Int. J. Security and Networks 1(1/2), 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2006splice.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2006splice.html Manish Marwah, Shivakant Mishra, Christof Fetzer. Fault-tolerant and scalable TCP splice and web server architecture. srds 00, IEEE Computer Society, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/TR-SE-election.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/TR-SE-election.html Christof Fetzer, Martin Susskraut. Leader Election in the Timed Finite Average Response Time Model, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2006edcc.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2006edcc.html Ute Wappler, Christof Fetzer. Hardware Fault Injection Using Dynamic Binary Instrumentation: FITgrind Proceedings Suplemental. In: Inproceedings of the Sixth European Dependable Computing Conference (EDCC 2006) [Fast Abstract], 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2006.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2006.html Martin Susskraut, Christof Fetzer. Leader Election in the Timed Finite Average Response Time Model. In: 12th Pacific Rim International Symposium on Dependable Computing (PRDC'6), December, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2006edcc1.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2006edcc1.html Martin Susskraut, Christof Fetzer. Automatically Finding and Patching Bad Error Handling. In: Sixth European Dependable Computing Conference (EDCC'06), October, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2006edcc2.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/suesskraut2006edcc2.html Martin Susskraut, Christof Fetzer. Learning Library-Level Error Return Values from Syscall Error Injection Proceedings Suplemental. In: Inproceedings of the Sixth European Dependable Computing Conference (EDCC 2006) [Fast Abstract], 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2006lsa.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2006lsa.html Torvald Riegel, Pascal Felber, Christof Fetzer. A Lazy Snapshot Algorithm with Eager Validation. In: 20th International Symposium on Distributed Computing (DISC), September, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeiferi2cs2006.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/pfeiferi2cs2006.html Gert Pfeifer, Christof Fetzer, Martin Steuer. Rearchitecting DNS. In: Proceedings of I2CS'2006, Jun, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2006sistm.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/riegel2006sistm.html Torvald Riegel, Christof Fetzer, Pascal Felber. Snapshot Isolation for Software Transactional Memory. In: TRANSACT06, Jun, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2006handling.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2006handling.html Zbigniew Jerzak, Christof Fetzer. Handling Overload in Publish/Subscribe Systems. In: To appear in proceedings of ICDCS'2006 DEBS workshop, IEEE Computer Society Press, 2006 http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2005system.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/marwah2005system.html Manish Marwah, Shivakant Mishra, Christof Fetzer. A System Demonstration of ST-TCP. dsn 00, IEEE Computer Society, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2005cbse.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/wappler2005cbse.html Elke Franz, Ute Wappler. Tailored Responsibility Within Component-Based Systems.. In: Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2005highly.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/jerzak2005highly.html Zbigniew Jerzak. Fast Abstract: Highly Available Publish/Subscribe. In: Supplement Proceedings of the High Assurance Systems Engineering Conference - HASE2005, IEEE Computer Society Press, October, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/HASE2005suesskraut.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/HASE2005suesskraut.html Martin Susskraut, Ulrich Mueller. Fast Abstract: Providing Transparent Transactions on C/C++ Memory Locations with TARIFA. In: Supplement Proceedings of the High Assurance Systems Engineering Conference - HASE2005, IEEE Computer Society Press, October, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ISAS2005.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ISAS2005.html Christof Fetzer, Trevor Jim. Dependable Distributed Computing using Free Databases. In: Proceeding of the International Service Availability Symposium (ISAS 2005), 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ASR2005.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ASR2005.html Christof Fetzer, Gert Pfeifer, Trevor Jim. Using SSL for Secure Domain Name System (DNS) Transactions. In: Transactions of the VSB - TU Ostrava, ISBN 08-248-0882-X, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS2005.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS2005.html Christof Fetzer, Ulrich Schmid, Martin Susskraut. On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times. In: Proceeding of the IEEE International Conference on Distributed Computing Systems (ICDCS 2005), 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2005.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2005.html Christof Fetzer, Gert Pfeifer, Trevor Jim. Enhancing DNS Security using the SSL Trust Infrastructure. In: Proceeding of the IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Springer2005a.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Springer2005a.html Christof Fetzer, Karin Hogstedt, Pascal Felber. Automatic Testing of Exception Handling Code. In: Testing Commercial-off-the-shelf Components And Systems, Springer Verlag, January, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/Springer2005b.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/Springer2005b.html Christof Fetzer, Zhen Xiao. Automatic Testing for Robustness Violations. In: Building Quality into COTS Components - Testing and Debugging, Springer Verlag, January, 2005 http://wwwse.inf.tu-dresden.de/ABSTRACTS/TSE2004.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/TSE2004.html Christof Fetzer, Pascal Felber, Karin Hogstedt. Automatic Detection and Masking of Non-Atomic Exception Handling. IEEE Transactions on Software Engineering 30(8), August, 2004 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC2004BA.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC2004BA.html Christof Fetzer, Ulrich Schmid. On the possibility of consensus in asynchronous systems with finite average response times (brief announcement). In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing (PODC 2004), 2004 http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2003F.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2003F.html Christof Fetzer, Neeraj Suri. Practical Aspects of IP Take-Over Mechanisms. In: Proceeding of 9-th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F), Oct, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS2003.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS2003.html Ulrich Schmid, Christof Fetzer. Randomized Asynchronous Consensus with Imperfect Communications. In: The 22nd Symposium on Reliable Distributed Systems (SRDS2003), Oct, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2003a.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2003a.html Christof Fetzer, Karin Hogstedt, Pascal Felber. Automatic Detection and Masking of Non-Atomic Exception Handling. In: International Conference on Dependable Systems and Networks (DSN2003), June, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2003b.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2003b.html Manish Marwah, Shivakant Mishra, Christof Fetzer. TCP Server Fault Tolerance Using Connection Migration to a Backup Server. In: International Conference on Dependable Systems and Networks (DSN2003), June, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2003c.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2003c.html Christof Fetzer, Zhen Xiao. HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications. In: International Conference on Dependable Systems and Networks (DSN2003 demonstration paper), June, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS2003.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS2003.html Christof Fetzer, Michel Raynal. Elastic Vector Time. In: Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS2003), May, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/LNCS2584.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/LNCS2584.html Christof Fetzer, Karin Hogstedt. Challenges in Making Pervasive Systems Dependable. In: Future Directions in Distributed Computing, Research and Position Papers, Springer Verlag, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/JRTS2003.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/JRTS2003.html Christof Fetzer, Flaviu Cristian. Fail-Awareness: An Approach to Construct Fail-Safe Applications. Journal of Real-Time Systems, Kluwer, March, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/TOC2003.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/TOC2003.html Christof Fetzer. Perfect Failure Detection in Timed Asynchronous Systems. IEEE Transactions of Computers 52, Feb, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2003.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2003.html Christof Fetzer, K. Hogstedt. Self*: A Component Based Data-Flow Oriented Framework for Pervasive Dependability. In: Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Jan, 2003 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ISSRE2002.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ISSRE2002.html Christof Fetzer, Zhen Xiao. A Flexible Generator Architecture for Improving Software Dependability. In: Procceedings of the Thirteenth International Symposium on Software Reliability Engineering (ISSRE), Nov, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/WDMS2002.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/WDMS2002.html Christof Fetzer, Karin Hogstedt. Middleware Support for Pervasive Dependability. In: Workshop on Dependable Middleware-Based Systems, Jun, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ADHOCNOW2002.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ADHOCNOW2002.html Ranveer Chandra, Christof Fetzer, Karin Hogstedt. A Mesh-based Robust Topology Discovery Algorithm for Hybrid Wireless Networks. In: Proceedings of AD-HOC Networks and Wireless (ADHOC-NOW), September, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/TOC2002.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/TOC2002.html Shivakant Mishra, Christof Fetzer, Flaviu Cristian. The Timewheel Group Communication System. IEEE Transactions of Computers, number 8, August, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2002.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2002.html Christof Fetzer, Zhen Xiao. An Automated Approach to Increasing the Robustness of C Libraries. In: International Conference on Dependable Systems and Networks, June, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ISORC2002.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ISORC2002.html Christof Fetzer, Michel Raynal. Approximate Real-Time Clocks for Scheduled Events. In: The 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC2002), April, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/NCA2001.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/NCA2001.html Maxim Orgiyan, Christof Fetzer. Tapping TCP Streams. In: IEEE International Symposium on Network Computing and Applications, NCA2001, Feb, 2002 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2001a.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2001a.html Christof Fetzer, Michel Raynal, Frederic Tronel. An Adaptive Failure Detection Protocol. In: Pacific Rim International Symposium on Dependable Computing (PRDC 2001), Dec, 2001 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2001b.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2001b.html Christof Fetzer, Karin Hogstedt. Rejuvenation and Failure Detection in Partitionable Systems. In: Proceedings of Pacific Rim International Symposium on Dependable Computing (PRDC 2001), DeChristof, 2001 http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS2001.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS2001.html Christof Fetzer, Zhen Xiao. Detecting Heap Smashing Attacks Through Fault Containment Wrappers. In: 20th Symposium on Reliable Distributed Systems (SRDS2001), Oct., 2001 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS2001.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS2001.html Christof Fetzer. Enforcing Perfect Failure Detection. In: Proceedings of the 21st International Conference on Distributed Systems, April, 2001 http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2001.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/WORDS2001.html Greg Bond, Christof Fetzer. Fault Management In ECLIPSE. In: 2001 IEEE CS Workshop on Object-oriented Real-Time Dependable Systems, Jan., 2001 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2000.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRDC2000.html Christof Fetzer. Enforcing Synchronous System Properties on Top of Timed Systems. In: Pacific Rim International Symposium on Dependable Computing (PRDC 2000), DeChristof, 2000 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2000.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DSN2000.html Paulo Verissimo, Antonio Casimiro, Christof Fetzer. The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. In: Proceedings of the International Conference on Dependable Systems and Networks, June, 2000 http://wwwse.inf.tu-dresden.de/ABSTRACTS/TSE1999.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/TSE1999.html Christof Fetzer, Flaviu Cristian. A Highly Available Local Leader Service. IEEE Transactions on Software Engineering, Sept.-Oct., 1999 http://wwwse.inf.tu-dresden.de/ABSTRACTS/TPDS1999.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/TPDS1999.html Flaviu Cristian, Christof Fetzer. The Timed Asynchronous Distributed System Model. IEEE Transactions on Parallel and Distributed Systems, June, 1999 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PSE1999.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PSE1999.html Christof Fetzer, Flaviu Cristian. A Fail-Aware Datagram Service. IEE Proceedings - Software Engineering, April, 1999 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ERSADS1999.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ERSADS1999.html Christof Fetzer. A Comparison of Timed Asynchronous Systems and Asynchronous Systems with Failure Detectors. In: Proceedings of the Third European Research Seminar on Advances in Distributed Systems (ERSADS 1999), Apr, 1999 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DCCA1999.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DCCA1999.html Christof Fetzer, Flaviu Cristian. Building Fault-Tolerant Hardware Clocks. In: Proceedings of the Seventh IFIP International Working Conference on Dependable Computing for Critical Applications, Jan, 1999 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ERLANG1999.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ERLANG1999.html Christof Fetzer. Fail-Aware Publish/Subscribe in Erlang. In: Proceedings of the Fourth International Erlang User Conference, September, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTCS1998.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTCS1998.html Flaviu Cristian, Christof Fetzer. The Timed Asynchronous Distributed System Model. In: Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing, Jun, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC1998.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC1998.html Christof Fetzer. The Message Classification Model. In: Proceedings of the 17th ACM Symposium on Principles of Distributed Computing, June, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/LNCS1388a.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/LNCS1388a.html Christof Fetzer, Flaviu Cristian. Derivation of Fail-Aware Membership Service Specifications. In: Lecture Notes in Computer Science 1388, Springer Verlag, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1998a.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1998a.html Christof Fetzer, Flaviu Cristian. Derivation of Fail-Aware Membership Service Specifications. In: Proceedings of the 3nd Annual Workshop on Fault-Tolerant Parallel and Distributed Systems (FTPDS1998), Apr, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/LNCS1388b.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/LNCS1388b.html Shivakant Mishra, Christof Fetzer, Flaviu Cristian. The Timewheel Asynchronous Group Communication Protocol. In: Lecture Notes in Computer Science 1388, Springer Verlag, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1998b.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1998b.html Shivakant Mishra, Christof Fetzer, Flaviu Cristian. The Timewheel Asynchronous Group Communication Protocol. In: Proceedings of the 3nd Annual Workshop on Fault-Tolerant Parallel and Distributed Systems (FTPDS1998), Apr, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1998.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1998.html Christof Fetzer, Flaviu Cristian. A Fail-Aware Datagram Service. In: Fault-Tolerant Parallel And Distributed Systems, Kluwer Academic Publishers, 1998 http://wwwse.inf.tu-dresden.de/ABSTRACTS/WMDRTSS1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/WMDRTSS1997.html Christof Fetzer, Flaviu Cristian. FORTRESS: A System to Support Fail-Aware Real-Time Applications. In: IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, Dec, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS1997.html Christof Fetzer, Flaviu Cristian. A Fail-Aware Membership Service. In: Proceedings of the 16th Symposium on Reliable Distributed Systems (SRDS1997), Oct, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/NAEC1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/NAEC1997.html Christof Fetzer, Flaviu Cristian. Using Fail-Awareness to Design Adaptive Real-Time Applications. In: IEEE National Aerospace and Electronics Conference (NAEC1997), July, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTCS1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTCS1997.html Christof Fetzer, Flaviu Cristian. Fail-Awareness: An Approach to Construct Fail-Safe Applications. In: Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing (FTCS1997), June, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICPDS1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICPDS1997.html Oliver Suciu, Christof Fetzer. Determining the User-Level Transmission Delay in Networks of Workstations. In: IASTED International Conference Parallel and Distributed Systems, June, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PDPTA1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PDPTA1997.html Shivakant Mishra, Christof Fetzer, Flaviu Cristian. The Timewheel Asynchronous Atomic Broadcast Protocol. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA1997), June, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/FTPDS1997.html Christof Fetzer, Flaviu Cristian. A Fail-Aware Datagram Service. In: Proceedings of the 2nd Annual Workshop on Fault-Tolerant Parallel and Distributed Systems (FTPDS1997), Apr, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PHDTHESIS.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PHDTHESIS.html Christof Fetzer. Fail-awareness In Timed Asynchronous Systems, March, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/JRTS1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/JRTS1997.html Christof Fetzer, Flaviu Cristian. Integrating External and Internal Clock Synchronization. Journal of Real-Time Systems 12(2), March, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DCCA1997.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DCCA1997.html Christof Fetzer, Flaviu Cristian. A Highly Available Local Leader Service. In: Proceedings of the Sixth IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA1997), March, 1997 http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS1996.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS1996.html Christof Fetzer, Flaviu Cristian. Fail-Aware Failure Detectors. In: Proceedings of the 15th Symposium on Reliable Distributed Systems (SRDS1996), Oct, 1996 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC1996.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC1996.html Christof Fetzer, Flaviu Cristian. Fail-Awareness in Timed Asynchronous Systems. In: Proceedings of the 15th ACM Symposium on Principles of Distributed Computing (PODC1996), May, 1996 http://wwwse.inf.tu-dresden.de/ABSTRACTS/DAGSTUHL1995.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/DAGSTUHL1995.html Christof Fetzer. Fail-Aware Clock Synchronization. In: Dagstuhl-Seminar-Report 138, Time-Services, Mar, 1996 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRFTS1995.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PRFTS1995.html Christof Fetzer, Flaviu Cristian. On the Possibility of Consensus in Asynchronous Systems. In: Proceedings of the 1995 Pacific Rim Int'l Symp. on Fault-Tolerant Systems (PRFTS1995), Dec, 1995 http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC1995.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/PODC1995.html Christof Fetzer, Flaviu Cristian. Lower Bounds for Convergence Function Based Clock Synchronization. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing (PODC1995), Aug, 1995 http://wwwse.inf.tu-dresden.de/ABSTRACTS/COMPASS1995.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/COMPASS1995.html Christof Fetzer, Flaviu Cristian. An Optimal Internal Clock Synchronization Algorithm. In: Proceedings of the 10th Annual IEEE Conference on Computer Assurance (COMPASS1995), June, 1995 http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS1995.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/ICDCS1995.html Flaviu Cristian, Christof Fetzer. Fault-Tolerant External Clock Synchronization. In: Proceedings of the 15th International Conference on Distributed Systems (ICDS1995), May, 1995 http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS1994.html http://wwwse.inf.tu-dresden.de/ABSTRACTS/SRDS1994.html Flaviu Cristian, Christof Fetzer. Fault-Tolerant Internal Clock Synchronization. In: Proceedings of the Thirteenth Symposium on Reliable Distributed Systems (SRDS1994), Oct, 1994