Conferences in DBLP
Martín Abadi , Ted Wobber A Logical Account of NGSCB. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi Composing Event Constraints in State-Based Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Quemada Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Barros , Rabéa Boulifa , Eric Madelaine Parameterized Models for Distributed Java Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Grammes , Reinhard Gotzhein Towards the Harmonisation of UML and SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Samik Basu , Diptikalyan Saha , Scott A. Smolka Localizing Program Errors for Cimple Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Doherty , Lindsay Groves , Victor Luchangco , Mark Moir Formal Verification of a Practical Lock-Free Queue Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] May Haydar , Alexandre Petrenko , Houari A. Sahraoui Formal Verification of Web Applications Modeled by Communicating Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan Ural , Hüsnü Yenigün Towards Design Recovery from Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Baptiste Alcalde , Ana R. Cavalli , Dongluo Chen , Davy Khuu , David Lee Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Chr. Godskesen , Brian Nielsen , Arne Skou Connectivity Testing Through Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled El-Fakih , Nina Yevtushenko Fault Propagation by Equation Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Wang , Ji Wang , Zhi-Chang Qi Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Aziz Salah , Rabeb Mizouni , Rachida Dssouli , Benoit Parreaux Formal Composition of Distributed Scenarios. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen , Robert M. Hierons , Hasan Ural Conditions for Resolving Observability Problems in Distributed Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Ghassan Chehaibar Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Meolic , Alessandro Fantechi , Stefania Gnesi Witness and Counterexample Automata for ACTL. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Thierry-Mieg , Jean-Michel Ilié , Denis Poitrenaud A Symbolic Symbolic State Space Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Hermenegilda Macià , Valentín Valero Ruiz , Diego Cazorla , Fernando Cuartero Introducing the Iteration in sPBC. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond R. Devillers , Hanna Klaudel , Maciej Koutny Petri Net Semantics of the Finite pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Chatain , Claude Jard Symbolic Diagnosis of Partially Observable Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Wibling , Joachim Parrow , Arnold Neville Pears Automatized Verification of Ad Hoc Routing Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Naldurg , Koushik Sen , Prasanna Thati A Temporal Logic Based Framework for Intrusion Detection. [Citation Graph (0, 0)][DBLP ] Conf ] 