Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Irek Ulidowski (eds.) |
Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![Elsevier The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 145-168, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 3-23, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 25-47, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev |
Sharpening the Incompleteness of the Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 91-104, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Jun Pang 0001 |
Formal Verification of Timed Systems Using Cones and Foci. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 105-122, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Guangping Qin, Jinzhao Wu |
Action Refinement for Real-Time Concurrent Processes with Urgency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 123-144, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik |
Analysing the BKE-security Protocol with µCRL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, pp. 49-90, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Jonsson 0001, Wang Yi 0001 |
Fully Abstract Characterization of Probabilistic May Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 1-18, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Karl Lermer, Colin J. Fidge |
A Formal Model of Real-Time Program Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 192-210, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lars Jenner, Walter Vogler |
Comparing the Efficiency of Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 172-191, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Karl Lermer |
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 152-171, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova |
Process Algebra with Probabilistic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 111-129, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver |
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 19-33, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Markus Siegle |
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 244-264, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Frits W. Vaandrager |
Verification of Hybrid Systems (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 151, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 265-276, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
ProbVerus: Probabilistic Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 96-110, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 75-95, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman |
Modelling Timeouts without Timelocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 334-353, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Tripakis |
Verifying Progress in Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 299-314, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001 |
An Axiomatization of Probabilistic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 130-150, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul Z. Kolano |
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 315-333, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mariëlle Stoelinga, Frits W. Vaandrager |
Root Contention in IEEE 1394. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 53-74, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Bettina Engelen |
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 34-52, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 277-298, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Graham Clark, Stephen Gilmore, Jane Hillston |
Specifying Performance Measures for PEPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 211-227, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![Springer, 3-540-66010-0 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Henrik C. Bohnenkamp, Boudewijn R. Haverkort |
Semi-numerical Solution of Stochastic Process Algebra Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 228-243, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back, Martin Büchi, Emil Sekerinski |
Action-Based Concurrency and Synchronization for Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 248-262, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke |
The Verus Language: Representing Time Efficiently with BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 64-78, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Arturo Sanchez |
Transformational Formal Development of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 184-198, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Feyerabend, Bernhard Josko |
A Visual Fomalism for Real-Time Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 156-168, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ton Sales |
Llull as Computer Scientist or Why Llull Was One of Us. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 15-21, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 233-247, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cau, Hussein Zedan |
Refining Interval Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 79-94, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony J. Bonner |
What Was Llull Up To? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 1-14, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Goldsack, Kevin Lano, Eugène Dürr |
Specification and Refinement of Continuous Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 310-324, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio |
Regular Processes and Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 141-155, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luis A. Galán, Ricardo Pena |
Verification and Refinement of Distributed Programs in a Fair Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 280-294, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Rus, Eric Van Wyk |
Integrating Temporal Logics and Model Checking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 95-110, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hernalsteen, Arnaud Février |
Introduction of a Suspend/Resume Operator in ET-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 400-414, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman, John Derrick |
Extending LOTOS with Time: A True Concurrency Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 383-399, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fernando Llana Díaz, David de Frutos-Escrig |
Denotational Semantics for Timed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 368-382, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 340-352, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
High-Level Execution Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 325-339, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran |
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 263-279, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Mathai Joseph |
Formalizing Real-Time Scheduling as Program Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 295-309, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![Springer, 3-540-63010-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 353-367, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bertran |
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 199-215, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 22-43, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 415-429, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Henning Dierks |
PLC-Automata: A New Class of Implementable Real-Time Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 111-125, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Refinement of Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 44-63, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Scholz, Dieter Nazareth |
Communication Concepts for Statecharts: A Semantic Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 126-140, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Février, Elie Najm, Jean-Bernard Stefani |
Contracts for ODP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 216-232, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Yamane |
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: 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, pp. 169-183, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|