Uli Fahrenberg

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Sound Merging and Differencing for Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Compositionality for Quantitative Specifications.

[BibT_eX]

[DOI]

Jan Kretínský

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Specification Theories for Probabilistic and Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Parametric and Quantitative Extensions of Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Weighted modal transition systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Refinement and Difference for Probabilistic Automata.

[BibT_eX]

[DOI]

Benoît Delahaye

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

A Tag Contract Framework for Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Kleene Algebras and Semimodules for Energy Problems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Generalized Quantitative Analysis of Metric Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

Tag Machines for Modeling Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Reachability analysis for timed automata using max-plus algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

A Robust Specification Theory for Modal Event-Clock Automata

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

Synchronous Interface Theories and Time Triggered Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

General Quantitative Specification Theories with Modalities.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2012

2011

Model-Based Verification and Analysis for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Metrics for weighted transition systems: Axiomatization and complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Distances for Weighted Transition Systems: Games and Properties

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Quantitative analysis of real-time systems using priced timed automata.

[BibT_eX]

[DOI]

Commun. ACM, 2011

Vision Paper: Make a Difference! (Semantically).

[BibT_eX]

[DOI]

Andrzej Wasowski

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Quantitative Refinement for Weighted Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Energy Games in Multiweighted Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

The Quantitative Linear-Time--Branching-Time Spectrum.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010

Quantitative analysis of weighted transition systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Timed automata with observers under energy constraints.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009

Discounting in Time.

[BibT_eX]

[DOI]

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Discount-Optimal Infinite Runs in Priced Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th, 2009

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Infinite Runs in Weighted Timed Automata with Energy Constraints.

[BibT_eX]

[DOI]

Patricia Bouyer

Nicolas Markey

Jirí Srba

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

2005

A Category of Higher-Dimensional Automata.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2003

Preface.

[BibT_eX]

[DOI]

Eric Goubault

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

Directed Homology.

[BibT_eX]

[DOI]

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

2002

The Geometry of Timed PV Programs.

[BibT_eX]

[DOI]