|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen |
Reachability analysis for timed automata using max-plus algebra.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
Metrics for weighted transition systems: Axiomatization and complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey |
Quantitative analysis of real-time systems using priced timed automata. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen |
Distances for Weighted Transition Systems: Games and Properties |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Model-Based Verification and Analysis for Real-Time Systems. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba |
Energy Games in Multiweighted Automata. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Stavros Tripakis (eds.) |
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane |
Quantitative Refinement for Weighted Modal Transition Systems. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay, Andrzej Wasowski |
Vision Paper: Make a Difference! (Semantically). |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay, Claus R. Thrane |
The Quantitative Linear-Time--Branching-Time Spectrum. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen |
Quantitative analysis of weighted transition systems. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey |
Timed automata with observers under energy constraints. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
weighted timed automata, energy constraints |
| 1 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discount-Optimal Infinite Runs in Priced Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg, Kim Guldstrand Larsen |
Discounting in Time. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba |
Infinite Runs in Weighted Timed Automata with Energy Constraints. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg |
A Category of Higher-Dimensional Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations |
| 1 | Eric Goubault, Ulrich Fahrenberg |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg |
Directed Homology. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fahrenberg |
The Geometry of Timed PV Programs. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")