Conferences in DBLP
Hartmut Ehrig , Bernd Mahr A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Christiane Floyd Theory and Practice of Software Development: Stages in a Debate. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Rational Spaces and Set Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Luqi Formal Methods and Social Context in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Claude Gaudel Testing Can Be Formal, Too. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Anatomy of the Pentium Bug. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Rational Mechanisms and Natural Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Potthoff First-Order Logic on Finite Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Kai Salomaa Decidability of Equivalence for Deterministic Synchronized Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Andre , Francis Bossut The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Sangiorgi Pi-I: A Symmetric Calculus Based on Internal Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Huimin Lin Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto M. Amadio , Mads Dam Reasoning about Higher-Order Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Xinxin Liu , David Walker Confluence of Processes and Systems of Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Burghard von Karger An Algebraic Approach to Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hofmann , Donald Sannella On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Victor L. Selivanov Fine Hierarchy of Regular omega-Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wilke , Haiseung Yoo Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-André Wacrenier Semi-Trace Morphisms and Rational Transductions. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen L. Bloom , Zoltán Ésik Nonfinite Axiomatizability of Shuffle Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimiro Sassone On the Category of Petri Net Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Jancar High Undecidability of Weak Bisimilarity for Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Badouel , Luca Bernardinello , Philippe Darondeau Polynomial Algorithms for the Synthesis of Bounded Nets. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Okui , Aart Middeldorp , Tetsuo Ida Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Annika Wagner On the Expressive Power of Algebraic Graph Grammars with Application Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Walicki , Sigurd Meldal Generated Models and the omega-Rule: The Nondeterministic Case. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , Anna Ingólfsdóttir CPO Models for a Class of GSOS Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Adriano Peron Statecharts, Transition Structures and Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Luca Cardelli An Imperative Object Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Isambo Karali , Constantin Halatsis A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Kirsten Lackner Solberg Strictness and Totality Analysis with Conjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Tip Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bertot , Ranan Fraer Reasoning with Executable Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Richard B. Kieburtz , Françoise Bellegarde , Jef Bell , James Hook , Jeffrey Lewis , Dino Oliva , Tim Sheard , Lisa Walton , Tong Zhou Calculating Software Generators from Solution Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Palsberg Comparing Flow-Based Binding-Time Analyses. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ørbæk Can you Trust your Data? [Citation Graph (0, 0)][DBLP ] Conf ] Hanne Riis Nielson , Flemming Nielson Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Alfons Geser Mechanized Inductive Proof of Properties of a Simple Code Optimizer. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Reif Andersen , Michael Mendler Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Kleuker A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Sagiv , Thomas W. Reps , Susan Horwitz Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Sandrine Blazy , Philippe Facon Formal Specification and Prototyping of a Program Specializer. [Citation Graph (0, 0)][DBLP ] Conf ] David Sands Proving the Correctness of Recursion-Based Automatic Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano Reactive System Specification and Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Bareau , Benoît Caillaud , Claude Jard , René Thoraval Measuring Concurrency of Regular Distributed Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Moreau Non-Speculative and Upward Invocation of Continuations in a Parallel Language. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Catherine Oriat A Model Inference System for Generic Specification with Application to Code Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Baumeister Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Ina Schieferdecker Performance-Oriented Formal Specifications - the LotoTis Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Le Guernic Signal: A Formal Design Environment for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Tiziana Margaria , Andreas Claßen The META-Frame: An Environment for Flexible Tool Management. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Nikolaj Bjørner , Anca Browne , Edward Y. Chang , Michael Colón , Luca de Alfaro , Harish Devarajan , Arjun Kapur , Jaejin Lee , Henny Sipma , Tomás E. Uribe STeP: The Stanford Temporal Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Andersen , Ulla Binau , Karsten Nyblad , Kim Dam Petersen , Jimmi S. Pettersson The HOL-UNITY Verification System. [Citation Graph (0, 0)][DBLP ] Conf ] Andre J. Sampaio , Armando Martin Haeberer , Claudio T. Prates , Cristina D. Ururahy , Marcelo F. Frias , Neudson C. Albuquerque PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. [Citation Graph (1, 0)][DBLP ] Conf ] Bruno Marre LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Gianna Reggio , Franco Morando The SMoLCS ToolSet. [Citation Graph (0, 0)][DBLP ] Conf ] Mark van den Brand , Eelco Visser The Asf+Sdf Meta-Environment Documentation Tools for Free! [Citation Graph (0, 0)][DBLP ] Conf ] B-Core: The B-Toolkit Demonstration. [Citation Graph (0, 0)][DBLP ] Conf ] Luiz Carlos Castro Guedes , Edward Hermann Haeusler , José Lucas Rangel Object Oriented Semantics Directed Compiler Generation: A Prototype. [Citation Graph (0, 0)][DBLP ] Conf ] 