Carsten Weise

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Reverse Engineering of Mobile Application Lifecycles.

[BibT_eX]

[DOI]

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Coping with Complexity of Testing Models for Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Comparing Continous Behavior in Model-based Development of Embedded Software.

[BibT_eX]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

TripleT: Improving Test Responsiveness for High Performance Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Providing a Software Quality Framework for Testing of Mobile Applications.

[BibT_eX]

[DOI]

Dominik Franke

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Scalable Symbolic Execution of Distributed Systems.

[BibT_eX]

[DOI]

Raimondas Sasnauskas

Oscar Soria Dustmann

Benjamin Lucien Kaminski

Klaus Wehrle

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010

Design Patterns for Integrating Variability in Timed Automata.

[BibT_eX]

[DOI]

Ralf Mitsching

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.

[BibT_eX]

[DOI]

Raimondas Sasnauskas

Olaf Landsiedel

Muhammad Hamad Alizai

Klaus Wehrle

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Evaluation of the real-time Java runtime environment for deployment in time-critical systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Towards an Industrial Strength Process for Timed Testing.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Proving Correctness of an Efficient Abstraction for Interrupt Handling.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2000

UPPAAL - Now, Next, and Future.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999

Clock Difference Diagrams.

[BibT_eX]

Justin Pearson

Wang Yi

Nord. J. Comput., 1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

[BibT_eX]

[DOI]

Gerd Behrmann

Justin Pearson

Wang Yi

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Flexibilität durch kombinierte Design Pattern.

[BibT_eX]

[DOI]

Proceedings of the JIT '98, 1998

1997

Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1997

Integrating Tools in the ETI Platform.

[BibT_eX]

[DOI]

Volker Braun

Tiziana Margaria

Int. J. Softw. Tools Technol. Transf., 1997

Efficient Scaling-Invariant Checking of Timed Bisimulation.

[BibT_eX]

[DOI]

Dirk Lenzkes

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

Weak Refinement for Modal Hybrid Systems.

[BibT_eX]

[DOI]

Dirk Lenzkes

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich.

[BibT_eX]

[DOI]

PhD thesis, 1995

A Constraint Oriented Proof Methodology Based on Modal Transition Systems.

[BibT_eX]

[DOI]

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

From Timed Automata to Logic - and Back.

[BibT_eX]

[DOI]

François Laroussinie

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

The Methodology of Modal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formal Systems Specification, 1994

1993

Deciding Testing Equivalence for Real-Time Processes with Dense Time.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Continuous Real Time Models in Practice.

[BibT_eX]

[DOI]

Tiziana Margaria

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk.

[BibT_eX]

Ulrich Fröhlings