Werner Damm - RankMe

119 papers A* 9A 2B 10C 5Misc 1Journal 34Unranked 52

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2023	—	`conf`	Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
2020	—	`conf`	Identification and Quantification of Hazardous Scenarios for Automated Driving. IMBSA Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm
2019	—	`conf`	Dynamic Conflict Resolution Using Justification Based Reasoning. CREST Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019	C	`conf`	Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. IV Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
2019	J	`jnl`	Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic. CoRR Werner Damm, Martin Fränzle, Andreas Lüdtke, Jochem W. Rieger, Alexander Trende, Anirudh Unni
2019	J	`jnl`	Justification Based Reasoning in Dynamic Conflict Resolution. CoRR Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019	—	`conf`	Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling. DESTION@CPSIoTWeek Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand
2018	—	`conf`	A Formal Semantics for Traffic Sequence Charts. Principles of Modeling Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
2018	J	`jnl`	Contracts for System Design. Found. Trends Electron. Des. Autom. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2018	—	`conf`	Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving. SEFAIAS@ICSE Werner Damm, Roland Galbas
2018	—	`conf`	Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
2017	J	`jnl`	Autonome Systeme - Fähigkeiten und Anforderungen. Inform. Spektrum Werner Damm, Ralf Kalmar
2017	J	`jnl`	Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Sci. Comput. Program. Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2016	J	`jnl`	Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. CoRR Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
2016	—	`conf`	What You Really Need To Know About Your Neighbor. SYNT@CAV Werner Damm, Bernd Finkbeiner, Astrid Rakow
2015	—	`conf`	A conceptual model of system of systems. SWEC@CPSWeek Werner Damm, Alberto L. Sangiovanni-Vincentelli
2015	B	`conf`	AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned. FM Werner Damm
2015	—	`conf`	Contracts for Schedulability Analysis. FORMATS Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
2015	—	`conf`	Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. FroCos Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
2014	B	`conf`	Automatic Compositional Synthesis of Distributed Systems. FM Werner Damm, Bernd Finkbeiner
2014	—	`conf`	Component based design of hybrid systems: a case study on concurrency and coupling. HSCC Werner Damm, Eike Möhlmann, Astrid Rakow
2014	J	`jnl`	Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). NII Shonan Meet. Rep. Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun
2013	J	`jnl`	Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Math. Struct. Comput. Sci. Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal
2012	J	`jnl`	Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2012	—	`ch.`	Introduction to the SPES Modeling Framework. Model-Based Engineering of Embedded Systems Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer
2012	J	`jnl`	Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone
2011	C	`conf`	An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. FMICS Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand
2011	—	`conf`	Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. SIES Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden
2011	—	`conf`	Crossing the Bridge between Similar Games. FORMATS Jan-David Quesel, Martin Fränzle, Werner Damm
2011	—	`conf`	Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
2011	B	`conf`	Does It Pay to Extend the Perimeter of a World Model? FM Werner Damm, Bernd Finkbeiner
2011	J	`jnl`	PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans
2011	A	`conf`	Using contract-based component specifications for virtual integration testing and architecture design. DATE Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
2010	—	`conf`	Towards Component Based Design of Hybrid Systems: Safety and Stability. Essays in Memory of Amir Pnueli Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli
2009	J	`jnl`	Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2008	C	`conf`	Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. FMICS Werner Damm
2008	A	`conf`	Software Components for Reliable Automotive Systems. DATE Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2007	—	`conf`	Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
2007	A*	`ed.`	Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings CAV Werner Damm, Holger Hermanns
2007	B	`conf`	Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2007	J	`jnl`	Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. Int. J. Found. Comput. Sci. Werner Damm, Guilherme Pinto, Stefan Ratschan
2007	J	`jnl`	SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it Inf. Technol. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
2007	—	`conf`	Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
2006	B	`conf`	Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2006	Misc	`conf`	Embedded system development for automotive applications: trends and challenges. EMSOFT Werner Damm
2006	B	`conf`	Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. RTCSA Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel
2006	—	`conf`	On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation Werner Damm, Tobe Toben, Bernd Westphal
2005	J	`jnl`	A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
2005	—	`conf`	Automatic Validation and Verification in a Model-Based Development Process. MBEES Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko
2005	—	`conf`	Controlling Speculative Design Processes Using Rich Component Models. ACSD Werner Damm
2005	B	`conf`	Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. ATVA Werner Damm, Guilherme Pinto, Stefan Ratschan
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005	J	`jnl`	Live and let die: LSC based verification of UML models. Sci. Comput. Program. Werner Damm, Bernd Westphal
2004	—	`conf`	Adding Value to Automotive Models. ASWSD Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken
2004	—	`conf`	Formal Verification of LSCs in the Development Process. SoftSpez Final Report Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
2004	—	`ed.`	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
2004	—	`conf`	Introduction to Subject Area 'Charts'. SoftSpez Final Report Werner Damm, Bernd Westphal
2004	—	`conf`	Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. SoftSpez Final Report Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
2004	J	`jnl`	Model Checking (Grundlagen und Praxiserfahrungen). Inform. Spektrum Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf
2003	J	`jnl`	A Semantics for Distributed Execution of Statemate. Formal Aspects Comput. Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
2003	—	`conf`	Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. GI Jahrestagung (1) Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich
2003	—	`conf`	On the Verification of Cooperating Traffic Agents. FMCO Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
2003	C	`conf`	Recent Trends in the Development of Safety Critical Systems. FMICS Werner Damm
2002	—	`conf`	Eliminating Queues from RT UML Model Representations. FTRTFT Werner Damm, Bengt Jonsson
2002	—	`ed.`	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 FTRTFT Werner Damm, Ernst-Rüdiger Olderog
2002	—	`conf`	Live and Let Die: LSC-Based Verification of UML-Models. FMCO Werner Damm, Bernd Westphal
2002	—	`conf`	Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
2001	J	`jnl`	Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). Informationstechnik Tech. Inform. Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke
2001	J	`jnl`	LSCs: Breathing Life into Message Sequence Charts. Formal Methods Syst. Des. Werner Damm, David Harel
2001	—	`conf`	Understanding UML - Pains and Rewards. UML Werner Damm
2001	J	`jnl`	Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. Formal Methods Syst. Des. Werner Damm, Jochen Klose
2000	—	`conf`	Challenges in the Verification of Electronic Control Units. FTRTFT Werner Damm
2000	J	`jnl`	Die EVENTS-Architektur (The EVENTS Architecture). Informationstechnik Tech. Inform. Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl
2000	J	`jnl`	OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung. Inform. Forsch. Entwickl. Hans-Jürgen Appelrath, Werner Damm, K.-H. Menke, Wolfgang Nebel, Wilfried Thoben
2000	C	`conf`	Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. ICFEM Werner Damm
2000	A*	`conf`	The STATEMATE Verification Environment - Making It Real. CAV Tom Bienmüller, Werner Damm, Hartmut Wittke
1999	—	`conf`	LSCs: Breathing Life into Message Sequence Charts. FMOODS Werner Damm, David Harel
1999	—	`conf`	Verification of Automotive Control Units. Correct System Design Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
1998	—	`conf`	First-Order-CTL Model Checking. FSTTCS Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
1998	B	`conf`	Herbrand Automata for Hardware Verification. CONCUR Werner Damm, Amir Pnueli, Sitvanit Ruah
1998	—	`conf`	Verifying electronic control unit: today and tomorrow. PROCOMET Werner Damm
1997	—	`conf`	A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
1997	—	`conf`	Verifying out-of-order executions. CHARME Werner Damm, Amir Pnueli
1996	—	`conf`	A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II Jürgen Risau, Alfred Mikschl, Werner Damm
1996	—	`conf`	MSparc: A Multithreaded Sparc. Euro-Par, Vol. II Alfred Mikschl, Werner Damm
1995	—	`conf`	An Extended Gradient Model for NUMA Multiprocessor Systems. ASIAN Feixiong Liu, Thomas Peikenkamp, Werner Damm
1995	—	`ch.`	Statecharts. Formal Development of Reactive Systems Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
1995	—	`conf`	What if model checking must be truly symbolic. CHARME Hardi Hungar, Orna Grumberg, Werner Damm
1994	—	`conf`	Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET Werner Damm, Johannes Helbig
1993	—	`conf`	A net-based semantics for VHDL. EURO-DAC Werner Damm, Bernhard Josko, Rainer Schlör
1993	—	`ch.`	Specification and verification of VHDL-based system-level hardware designs. Specification and validation methods Werner Damm, Bernhard Josko, Rainer Schlör
1993	J	`jnl`	VHDL/S - integrating statecharts, timing diagrams, and VHDL. Microprocess. Microprogramming Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb
1993	A*	`conf`	Verification of timing Properties of VHDL. CAV Costas Courcoubetis, Werner Damm, Bernhard Josko
1989	—	`conf`	Distributed Implementation of Programmed Graph Reduction. PARLE (1) Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm
1989	—	`conf`	Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
1989	J	`jnl`	Specifying distributed computer architectures in AADL. Parallel Comput. Werner Damm, Gert Döhmen
1988	J	`jnl`	A Microprogramming Logic. IEEE Trans. Software Eng. Werner Damm
1987	—	`conf`	An Axiomatic Approach to the Specification of Distributed Computer Architectures. PARLE (1) Werner Damm, Gert Döhmen
1987	—	`book`	Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Werner Damm
1986	J	`jnl`	An Automata-Theoretical Characterization of the OI-Hierarchy Inf. Control. Werner Damm, Andreas Goerdt
1986	J	`jnl`	The AADL/S* Approach to Firmware Design Verification. IEEE Softw. Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt
1985	A*	`conf`	Design and specification of microprogrammed computer architectures. MICRO Werner Damm
1985	A*	`conf`	Verification of microprogrammed computer architectures in the S*-system: a case study. MICRO Werner Damm, Gert Döhmen
1984	A*	`conf`	An axiomatization of low-level parallelism in microarchitectures. MICRO Werner Damm
1983	J	`jnl`	A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. Acta Informatica Werner Damm, Bernhard Josko
1983	—	`conf`	A Sound and Relatively* Compete Axiomatization of Clarke's Language L Logic of Programs Werner Damm, Bernhard Josko
1982	A*	`conf`	An Automata-Theoretic Characterization of the OI-Hierarchy. ICALP Werner Damm, Andreas Goerdt
1982	J	`jnl`	The IO- and OI-Hierarchies. Theor. Comput. Sci. Werner Damm
1981	B	`conf`	Combining T and level-N. MFCS Werner Damm, Irène Guessarian
1981	—	`conf`	Top-Down Tree-Transducers for Infinite Trees I. CAAP J. Bilstein, Werner Damm
1980	—	`conf`	A schematalogical approach to the alalysis of the procedure concept in algol-languages. CLAAP Werner Damm, Elfriede Fehr
1979	B	`conf`	An Algebraic Extension of the Chomsky-Hierarchy. MFCS Werner Damm
1978	A*	`conf`	On the Power of Self-Application and Higher Type-Recursion. ICALP Werner Damm, Elfriede Fehr
1977	—	`conf`	Higher Type Recursion and Self-Application as Control Structures. Formal Description of Programming Concepts Werner Damm, Elfriede Fehr, Klaus Indermark
1977	—	`conf`	Higher type program schemes and their tree languages. Theoretical Computer Science Werner Damm
1977	A*	`conf`	Languages Defined by Higher Type Program Schemes. ICALP Werner Damm