Conferences in DBLP
Ed Brinksma Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz M. Zuberek Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Khomenko , Maciej Koutny , Alexandre Yakovlev Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Bijan Alizadeh , Zainalabedin Navabi Property Checking based on Hierarchical Integer Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Xia , Fei Hao , Ian G. Clark , Alexandre Yakovlev , E. Graeme Chester Buffered Asynchronous Communication Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Talpin , David Berner , Sandeep K. Shukla , Paul Le Guernic , Abdoulaye Gamatié , Rajesh Gupta A Behavioral Type Inference System for Compositional System-on-Chip Design. [Citation Graph (0, 0)][DBLP ] Conf ] Florence Maraninchi , Lionel Morel Arrays and Contracts for the Specification and Analysis of Regular Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dumitru Potop-Butucaru , Benoît Caillaud , Albert Benveniste Concurrency in Synchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond R. Devillers , Hanna Klaudel , Maciej Koutny Context-based Process Algebras for Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Hemangee K. Kapoor , Mark B. Josephs , Dennis P. Furey Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Bouroulet , Hanna Klaudel , Elisabeth Pelz A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor von Bochmann , Bassel Daou Comparison of Methods for Supervisory Control and Submodule Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Carl H. Hauser , David B. Benson On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Dag Björklund , Johan Lilius Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Arts , Clara Benac Earle , Juan José Sánchez Penas Translating Erlang to µCRL. [Citation Graph (0, 0)][DBLP ] Conf ] Marjan Sirjani , Amin Shali , Mohammad Mahdi Jaghoori , Hamed Iravanchi , Ali Movaghar A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. [Citation Graph (0, 0)][DBLP ] Conf ] J. G. Thistle Synthesis of Supervisory Controls for Discrete Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Lawford , Hong Zhang Equivalence Verification of Timed Transition Models. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Tauriainen Nested Emptiness Search for Generalized Büchi Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi A. Junttila New Orbit Algorithms for Data Symmetries. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Lakos , Laure Petrucci Modular Analysis of Systems Composed of Semiautonomous Subsystems. [Citation Graph (0, 0)][DBLP ] Conf ] Toni Jussila BMC via Dynamic Atomicity Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Solé , Enric Pastor Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Seppi , Michael Jones , Peter Lamborn Guided Model Checking with a Bayesian Meta-heuristic. [Citation Graph (0, 0)][DBLP ] Conf ] 