| 2007 | 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand |
| 2007 | A Co-Modeling Methodology Designed for RT Architecture Models Integration. Isabelle Perseil, Laurent Pautet |
| 2007 | A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. Tim McComb, Luke Wildman |
| 2007 | A Formal Contract Language for Plugin-based Software Engineering. Jens Dietrich, John G. Hosking, Jonathan Giles |
| 2007 | A Formal Model for Compensable Transactions. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2007 | A Novel Approach to the Detection of Cheating in Multiplayer Online Games. Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers |
| 2007 | A Refinement Driven Component-Based Design. Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
| 2007 | A first approach to the closed-form specification and analysis of an autonomic control system. Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley |
| 2007 | A light-weight static approach to analyzing UML behavioral properties. Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
| 2007 | Achieving Discrete Relative Timing with Untimed Process Algebra. Anton Wijs |
| 2007 | An agent based approach to examining shared situation awareness. Simon Connelly, Peter A. Lindsay, Marcus Gallagher |
| 2007 | Architectural Design Methodologies for Complex Evolving Systems. Urjaswala Vora |
| 2007 | Automated Verification of Shape, Size and Bag Properties. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
| 2007 | Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang |
| 2007 | Communicating Software Architecture using a Unified Single-View Visualization. Thomas Panas, Thomas Epperly, Daniel J. Quinlan, Andreas Sæbjørnsen, Richard W. Vuduc |
| 2007 | EmVC: Managing Changes and Configurations in Designs of Complex, Embedded Computing Systems. Tien Nguyen |
| 2007 | Experiments in Verifying Low Level Concurrent C Code. Wolfram Schulte |
| 2007 | Formalising Flash Memory: First Steps. Andrew Butterfield, Jim Woodcock |
| 2007 | Formally Counting Electronic Votes (But Still Only Trusting Paper). Joseph Kiniry |
| 2007 | From PIMs to PSMs. Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis |
| 2007 | Just-in-Time Certification. John M. Rushby |
| 2007 | Linking Object-Z with Spec#. Shengchao Qin, Guanhua He |
| 2007 | MARTE: Also an UML Profile for Modeling AADL Applications. Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard |
| 2007 | Managing Complexity of Automotive Electronics Using the EAST-ADL. Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber |
| 2007 | Model Checking-based Verification of Web Application. Huaikou Miao, Hongwei Zeng |
| 2007 | Modular Synthesis of Discrete Controllers. Petra Malik, Robi Malik, David Streader, Steve Reeves |
| 2007 | On-the-fly model checking for C programs with extended CADP in FMICS-jETI. María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán |
| 2007 | POSIX file store in Z/Eves: an experiment in the verified software repository. Leo Freitas, Zheng Fu, Jim Woodcock |
| 2007 | Parallel Model Checking and the FMICS-jETI Platform. Jiri Barnat, Lubos Brim, Martin Leucker |
| 2007 | Pex - An Intelligent Assistant for Rigorous Developer Testing. Wolfram Schulte |
| 2007 | Product Line Enabled Intelligent Mobile Middleware. Weishan Zhang, Thomas Kunz, Klaus Marius Hansen |
| 2007 | Reasoning about Nonblocking Concurrency using Reduction. Lindsay Groves |
| 2007 | Selecting V&V Technology Combinations: How to Pick a Winner? Paul A. Strooper, Margaret A. Wojcicki |
| 2007 | The AADL behaviour annex - experiments and roadmap. Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas |
| 2007 | The Imminent Complexity Quagmire in Pervasive Computing - Autonomic Agents a Solution? Roy Sterritt, Sarah Eowyn, Patricia O'Hagan, Edward Hanna |
| 2007 | The LearnLib in FMICS-jETI. Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
| 2007 | The Registry for Sensor Network Discovery. Jeongkyu Park, Jiung Han, Kibong Kang, Keung Hae Lee |
| 2007 | Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. Leo Freitas, Konstantinos Mokos, Jim Woodcock |
| 2007 | What Can the pi-calculus Tell Us About the Mondex Purse System? Cliff B. Jones, Ken G. Pierce |
| 2007 | What Use is Verified Software? John M. Rushby |