Abstract is missing.
- A Programming Model for the Orchestration of Web ServicesJayadev Misra. 2-11 [doi]
- Abstraction of Parallel Uniform Processes with DataJun Pang, Jaco van de Pol, Miguel Valero Espada. 14-23 [doi]
- Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. 24-33 [doi]
- Finding the Causes of Unrealizability of Reactive System Formal SpecificationsNoriaki Yoshiura. 34-43 [doi]
- Towards Mobile Processes in Unifying TheoriesXinbei Tang, Jim Woodcock. 44-53 [doi]
- Symbolic Verification of Infinite Systems using a Finite Union of DFAsSuman Roy. 56-66 [doi]
- Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State SystemsTobias Schüle, Klaus Schneider. 67-76 [doi]
- Proof Reuse for Deductive Program VerificationBernhard Beckert, Vladimir Klebanov. 77-86 [doi]
- Checking Extended CTL properties Using Guarded Quotient StructuresA. Prasad Sistla, Xiaodong Wang, Min Zhou. 87-94 [doi]
- Property-Driven DevelopmentHubert Baumeister, Alexander Knapp, Martin Wirsing. 96-102 [doi]
- From Requirements Change to Design Change: A Formal PathLian Wen, R. Geoff Dromey. 104-113 [doi]
- Decidability Results for Parametric Probabilistic Transition Systems with an Application to SecurityRuggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina. 114-121 [doi]
- Towards Formalizing Behavioral Substitutability in Component FrameworksSabine Moisan, Annie Ressouche, Jean-Paul Rigault. 122-131 [doi]
- Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design LanguageNaiyong Jin, Jifeng He. 132-141 [doi]
- Modeling Peer-to-Peer Service Goals in UMLRichard Torbjørn Sanders, Rolv Bræk. 144-153 [doi]
- Past- and Future-Oriented Time-Bounded Temporal Properties with OCLStephan Flake, Wolfgang Müller 0003. 154-163 [doi]
- On Semantics and Refinement of UML Statecharts: A Coalgebraic ViewSun Meng, Zhang Naixiao, Luís Soares Barbosa. 164-173 [doi]
- The Rhapsody UML Verification EnvironmentIngo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal. 174-183 [doi]
- Care, Feeding and Growth of Software SystemsMathai Joseph. 186 [doi]
- An Asynchronous Communication Model for Distributed Concurrent ObjectsEinar Broch Johnsen, Olaf Owe. 188-197 [doi]
- Models and Temporal Logics for Timed Component ConnectorsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. 198-207 [doi]
- Glass-Box and Black-Box Views on Object-Oriented SpecificationsMichel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister. 208-217 [doi]
- Exception Safety for C#K. Rustan M. Leino, Wolfram Schulte. 218-227 [doi]
- Random Testing in Isabelle/HOLStefan Berghofer, Tobias Nipkow. 230-239 [doi]
- Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving TechniquesJian Zhang, Chen Xu, Xiaoliang Wang. 242-250 [doi]
- Test Case Generation Using Stochastic Automata Networks: Quantitative AnalysisCristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira. 251-260 [doi]
- Generating Efficient Test Sets with a Model CheckerGrégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby. 261-270 [doi]
- Distributed Testing of Multi Input/Output Transition SystemZhongjie Li, Xia Yin, Jianping Wu. 271-280 [doi]
- Theory and Algorithms for the Generation and Validation of Speculative Loop OptimizationsYing Hu, Clark W. Barrett, Benjamin Goldberg. 281-289 [doi]
- Heuristics for Refinement RelationsFlorian Kammüller, Jeff W. Sanders. 292-299 [doi]
- Towards Action Refinement for Concurrent Systems with Causal AmbiguityJinzhao Wu, Houguang Yue. 300-309 [doi]
- Refine and Gabriel: Support for Refinement and TacticsMarcel Oliveira, Manuela Xavier, Ana Cavalcanti. 310-319 [doi]
- Automated Element-Wise Reasoning with SetsGeorg Struth. 320-329 [doi]
- A Formalism for Conformance Analysis and Its ApplicationsTien Nhut Nguyen, Ethan V. Munson. 330-339 [doi]
- ABC: Supporting Software Architectures in the Whole LifecycleHong Mei. 342-343 [doi]
- Fault Tolerance in a Layered Architecture: A General Specification Pattern in BLinas Laibinis, Elena Troubitsyna. 346-355 [doi]
- Formal Derivation of Functional Architectural DesignRidha Khédri, Imen Bourguiba. 356-265 [doi]
- Verification of the WAP Transaction LayerYu-Tong He, Ryszard Janicki. 366-375 [doi]
- An Approach to Hardware/Software Partitioning for Multiple Hardware Devices ModelGeguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi. 376-385 [doi]
- The Formal, Tool Supported Development of Real Time SystemsRichard O. Sinnott. 388-395 [doi]
- Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based ApproachAlexander Fronk. 396-405 [doi]
- Formal Verification of Requirements using SPIN: A Case Study on Web ServicesRaman Kazhamiakin, Marco Pistore, Marco Roveri. 406-415 [doi]
- How to Verify Dynamic Properties of Information SystemsNeil Evans, Helen Treharne, Régine Laleau, Marc Frappier. 416-425 [doi]