Search results for "ARTS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Irek Ulidowski (eds.)	Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004	ARTS	2005	DBLP BibTeX RDF
1	Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen	Name-passing style GUI programming in the pi-calculus-based language Nepi.	ARTS	2004	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Alice Miller 0001, Muffy Calder	Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.	ARTS	2004	DBLP DOI BibTeX RDF
1	Howard Bowman, Rodolfo Gómez 0001, Li Su 0002	A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.	ARTS	2004	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Sharpening the Incompleteness of the Duration Calculus.	ARTS	2004	DBLP DOI BibTeX RDF
1	Wan J. Fokkink, Jun Pang 0001	Formal Verification of Timed Systems Using Cones and Foci.	ARTS	2004	DBLP DOI BibTeX RDF
1	Irek Ulidowski	Preface.	ARTS	2004	DBLP DOI BibTeX RDF
1	Guangping Qin, Jinzhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	ARTS	2004	DBLP DOI BibTeX RDF
1	Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik	Analysing the BKE-security Protocol with µCRL.	ARTS	2004	DBLP DOI BibTeX RDF
1	Bengt Jonsson 0001, Wang Yi 0001	Fully Abstract Characterization of Probabilistic May Testing.	ARTS	1999	DBLP DOI BibTeX RDF
1	Karl Lermer, Colin J. Fidge	A Formal Model of Real-Time Program Compilation.	ARTS	1999	DBLP DOI BibTeX RDF
1	Lars Jenner, Walter Vogler	Comparing the Efficiency of Asynchronous Systems.	ARTS	1999	DBLP DOI BibTeX RDF
1	Karl Lermer	A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.	ARTS	1999	DBLP DOI BibTeX RDF
1	Suzana Andova	Process Algebra with Probabilistic Choice.	ARTS	1999	DBLP DOI BibTeX RDF
1	Annabelle McIver	Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.	ARTS	1999	DBLP DOI BibTeX RDF
1	Holger Hermanns, Markus Siegle	Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.	ARTS	1999	DBLP DOI BibTeX RDF
1	Frits W. Vaandrager	Verification of Hybrid Systems (abstract).	ARTS	1999	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach.	ARTS	1999	DBLP DOI BibTeX RDF
1	Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke	ProbVerus: Probabilistic Symbolic Model Checking.	ARTS	1999	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston	Automatic Verification of Real-Time Systems with Discrete Probability Distributions.	ARTS	1999	DBLP DOI BibTeX RDF
1	Howard Bowman	Modelling Timeouts without Timelocks.	ARTS	1999	DBLP DOI BibTeX RDF
1	Stavros Tripakis	Verifying Progress in Timed Systems.	ARTS	1999	DBLP DOI BibTeX RDF
1	Manuel Núñez 0001	An Axiomatization of Probabilistic Testing.	ARTS	1999	DBLP DOI BibTeX RDF
1	Paul Z. Kolano	Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.	ARTS	1999	DBLP DOI BibTeX RDF
1	Mariëlle Stoelinga, Frits W. Vaandrager	Root Contention in IEEE 1394.	ARTS	1999	DBLP DOI BibTeX RDF
1	Christel Baier, Bettina Engelen	Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.	ARTS	1999	DBLP DOI BibTeX RDF
1	Klaus Havelund, Kim Guldstrand Larsen, Arne Skou	Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.	ARTS	1999	DBLP BibTeX RDF
1	Graham Clark, Stephen Gilmore, Jane Hillston	Specifying Performance Measures for PEPA.	ARTS	1999	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen (eds.)	Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings	ARTS	1999	DBLP DOI BibTeX RDF
1	Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Semi-numerical Solution of Stochastic Process Algebra Models.	ARTS	1999	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Martin Büchi, Emil Sekerinski	Action-Based Concurrency and Synchronization for Objects.	ARTS	1997	DBLP DOI BibTeX RDF
1	Sérgio Vale Aguiar Campos, Edmund M. Clarke	The Verus Language: Representing Time Efficiently with BDDs.	ARTS	1997	DBLP DOI BibTeX RDF
1	Kevin Lano, Arturo Sanchez	Transformational Formal Development of Real-Time Systems.	ARTS	1997	DBLP DOI BibTeX RDF
1	Konrad Feyerabend, Bernhard Josko	A Visual Fomalism for Real-Time Requirement Specifications.	ARTS	1997	DBLP DOI BibTeX RDF
1	Ton Sales	Llull as Computer Scientist or Why Llull Was One of Us.	ARTS	1997	DBLP DOI BibTeX RDF
1	Irina M. Smarandache, Paul Le Guernic	Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.	ARTS	1997	DBLP DOI BibTeX RDF
1	Antonio Cau, Hussein Zedan	Refining Interval Temporal Logic Specifications.	ARTS	1997	DBLP DOI BibTeX RDF
1	Anthony J. Bonner	What Was Llull Up To?	ARTS	1997	DBLP DOI BibTeX RDF
1	Stephen J. Goldsack, Kevin Lano, Eugène Dürr	Specification and Refinement of Continuous Real-Time Systems.	ARTS	1997	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio	Regular Processes and Timed Automata.	ARTS	1997	DBLP DOI BibTeX RDF
1	Luis A. Galán, Ricardo Pena	Verification and Refinement of Distributed Programs in a Fair Framework.	ARTS	1997	DBLP DOI BibTeX RDF
1	Teodor Rus, Eric Van Wyk	Integrating Temporal Logics and Model Checking Algorithms.	ARTS	1997	DBLP DOI BibTeX RDF
1	Christian Hernalsteen, Arnaud Février	Introduction of a Suspend/Resume Operator in ET-LOTOS.	ARTS	1997	DBLP DOI BibTeX RDF
1	Howard Bowman, John Derrick	Extending LOTOS with Time: A True Concurrency Perspective.	ARTS	1997	DBLP DOI BibTeX RDF
1	Luis Fernando Llana Díaz, David de Frutos-Escrig	Denotational Semantics for Timed Testing.	ARTS	1997	DBLP DOI BibTeX RDF
1	Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz	A Sound and Complete Proof System for Probabilistic Processes.	ARTS	1997	DBLP DOI BibTeX RDF
1	Farn Wang	High-Level Execution Time Analysis.	ARTS	1997	DBLP DOI BibTeX RDF
1	Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran	Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.	ARTS	1997	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, Mathai Joseph	Formalizing Real-Time Scheduling as Program Refinement.	ARTS	1997	DBLP DOI BibTeX RDF
1	Miquel Bertran, Teodor Rus (eds.)	Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings	ARTS	1997	DBLP DOI BibTeX RDF
1	Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez 0001, Pedro Palao-Gostanza	Testing Semantics for a Probabilistic-Timed Process Algebra.	ARTS	1997	DBLP DOI BibTeX RDF
1	Miquel Bertran	A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.	ARTS	1997	DBLP DOI BibTeX RDF
1	Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe	Deductive Verification of Real-Time Systems Using STeP.	ARTS	1997	DBLP DOI BibTeX RDF
1	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Specification and Verification of Real-Time Field Bus with Formal Description Languages.	ARTS	1997	DBLP DOI BibTeX RDF
1	Henning Dierks	PLC-Automata: A New Class of Implementable Real-Time Automata.	ARTS	1997	DBLP DOI BibTeX RDF
1	Manfred Broy	Refinement of Time.	ARTS	1997	DBLP DOI BibTeX RDF
1	Peter Scholz, Dieter Nazareth	Communication Concepts for Statecharts: A Semantic Foundation.	ARTS	1997	DBLP DOI BibTeX RDF
1	Arnaud Février, Elie Najm, Jean-Bernard Stefani	Contracts for ODP.	ARTS	1997	DBLP DOI BibTeX RDF
1	Satoshi Yamane	Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata.	ARTS	1997	DBLP DOI BibTeX RDF

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