Conferences in DBLP
Jayadev Misra A Programming Model for the Orchestration of Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Pang , Jaco van de Pol , Miguel Valero Espada Abstraction of Parallel Uniform Processes with Data. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Rouff , Amy Vanderbilt , Michael G. Hinchey , Walt Truszkowski , James L. Rash Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Noriaki Yoshiura Finding the Causes of Unrealizability of Reactive System Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Xinbei Tang , Jim Woodcock Towards Mobile Processes in Unifying Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Suman Roy Symbolic Verification of Infinite Systems using a Finite Union of DFAs. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Schüle , Klaus Schneider Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Vladimir Klebanov Proof Reuse for Deductive Program Verification. [Citation Graph (0, 0)][DBLP ] Conf ] A. Prasad Sistla , Xiaodong Wang , Min Zhou Checking Extended CTL properties Using Guarded Quotient Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Baumeister , Alexander Knapp , Martin Wirsing Property-Driven Development. [Citation Graph (0, 0)][DBLP ] Conf ] Lian Wen , R. Geoff Dromey From Requirements Change to Design Change: A Formal Path. [Citation Graph (0, 0)][DBLP ] Conf ] Ruggero Lanotte , Andrea Maggiolo-Schettini , Angelo Troina Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Moisan , Annie Ressouche , Jean-Paul Rigault Towards Formalizing Behavioral Substitutability in Component Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Naiyong Jin , Jifeng He Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Torbjørn Sanders , Rolv Bræk Modeling Peer-to-Peer Service Goals in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Flake , Wolfgang Müller 0003 Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. [Citation Graph (0, 0)][DBLP ] Conf ] Sun Meng , Zhang Naixiao , Luís Soares Barbosa On Semantics and Refinement of UML Statecharts: A Coalgebraic View. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Schinz , Tobe Toben , Christian Mrugalla , Bernd Westphal The Rhapsody UML Verification Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Mathai Joseph Care, Feeding and Growth of Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Einar Broch Johnsen , Olaf Owe An Asynchronous Communication Model for Distributed Concurrent Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Farhad Arbab , Christel Baier , Frank S. de Boer , Jan J. M. M. Rutten Models and Temporal Logics for Timed Component Connectors. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Rolf Hennicker , Alexander Knapp , Hubert Baumeister Glass-Box and Black-Box Views on Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] K. Rustan M. Leino , Wolfram Schulte Exception Safety for C#. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Berghofer , Tobias Nipkow Random Testing in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Zhang , Chen Xu , Xiaoliang Wang Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Cristiano Bertolini , André G. Farina , Paulo Fernandes , Flávio Moreira Oliveira Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Grégoire Hamon , Leonardo Mendonça de Moura , John M. Rushby Generating Efficient Test Sets with a Model Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Zhongjie Li , Xia Yin , Jianping Wu Distributed Testing of Multi Input/Output Transition System. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Hu , Clark W. Barrett , Benjamin Goldberg Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. [Citation Graph (0, 0)][DBLP ] Conf ] Florian Kammüller , Jeff W. Sanders Heuristics for Refinement Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Jinzhao Wu , Houguang Yue Towards Action Refinement for Concurrent Systems with Causal Ambiguity. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Oliveira , Manuela Xavier , Ana Cavalcanti Refine and Gabriel: Support for Refinement and Tactics. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Struth Automated Element-Wise Reasoning with Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Tien Nhut Nguyen , Ethan V. Munson A Formalism for Conformance Analysis and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Mei ABC: Supporting Software Architectures in the Whole Lifecycle. [Citation Graph (0, 0)][DBLP ] Conf ] Linas Laibinis , Elena Troubitsyna Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. [Citation Graph (0, 0)][DBLP ] Conf ] Ridha Khédri , Imen Bourguiba Formal Derivation of Functional Architectural Design. [Citation Graph (0, 0)][DBLP ] Conf ] Yu-Tong He , Ryszard Janicki Verification of the WAP Transaction Layer. [Citation Graph (0, 0)][DBLP ] Conf ] Geguang Pu , Xiangpeng Zhao , Shuling Wang , Zongyan Qiu , Jifeng He , Wang Yi An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. [Citation Graph (0, 0)][DBLP ] Conf ] Richard O. Sinnott The Formal, Tool Supported Development of Real Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Fronk Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Raman Kazhamiakin , Marco Pistore , Marco Roveri Formal Verification of Requirements using SPIN: A Case Study on Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Evans , Helen Treharne , Régine Laleau , Marc Frappier How to Verify Dynamic Properties of Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 