Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings... von Damm, Werner, Olderog, Ernst -Rüdiger

Volltext

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems von Sangiovanni-Vincentelli, Alberto, Damm, Werner, Passerone, Roberto

Volltext

Dynamic Conflict Resolution Using Justification Based Reasoning von Damm, Werner, Fränzle, Martin, Hagemann, Willem, Kröger, Paul, Rakow, Astrid

Volltext

What You Really Need To Know About Your Neighbor von Damm, Werner, Finkbeiner, Bernd, Rakow, Astrid

Volltext

Contracts for System Design von Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A., Larsen, Kim G.

Volltext

Traffic Sequence Charts - A Formal Visual Specification Language for Requirement Capture and Specification Development of Highly Autonomous Cars: Invited Presentation at the First... von Damm, Werner

Volltext

Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles von Fränzle, Martin, Hagemann, Willem, Damm, Werner, Rakow, Astrid, Swaminathan, Mani

Volltext

A discrete-time UML semantics for concurrency and communication in safety-critical applications von Damm, Werner, Josko, Bernhard, Pnueli, Amir, Votintseva, Angelika

Volltext

AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned von Damm, Werner

Volltext

A Formal Semantics for Traffic Sequence Charts von Damm, Werner, Möhlmann, Eike, Peikenkamp, Thomas, Rakow, Astrid

Volltext

Identification and Quantification of Hazardous Scenarios for Automated Driving von Kramer, Birte, Neurohr, Christian, Büker, Matthias, Böde, Eckard, Fränzle, Martin, Damm, Werner

Volltext

A Decision Procedure for Bit-Vectors and Arrays von Ganesh, Vijay, Dill, David L.

Volltext

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement von Althaus, Ernst, Beber, Björn, Damm, Werner, Disch, Stefan, Hagemann, Willem, Rakow, Astrid, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

Volltext

Automatic Compositional Synthesis of Distributed Systems von Damm, Werner, Finkbeiner, Bernd

Volltext

Autonome Systeme: Fähigkeiten und Anforderungen von Damm, Werner, Kalmar, Ralf

Volltext

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction von Bengler, Klaus, Damm, Werner, Luedtke, Andreas, Jochem, Reiger, Austel, Benedikt, Biebl, Bianca, Fränzle, Martin, Hagemann, Willem, Held, Moritz, Hess, David, Ihme, Klas, Kacianka, Severin, Kerscher, Alyssa J., Forrest, Laine, Lehnhoff, Sebastian, Pretschner, Alexander, Rakow, Astrid, Sonntag, Daniel, Sztipanovits, Janos, Schwammberger, Maike, Schweda, Mark, Unni, Anirudh, Veith, Eric

Volltext

A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts von Damm, Werner, Hess, David, Schweda, Mark, Sztipanovits, Janos, Bengler, Klaus, Biebl, Bianca, Fränzle, Martin, Hagemann, Willem, Held, Moritz, Ihme, Klas, Kacianka, Severin, Kerscher, Alyssa J., Lehnhoff, Sebastian, Luedtke, Andreas, Pretschner, Alexander, Rakow, Astrid, Rieger, Jochem, Sonntag, Daniel, Schwammberger, Maike, Austel, Benedikt, Unni, Anirudh, Veith, Eric

Volltext

Autonome Systeme von Damm, Werner, Kalmar, Ralf

Volltext

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata von Damm, Werner, Horbach, Matthias, Sofronie-Stokkermans, Viorica

Volltext

A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations von Damm, Werner, Fränzle, Martin, Kerscher, Alyssa J., Laine, Forrest, Bengler, Klaus, Biebl, Bianca, Hagemann, Willem, Held, Moritz, Hess, David, Ihme, Klas, Kacianka, Severin, Lehnhoff, Sebastian, Luedtke, Andreas, Pretschner, Alexander, Rakow, Astrid, Rieger, Jochem, Sonntag, Daniel, Sztipanovits, Janos, Schwammberger, Maike, Schweda, Mark, Trende, Alexander, Unni, Anirudh, Veith, Eric

Volltext