default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ARTS 1997: Palma, Mallorca, Spain
- Miquel Bertran, Teodor Rus:
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. Lecture Notes in Computer Science 1231, Springer 1997, ISBN 3-540-63010-4
Honorary Session - Ramon Llull: A Pioneer of Computer Science
- Anthony J. Bonner:
What Was Llull Up To? 1-14 - Ton Sales:
Llull as Computer Scientist or Why Llull Was One of Us. 15-21
Invited Lectures
- Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Deductive Verification of Real-Time Systems Using STeP. 22-43 - Manfred Broy:
Refinement of Time. 44-63
Papers
- Sérgio Vale Aguiar Campos, Edmund M. Clarke:
The Verus Language: Representing Time Efficiently with BDDs. 64-78 - Antonio Cau, Hussein Zedan:
Refining Interval Temporal Logic Specifications. 79-94 - Teodor Rus, Eric Van Wyk:
Integrating Temporal Logics and Model Checking Algorithms. 95-110 - Henning Dierks:
PLC-Automata: A New Class of Implementable Real-Time Automata. 111-125 - Peter Scholz, Dieter Nazareth:
Communication Concepts for Statecharts: A Semantic Foundation. 126-140 - Pedro R. D'Argenio
:
Regular Processes and Timed Automata. 141-155 - Konrad Feyerabend, Bernhard Josko:
A Visual Fomalism for Real-Time Requirement Specifications. 156-168 - Satoshi Yamane:
Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata. 169-183 - Kevin Lano, Arturo Sanchez:
Transformational Formal Development of Real-Time Systems. 184-198 - Miquel Bertran:
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design. 199-215 - Arnaud Février, Elie Najm, Jean-Bernard Stefani:
Contracts for ODP. 216-232 - Irina M. Smarandache, Paul Le Guernic:
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. 233-247 - Ralph-Johan Back, Martin Büchi, Emil Sekerinski:
Action-Based Concurrency and Synchronization for Objects. 248-262 - Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran:
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. 263-279 - Luis A. Galán, Ricardo Pena:
Verification and Refinement of Distributed Programs in a Fair Framework. 280-294 - Zhiming Liu, Mathai Joseph:
Formalizing Real-Time Scheduling as Program Refinement. 295-309 - Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems. 310-324 - Farn Wang:
High-Level Execution Time Analysis. 325-339 - Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz:
A Sound and Complete Proof System for Probabilistic Processes. 340-352 - Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza:
Testing Semantics for a Probabilistic-Timed Process Algebra. 353-367 - Luis Fernando Llana Díaz, David de Frutos-Escrig:
Denotational Semantics for Timed Testing. 368-382 - Howard Bowman, John Derrick:
Extending LOTOS with Time: A True Concurrency Perspective. 383-399 - Christian Hernalsteen, Arnaud Février:
Introduction of a Suspend/Resume Operator in ET-LOTOS. 400-414 - Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira:
Specification and Verification of Real-Time Field Bus with Formal Description Languages. 415-429
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
