Journals in DBLP
Thomas Arts , Wan Fokkink Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Werner Damm Recent Trends in the Development of Safety Critical Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Stefania Gnesi Formal Specification and Verification of Complex Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Jerker Hammarberg , Simin Nadjm-Tehrani Development of Safety-Critical Reconfigurable Hardware with Esterel. [Citation Graph (0, 0)][DBLP ] Journal ] Abdessamad Imine , Pascal Urso Automatic Detection of Copies Divergence in Collaborative Editing Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Antero Kangas , Antti Valmari Verification with the Undefined: A New Look. [Citation Graph (0, 0)][DBLP ] Journal ] Radu Mateescu On-the-Fly Verification using CADP. [Citation Graph (0, 0)][DBLP ] Journal ] Fernando L. Pelayo , Fernando Cuartero , Valentín Valero Ruiz , Diego Cazorla Analysis of the MPEG-2 Encoding Algorithm with ROSA1. [Citation Graph (0, 0)][DBLP ] Journal ] Jan Philipps , Alexander Pretschner , Oscar Slotosch , Ernst Aiglstorfer , Stefan Kriebel , Kai Scholl Model-Based Test Case Generation for Smart Cards. [Citation Graph (0, 0)][DBLP ] Journal ] Nicole Rauch , Burkhart Wolff Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Journal ] Ina Schieferdecker , Theofanis Vassiliou-Gioles Tool Supported Test Frameworks in TTCN-3. [Citation Graph (0, 0)][DBLP ] Journal ] Ella E. Roubtsova , Serguei A. Roubtsov UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance. [Citation Graph (0, 0)][DBLP ] Journal ] Mads Dam , Lars-Åke Fredlund , Dillian Guruv Formal Methods Research at SICS and KTH: An Overview. [Citation Graph (0, 0)][DBLP ] Journal ] Néstor Cataño Slicing Event Spaces: Towards a Java Programs Checking Framework. [Citation Graph (0, 0)][DBLP ] Journal ] Andrew Butterfield , Jim Woodcock An Operational Semantics for Handel-C. [Citation Graph (0, 0)][DBLP ] Journal ] Bernard Berthomieu , Pierre-Olivier Ribet , François Vernadat , J. L. Bernartt , Jean-Marie Farines , Jean-Paul Bodeveix , Mamoun Filali , Gérard Padiou , Pierre Michel , Patrick Farail , Pierre Gauffilet , Pierre Dissaux , Jean-Luc Lambert Towards the verification of real-time systems in avionics: the Cotre approach. [Citation Graph (0, 0)][DBLP ] Journal ] Juan Bicarregui Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. [Citation Graph (0, 0)][DBLP ] Journal ] Armin Biere , Cyrille Artho , Malek Haroud , Viktor Schuppan Formal Methods Group ETH Zürich. [Citation Graph (0, 0)][DBLP ] Journal ] Stefan Blom , Jan Friso Groote , Izak van Langevelde , Bert Lisser , Jaco van de Pol New developments around the mCRL tool set. [Citation Graph (0, 0)][DBLP ] Journal ] Stefan Blom , Simona Orzan Distributed State Space Minimization. [Citation Graph (0, 0)][DBLP ] Journal ] Rolv Bræk Formal Methods Research at NTNU, Department of Telematics. [Citation Graph (0, 0)][DBLP ] Journal ] Achim D. Brucker , Burkhart Wolff A Case Study of a Formalized Security Architecture. [Citation Graph (0, 0)][DBLP ] Journal ] Richard Bubel , Reiner Hähnle Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. [Citation Graph (0, 0)][DBLP ] Journal ] Lilian Burdy , Yoonsik Cheon , David R. Cok , Michael D. Ernst , Joseph Kiniry , Gary T. Leavens , K. Rustan M. Leino , Erik Poll An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP ] Journal ] Lubos Brim , Jiri Barnat Distribution of Explicit-State LTL Model-Checking. [Citation Graph (0, 0)][DBLP ] Journal ] Andrew Butterfield Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Ziemann , Martin Gogolla Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. [Citation Graph (0, 0)][DBLP ] Journal ] 