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 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
• 
  S. 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

last updated on Sat May 18 04:40:14 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page