Conferences in DBLP
Anthony J. Bonner What Was Llull Up To? [Citation Graph (0, 0)][DBLP ] Conf ] Ton Sales Llull as Computer Scientist or Why Llull Was One of Us. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolaj Bjørner , Zohar Manna , Henny Sipma , Tomás E. Uribe Deductive Verification of Real-Time Systems Using STeP. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Refinement of Time. [Citation Graph (0, 0)][DBLP ] Conf ] Sérgio Vale Aguiar Campos , Edmund M. Clarke The Verus Language: Representing Time Efficiently with BDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Cau , Hussein Zedan Refining Interval Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor Rus , Eric Van Wyk Integrating Temporal Logics and Model Checking Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Dierks PLC-Automata: A New Class of Implementable Real-Time Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Scholz , Dieter Nazareth Communication Concepts for Statecharts: A Semantic Foundation. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro R. D'Argenio Regular Processes and Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Konrad Feyerabend , Bernhard Josko A Visual Fomalism for Real-Time Requirement Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Yamane Formal Specification and Verification Method of Concurrent and Distributed Systems by Restricted Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano , Ana Sánchez Transformational Formal Development of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Miquel Bertran A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Février , Elie Najm , Jean-Bernard Stefani Contracts for ODP. [Citation Graph (0, 0)][DBLP ] Conf ] Irina M. Smarandache , Paul Le Guernic Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back , Martin Büchi , Emil Sekerinski Action-Based Concurrency and Synchronization for Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Miquel Bertran , Felipe Alvarez-Cuevas , Albert Duran Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Luis A. Galán , Ricardo Pena Verification and Refinement of Distributed Programs in a Fair Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiming Liu , Mathai Joseph Formalizing Real-Time Scheduling as Program Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] S. J. Goldsack , Kevin Lano , Eugène Dürr Specification and Refinement of Continuous Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang High-Level Execution Time Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Cuartero , David de Frutos-Escrig , Valentín Valero Ruiz A Sound and Complete Proof System for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Gregorio-Rodríguez , Luis Fernando Llana Díaz , Manuel Núñez , Pedro Palao-Gostanza Testing Semantics for a Probabilistic-Timed Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fernando Llana Díaz , David de Frutos-Escrig Denotational Semantics for Timed Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Bowman , John Derrick Extending LOTOS with Time: A True Concurrency Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Hernalsteen , Arnaud Février Introduction of a Suspend/Resume Operator in ET-LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Perfecto Mariño , Francisco Poza , Miguel Angel Domínguez , Juan B. Nogueira Specification and Verification of Real-Time Field Bus with Formal Description Languages. [Citation Graph (0, 0)][DBLP ] Conf ] 