Bernd Westphal

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

On Education and Training in Formal Methods for Industrial Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

Tutoring with Stylus-enabled Tablets.

[BibT_eX]

[DOI]

Proceedings of the Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26., 2020

Automatic Generation of Learning Assignments for Software Engineering Formalisms.

[BibT_eX]

[DOI]

Michael Steinle

Proceedings of the Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26., 2020

On Implementable Timed Automata.

[BibT_eX]

[DOI]

Milan Vujinovic

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

On Complementing an Undergraduate Software Engineering Course with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019

Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture).

[BibT_eX]

[DOI]

Proceedings of the Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, Bremerhaven, Deutschland, 21., 2019

Scalable Analysis of Real-Time Requirements.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Teaching Software Modelling in an Undergraduate Introduction to Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

On Formal Verification of ACT-R Architectures and Models.

[BibT_eX]

[DOI]

Vincent Langenfeld

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

An Undergraduate Requirements Engineering Curriculum with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Requirements Engineering Education and Training, 2018

But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

On Global Scheduling Independency in Networks of Timed Automata.

[BibT_eX]

[DOI]

Milan Vujinovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Ready for testing: ensuring conformance to industrial standards through formal verification.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

The Model Checking Problem in Networks with Quasi-Equal Clocks.

[BibT_eX]

[DOI]

Christian Herrera

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

2015

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.

[BibT_eX]

[DOI]

Ahmad Siyar Andisha

Martin Wehrle

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Quasi-equal Clock Reduction: Eliminating Assumptions on Networks.

[BibT_eX]

[DOI]

Christian Herrera

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Quasi-Equal Clock Reduction: More Networks, More Queries.

[BibT_eX]

[DOI]

Christian Herrera

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Transformations for Compositional Verification of Assumption-Commitment Properties.

[BibT_eX]

[DOI]

Ahmed Mahdi

Martin Fränzle

Proceedings of the Reachability Problems - 8th International Workshop, 2014

Optimizing guard time for TDMA in a wireless sensor network - Case study.

[BibT_eX]

[DOI]

Oday Jubran

Proceedings of the IEEE 39th Conference on Local Computer Networks, Edmonton, AB, Canada, 8-11 September, 2014, 2014

Quasi-dependent variables in hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

2013

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

Formal approach to guard time optimization for TDMA.

[BibT_eX]

[DOI]

Oday Jubran

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Formal Verification of a Parameterized Data Aggregation Protocol.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Parameterized Verification of Track Topology Aggregation Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

Detecting Quasi-equal Clocks in Timed Automata.

[BibT_eX]

[DOI]

Marco Muñiz

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Towards successful subcontracting for software in small to medium-sized enterprises.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012

Model-based development of embedded systems' user interfaces.

[BibT_eX]

[DOI]

Jelena Barth

Stephan Arlt

Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012

Timed Automata with Disjoint Activity.

[BibT_eX]

[DOI]

Marco Muñiz

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Reducing Quasi-Equal Clocks in Networks of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Disambiguation of industrial standards through formalization and graphical languages.

[BibT_eX]

[DOI]

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

System Verification through Program Verification.

[BibT_eX]

[DOI]

Daniel Dietsch

Proceedings of the FM 2011: Formal Methods, 2011

2010

Spotlight Abstraction of Agents and Areas.

[BibT_eX]

[DOI]

Jan-Hendrik Rakow

Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

2008

Specification and verification of dynamic topology systems: on the applicability of query- and data-type-reduction-based abstractions.

[BibT_eX]

[DOI]

PhD thesis, 2008

2007

The Spotlight Principle.

[BibT_eX]

[DOI]

Björn Wachter

Proceedings of the Verification, 2007

Mind the Shapes: Abstraction Refinement Via Topology Invariants.

[BibT_eX]

[DOI]

Jörg Bauer

Proceedings of the Automated Technology for Verification and Analysis, 2007

Verification and Synthesis of OCL Constraints Via Topology Analysis.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Check It Out: On the Efficient Formal Verification of Live Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

On the Expressive Power of Live Sequence Charts.

[BibT_eX]

[DOI]

Werner Damm

Proceedings of the Program Analysis and Compilation, 2006

Specification and Verification of Dynamic Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Live and let die: LSC based verification of UML models.

[BibT_eX]

[DOI]

Werner Damm

Sci. Comput. Program., 2005

LSC Verification for UML Models with Unbounded Creation and Destruction.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

2004

The Rhapsody UML Verification Environment.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Introduction to Subject Area 'Charts'.

[BibT_eX]

[DOI]

Werner Damm