|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Walter Vogler, Kim Larsen (eds.) |
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Mario Bravetti |
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 34-64, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Friedger Müffke |
Process Algebras as Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 101-115, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau |
Petri nets with causal time for system verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 85-100, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Maria Sorea |
Bounded Model Checking for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 116-134, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Walter Vogler, Kim Larsen |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 135-136, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti |
Revisiting Interactive Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 65-84, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Catalin Dima |
Balanced timed regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 16-33, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro E. Arenas |
An Algebraic Approach for Compiling Real-Time Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 1-15, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Walter Vogler (eds.) |
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
Privacy in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 295-305, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jitka Stríbrná, Insup Lee 0001 |
Characterizing Non-Zenoness on Real-Time Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 306-322, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Walter Vogler |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 323-324, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Víctor A. Braberman, Alfredo Olivero |
Extending Timed Automata for Compositional Modeling Healthy Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 227-245, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, András Horváth |
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 209-226, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten |
Timed Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 207-208, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Alessandro Aldini |
Non-determinism in Probabilistic Timed Systems with General Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 246-274, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen |
Towards a Process Algebra for Shared Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 275-294, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Walter Vogler, Lars Jenner |
Axiomatizing a Fragment of PAFAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 306-321, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Paola Inverardi |
Preface ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 195-196, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij |
Specification of Real-Time Systems in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 293-305, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Marco Bernardo 0001 |
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 197-230, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié |
Exploiting Partial Symmetries for Markov Chain Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 231-257, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqun Du, C. R. Ramakrishnan 0001, Scott A. Smolka |
Real-Time Verification Techniques for Untimed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 258-272, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir |
Verification of the legOS Scheduler using Uppaal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 273-292, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Exploiting Design Structure in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000, pp. 322, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Paola Inverardi (eds.) |
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|