Conferences in DBLP
Joseph Sifakis Specification and Verification of Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda Stabilizing Client/Server Protocols without the Tears. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano Distributed System Specification in VDM++ . [Citation Graph (0, 0)][DBLP ] Conf ] Viviane Jonckers , Kurt Verschaeve , Bart Wydaeghe , Ludo Cuypers , J. Heirbaut OMT* , Bridging the Gap between Analysis and Design. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Amyot , Francis Bordeleau , Raymond J. A. Buhr , Luigi Logrippo Formal Support for Design Techniques: A Timethreads-LOTOS Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Monica Lara de Souza , Robert de Simone Using PO Methods for Verfying Behavioural Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Boutheina Chetali , Pierre Lescanne Formal Verfication of a Protocol for Communications over Faulty Channels. [Citation Graph (0, 0)][DBLP ] Conf ] Carron Kirkwood Specifying Properties of Basic LOTOS Processes Using Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Courtiat , Roberto C. de Oliveira A Reachability Analysis of RT-LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Elie Najm , Jean-Bernard Stefani , Arnaud Février Towards a Mobile LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Puntigam Type Specifications with Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Luming Lai A Unified Model for CSP-like Languages with Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Pamela Zave Secrets of Call Forwarding: A Specification Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Carsta Petersohn Formal Method for Event-Triggered Sequential Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Joaquín Keller An Extension of GDMO for Formalizing Managed Objects Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Aana Robnik Experiences of Using SDL Collected in IskraTEL SDL Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Behnke , Michael Geipl , Gerd Kurzbach , Ralf Schröder , Nils Fischbeck , Renée Mundstock Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Bjørn Gulla , Joe Gorman Supporting Evolution of SDL-based Systems: Industrial Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Keiichi Yasumoto , Teruo Higashino , Kota Abe , Toshio Matsuura , Kenichi Taniguchi A LOTOS Compiler Generating Multi-threaded Object Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane S. Somé , Rachida Dssouli , Jean G. Vaucher A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Grégoire , Michael J. Ferguson , Lou Pino Combining Formal Methods: An Exercise in Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Kerbrat , Slim Ben Atallah Formal Specification of a Framework for Groupware Development. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelaziz Guerrouat , Hartmut König , Andreas Ulrich SELEXPERT - A Knowledge-based Tool for Test Case Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Sandra Camargo Pinto Ferraz Fabbri , José Carlos Maldonado , Paulo Cesar Masiero , Márcio Eduardo Delamaro , W. Eric Wong Mutation Testing Applied to Validate Specifications Based on Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] E. Lallet , S. Fischer , J.-F. Verdier A New Approach for Distributing Estelle Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Juanole , Laurent Gallon Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Núñez , David de Frutos-Escrig Testing Semantics for Probabilistic LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Davies , Jeremy Bryans , Steve Schneider Real-time LOTOS and Timed Observations. [Citation Graph (0, 0)][DBLP ] Conf ] András L. Oláh , Sonia M. Heemstra de Groot Assertional Verification of a Connection Management Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] François Gagnon , Jean-Charles Grégoire , D. Zampuniéris Sharing Trees for "on-the-fly" Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Teruo Higashino , Akio Nakata , Tatsuo Itoh , Kenichi Taniguchi Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] M. Hendaz , Stanislaw Budkowski A New Approach for Protocols Performance Evaluation Using Estelle Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] 