Werner Damm

According to our database1, Werner Damm
  • authored at least 99 papers between 1977 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Sci. Comput. Program., 2017

Autonome Systeme - Fähigkeiten und Anforderungen.
Informatik Spektrum, 2017

2016
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.
CoRR, 2016

What You Really Need To Know About Your Neighbor.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

2015
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Contracts for Schedulability Analysis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned.
Proceedings of the FM 2015: Formal Methods, 2015

A conceptual model of system of systems.
Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, 2015

2014
Component based design of hybrid systems: a case study on concurrency and coupling.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Automatic Compositional Synthesis of Distributed Systems.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.
Mathematical Structures in Computer Science, 2013

2012
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.
Sci. Comput. Program., 2012

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems.
Eur. J. Control, 2012

Introduction to the SPES Modeling Framework.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.
Mathematics in Computer Science, 2011

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Crossing the Bridge between Similar Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Does It Pay to Extend the Perimeter of a World Model?
Proceedings of the FM 2011: Formal Methods, 2011

Using contract-based component specifications for virtual integration testing and architecture design.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Towards Component Based Design of Hybrid Systems: Safety and Stability.
Proceedings of the Time for Verification, 2010

2009
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Design & Test of Computers, 2009

2008
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Software Components for Reliable Automotive Systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
it - Information Technology, 2007

Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems.
Int. J. Found. Comput. Sci., 2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.
Proceedings of the Automated Technology for Verification and Analysis, 2007

Verification and Synthesis of OCL Constraints Via Topology Analysis.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Embedded system development for automotive applications: trends and challenges.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

On the Expressive Power of Live Sequence Charts.
Proceedings of the Program Analysis and Compilation, 2006

Automatic Verification of Hybrid Systems with Large Discrete State Space.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

Live and let die: LSC based verification of UML models.
Sci. Comput. Program., 2005

A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Sci. Comput. Program., 2005

Automatic Validation and Verification in a Model-Based Development Process.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2005

Controlling Speculative Design Processes Using Rich Component Models.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Model Checking (Grundlagen und Praxiserfahrungen).
Informatik Spektrum, 2004

Introduction to Subject Area 'Charts'.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Formal Verification of LSCs in the Development Process.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Adding Value to Automotive Models.
Proceedings of the Automotive Software, 2004

2003
A Semantics for Distributed Execution of Statemate.
Formal Asp. Comput., 2003

Recent Trends in the Development of Safety Critical Systems.
Electr. Notes Theor. Comput. Sci., 2003

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 2003

On the Verification of Cooperating Traffic Agents.
Proceedings of the Formal Methods for Components and Objects, 2003

2002
Eliminating Queues from RT UML Model Representations.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Live and Let Die: LSC-Based Verification of UML-Models.
Proceedings of the Formal Methods for Components and Objects, 2002

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).
it+ti - Informationstechnik und Technische Informatik, 2001

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.
Formal Methods in System Design, 2001

LSCs: Breathing Life into Message Sequence Charts.
Formal Methods in System Design, 2001

Understanding UML - Pains and Rewards.
Proceedings of the «UML» 2001, 2001

2000
Die EVENTS-Architektur (The EVENTS Architecture).
it+ti - Informationstechnik und Technische Informatik, 2000

OFFIS - Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung.
Inform., Forsch. Entwickl., 2000

Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Challenges in the Verification of Electronic Control Units.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

The STATEMATE Verification Environment - Making It Real.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
LSCs: Breathing Life into Message Sequence Charts.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Verification of Automotive Control Units.
Proceedings of the Correct System Design, 1999

1998
Verifying electronic control unit: today and tomorrow.
Proceedings of the Programming Concepts and Methods, 1998

First-Order-CTL Model Checking.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Herbrand Automata for Hardware Verification.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
A Compositional Real-Time Semantics of STATEMATE Designs.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Verifying out-of-order executions.
Proceedings of the Advances in Hardware Design and Verification, 1997

1996
A RISC Approach to Weak Cache Coherence.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

MSparc: A Multithreaded Sparc.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Statecharts.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

What if model checking must be truly symbolic.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

An Extended Gradient Model for NUMA Multiprocessor Systems.
Proceedings of the Algorithms, 1995

1994
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.
Proceedings of the Programming Concepts, 1994

1993
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
Microprocessing and Microprogramming, 1993

A net-based semantics for VHDL.
Proceedings of the European Design Automation Conference 1993, 1993

Verification of timing Properties of VHDL.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1989
Specifying distributed computer architectures in AADL.
Parallel Computing, 1989

Modular Verification of Petri Nets: The Temporal Logic Approach.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Distributed Implementation of Programmed Graph Reduction.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988
A Microprogramming Logic.
IEEE Trans. Software Eng., 1988

1987
An Axiomatic Approach to the Specification of Distributed Computer Architectures.
Proceedings of the PARLE, 1987

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Informatik-Fachberichte 146, Springer, ISBN: 3-540-18320-5, 1987

1986
The AADL/S* Approach to Firmware Design Verification.
IEEE Software, 1986

An Automata-Theoretical Characterization of the OI-Hierarchy
Information and Control, 1986

1985
Verification of microprogrammed computer architectures in the S*-system: a case study.
Proceedings of the 18th annual workshop on Microprogramming, 1985

Design and specification of microprogrammed computer architectures.
Proceedings of the 18th annual workshop on Microprogramming, 1985

1984
An axiomatization of low-level parallelism in microarchitectures.
Proceedings of the 17th annual workshop on Microprogramming, 1984

1983
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
Acta Inf., 1983

A Sound and Relatively* Compete Axiomatization of Clarke's Language L4.
Proceedings of the Logics of Programs, 1983

1982
The IO- and OI-Hierarchies.
Theor. Comput. Sci., 1982

An Automata-Theoretic Characterization of the OI-Hierarchy.
Proceedings of the Automata, 1982

1981
Combining T and level-N.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Top-Down Tree-Transducers for Infinite Trees I.
Proceedings of the CAAP '81, 1981

1980
A schematalogical approach to the alalysis of the procedure concept in algol-languages.
Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979
An Algebraic Extension of the Chomsky-Hierarchy.
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978
On the Power of Self-Application and Higher Type-Recursion.
Proceedings of the Automata, 1978

1977
Higher type program schemes and their tree languages.
Proceedings of the Theoretical Computer Science, 1977

Languages Defined by Higher Type Program Schemes.
Proceedings of the Automata, 1977


  Loading...