Ulrich Fahrenberg

According to our database1, Ulrich Fahrenberg
  • authored at least 72 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Featured Weighted Automata.
CoRR, 2017

An ω-Algebra for Real-Time Energy Problems.
CoRR, 2017

An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions.
Acta Cybern., 2017

An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras.
Acta Cybern., 2017

A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Compatibility flooding: measuring interaction of services interfaces.
Proceedings of the Symposium on Applied Computing, 2017

Featured Weighted Automata.
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2016
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.
ACM Trans. Embedded Comput. Syst., 2016

A tag contract framework for modeling heterogeneous systems.
Sci. Comput. Program., 2016

Long-Term Average Cost in Featured Transition Systems.
CoRR, 2016

A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories.
CoRR, 2016

Long-term average cost in featured transition systems.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015
*-Continuous Kleene ω-Algebras for Energy Problems.
Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

*-Continuous Kleene ω-Algebras.
CoRR, 2015

Merging Features in Featured Transition Systems.
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

Measuring Behaviour Interactions between Product-Line Features.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

An omega-Algebra for Real-Time Energy Problems.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

*-Continuous Kleene ω-Algebras.
Proceedings of the Developments in Language Theory - 19th International Conference, 2015

Partial Higher-dimensional Automata.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014
The quantitative linear-time-branching-time spectrum.
Theor. Comput. Sci., 2014

Tropical Fourier-Motzkin elimination, with an application to real-time verification.
IJAC, 2014

Refinement and Difference for Probabilistic Automata
Logical Methods in Computer Science, 2014

Structural Refinement for the Modal nu-Calculus.
CoRR, 2014

Homotopy Bisimilarity for Higher-Dimensional Automata.
CoRR, 2014

Compositionality for Quantitative Specifications.
CoRR, 2014

Measuring Structural Distances between Texts.
CoRR, 2014

General quantitative specification theories with modal transition systems.
Acta Inf., 2014

Measuring Global Similarity Between Texts.
Proceedings of the Statistical Language and Speech Processing, 2014

Configurable Formal Methods for Extreme Modeling.
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Structural Refinement for the Modal nu-Calculus.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Sound Merging and Differencing for Class Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Compositionality for Quantitative Specifications.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Specification Theories for Probabilistic and Real-Time Systems.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Parametric and Quantitative Extensions of Modal Transition Systems.
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.
Proceedings of the Engineering Dependable Software Systems, 2013

Weighted modal transition systems.
Formal Methods in System Design, 2013

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.
Electr. Notes Theor. Comput. Sci., 2013

Kleene Algebras and Semimodules for Energy Problems.
CoRR, 2013

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

Tropical Fourier-Motzkin elimination, with an application to real-time verification.
CoRR, 2013

Refinement and Difference for Probabilistic Automata.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

A Tag Contract Framework for Heterogeneous Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Kleene Algebras and Semimodules for Energy Problems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Generalized Quantitative Analysis of Metric Transition Systems.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

Tag Machines for Modeling Heterogeneous Systems.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Reachability analysis for timed automata using max-plus algebra.
J. Log. Algebr. Program., 2012

Weighted Modal Transition Systems
CoRR, 2012

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
CoRR, 2012

A Robust Specification Theory for Modal Event-Clock Automata
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

Synchronous Interface Theories and Time Triggered Scheduling.
Proceedings of the Formal Techniques for Distributed Systems, 2012

General Quantitative Specification Theories with Modalities.
Proceedings of the Computer Science - Theory and Applications, 2012

2011
Model-Based Verification and Analysis for Real-Time Systems.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Metrics for weighted transition systems: Axiomatization and complexity.
Theor. Comput. Sci., 2011

Distances for Weighted Transition Systems: Games and Properties
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Quantitative analysis of real-time systems using priced timed automata.
Commun. ACM, 2011

Vision Paper: Make a Difference! (Semantically).
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Quantitative Refinement for Weighted Modal Transition Systems.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Energy Games in Multiweighted Automata.
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.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010
Quantitative analysis of weighted transition systems.
J. Log. Algebr. Program., 2010

Timed automata with observers under energy constraints.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009
Discounting in Time.
Electr. Notes Theor. Comput. Sci., 2009

Discount-Optimal Infinite Runs in Priced Timed Automata.
Electr. Notes Theor. Comput. Sci., 2009

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic.
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.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Infinite Runs in Weighted Timed Automata with Energy Constraints.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2005
A Category of Higher-Dimensional Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004
Preface.
Electr. Notes Theor. Comput. Sci., 2004

Directed Homology.
Electr. Notes Theor. Comput. Sci., 2004

2003
The Geometry of Timed PV Programs.
Electr. Notes Theor. Comput. Sci., 2003


  Loading...