Conferences in DBLP
John S. Fitzgerald Two Industrial Trials of Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Mark van den Brand , Arie van Deursen , Paul Klint , Steven Klusener , Emma van der Meulen Industrial Applications of ASF+SDF. [Citation Graph (0, 0)][DBLP ] Conf ] André Arnold , Didier Bégay , Jean-Pierre Radoux The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. [Citation Graph (0, 0)][DBLP ] Conf ] Dino Mandrioli Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd J. Krämer Using Heterogeneous Formal Methods in Distributed Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Sankar Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas R. Smith Toward a Classification Approach to Design. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas J. Howe Semantic Foundations for Embedding HOL in Nuprl. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Gavilanes , Javier Leach , Susana Nieva Free Variable Tableaux for a Many Sorted Logic with Preorders. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Mahadevan Subramaniam Automating Induction over Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Elisabeth Haxthausen , Friederike Nickl Pushouts of Order-Sorted Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Ancona , Elena Zucca A Formal Framework for Modules with State. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Hennicker , Christoph Schmitz II Object-Oriented Implementation of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wan Fokkink On the Completeness of the Euations for the Kleene Star in Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , Anna Ingólfsdóttir An Equational Axiomatization of Observation Congruence for Prefix Iteration. [Citation Graph (0, 0)][DBLP ] Conf ] Irek Ulidowski Finite Axiom Systems for Testing Preorder and De Simone Process Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berry Constructive Semantics of Esterel: From Theory to Practice (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Monica Marcus , Amir Pnueli Using Ghost Variables to Prove Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Ranan Fraer Tracing the Origins of Verification Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont Preprocessing for Invariant Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Le Borgne , Hervé Marchand , Éric Rutten , Mazen Samaan Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , Paul Klint The Discrete Time TOOLBUS. [Citation Graph (0, 0)][DBLP ] Conf ] Xiao Jun Chen , Flavio Corradini , Roberto Gorrieri A Study on the Specification and Verification of Performance Properties (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michele Boreale Symbolic Bisimulation for Timed Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinao Isobe , Yutaka Sato , Kazuhito Ohmaki Approximative Analysis by Process Algebra with Graded Spatial Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Eric C. R. Hehner Boolean Formalism and Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Marchiori Proving Existential Termination of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland , David J. Pym , Michael Winikoff Programming in Lygon: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao Some Characteristics of Strong Innermost Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] José Luiz Fiadeiro On the Emergence of Properties in Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Paech Algebraic View Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Bernot , Sophie Coudert , Pascale Le Gall Towards Heterogeneous Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Christel Baier , Mila E. Majster-Cederbaum A Categorical Characterization of Consistency Results. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Algebraic Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Grosu , Ketil Stølen A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Jacobs Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote , Jaco van de Pol A Bounded Retransmission Protocol for Large Data Packets. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Jüllig , Yellamraju V. Srinivas , J. Liu SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Christine Choppy , Frédéric Voisin ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Didrich , Carola Gerke , Wolfgang Grieskamp , Christian Maeder , Peter Pepper Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Robert Geisler , Marcus Klar , Felix Cornelius InterACT : An Interactive Theorem Prover for Algebraic Specifications.Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Voisin A New Proof-Manager and Graphic Interface for the Larch Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuo Kawaguchi , Toshiki Sakabe , Yasuyoshi Inagaki TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Klint , Pieter A. Olivier The TOOLBUS Coordination Architecture - A Demonstration. [Citation Graph (0, 0)][DBLP ] Conf ] Arie van Deursen , Peter D. Mosses ASD: The Action Semantic Description Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Arnd Poetzsch-Heffter Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Buckland , Michael Johnson ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Melzer , Stefan Römer , Javier Esparza Verification Using PEP. [Citation Graph (0, 0)][DBLP ] Conf ] Amar Bouali , Annie Ressouche , Valérie Roy , Robert de Simone The FC2TOOLS Set. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland , David J. Pym , Michael Winikoff Programming in Lygon: A System Demonstration. [Citation Graph (0, 0)][DBLP ] Conf ] Janet Bertot , Yves Bertot CtCoq: A System Presentation. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich W. von Henke , Marko Luther , Holger Pfeifer , Harald Rueß , Detlef Schwier , Martin Strecker , Matthias Wagner The TYPELAB Specification and Verification Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Tiziana Margaria , Andreas Claßen , Volker Braun Incremental Formalization. [Citation Graph (0, 0)][DBLP ] Conf ] Jeanine Souquières , Nicole Lévy PROPLANE: A Specification Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Parot A Logic-Based Technology to Mechanize Software Components Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Schulte , Thilo Schwinn , Ton Vullinghs TkGofer: A Functional GUI Library. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Erdmann , Ingo Claßen ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Rachid Echahed , Kamel Adi Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Bündgen , Werner Lauterbach Combining Reductions and Computations in ReDuX. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Limet , Pierre Réty Conditional Directed Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] 