Search results for "MTCS"

Hits ?▲	Authors	Title	Venue	Year	Link
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	MTCS	2003	DBLP BibTeX RDF
1	Mario Bravetti	An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.	MTCS	2002	DBLP DOI BibTeX RDF
1	Friedger Müffke	Process Algebras as Specification Language.	MTCS	2002	DBLP DOI BibTeX RDF
1	Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau	Petri nets with causal time for system verification.	MTCS	2002	DBLP DOI BibTeX RDF
1	Maria Sorea	Bounded Model Checking for Timed Automata.	MTCS	2002	DBLP DOI BibTeX RDF
1	Walter Vogler, Kim Larsen	Preface.	MTCS	2002	DBLP DOI BibTeX RDF
1	Mario Bravetti	Revisiting Interactive Markov Chains.	MTCS	2002	DBLP DOI BibTeX RDF
1	Eugene Asarin, Catalin Dima	Balanced timed regular expressions.	MTCS	2002	DBLP DOI BibTeX RDF
1	Alvaro E. Arenas	An Algebraic Approach for Compiling Real-Time Programs.	MTCS	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	MTCS	2002	DBLP BibTeX RDF
1	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini	Privacy in Real-Time Systems.	MTCS	2001	DBLP DOI BibTeX RDF
1	Jitka Stríbrná, Insup Lee 0001	Characterizing Non-Zenoness on Real-Time Processes.	MTCS	2001	DBLP DOI BibTeX RDF
1	Flavio Corradini, Walter Vogler	Preface.	MTCS	2001	DBLP DOI BibTeX RDF
1	Víctor A. Braberman, Alfredo Olivero	Extending Timed Automata for Compositional Modeling Healthy Timed Systems.	MTCS	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.	MTCS	2001	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten	Timed Process Algebras.	MTCS	2001	DBLP DOI BibTeX RDF
1	Mario Bravetti, Alessandro Aldini	Non-determinism in Probabilistic Timed Systems with General Distributions.	MTCS	2001	DBLP DOI BibTeX RDF
1	Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen	Towards a Process Algebra for Shared Processors.	MTCS	2001	DBLP DOI BibTeX RDF
1	Walter Vogler, Lars Jenner	Axiomatizing a Fragment of PAFAS.	MTCS	2000	DBLP DOI BibTeX RDF
1	Flavio Corradini, Paola Inverardi	Preface	MTCS	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.	MTCS	2000	DBLP DOI BibTeX RDF
1	Mario Bravetti, Marco Bernardo 0001	Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.	MTCS	2000	DBLP DOI BibTeX RDF
1	Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié	Exploiting Partial Symmetries for Markov Chain Aggregation.	MTCS	2000	DBLP DOI BibTeX RDF
1	Xiaoqun Du, C. R. Ramakrishnan 0001, Scott A. Smolka	Real-Time Verification Techniques for Untimed Systems.	MTCS	2000	DBLP DOI BibTeX RDF
1	Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir	Verification of the legOS Scheduler using Uppaal.	MTCS	2000	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger	Exploiting Design Structure in Model Checking.	MTCS	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	MTCS	2000	DBLP BibTeX RDF

Publications at "MTCS"( http://dblp.L3S.de/Venues/MTCS )