Abstract is missing.
- POSIX file store in Z/Eves: an experiment in the verified software repositoryLeo Freitas, Zheng Fu, Jim Woodcock. 3-14 [doi]
- Just-in-Time CertificationJohn M. Rushby. 15-24 [doi]
- Modular Synthesis of Discrete ControllersPetra Malik, Robi Malik, David Streader, Steve Reeves. 25-34 [doi]
- Achieving Discrete Relative Timing with Untimed Process AlgebraAnton Wijs. 35-46 [doi]
- Model Checking-based Verification of Web ApplicationHuaikou Miao, Hongwei Zeng. 47-55 [doi]
- A light-weight static approach to analyzing UML behavioral propertiesLijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano. 56-63 [doi]
- A Formal Model for Compensable TransactionsJing Li, Huibiao Zhu, Geguang Pu, Jifeng He. 64-73 [doi]
- A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun 0001. 74-86 [doi]
- Selecting V&V Technology Combinations: How to Pick a Winner?Paul A. Strooper, Margaret A. Wojcicki. 87-96 [doi]
- A Novel Approach to the Detection of Cheating in Multiplayer Online GamesPeter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers. 97-106 [doi]
- Reasoning about Nonblocking Concurrency using ReductionLindsay Groves. 107-116 [doi]
- A Combined Approach for Information Flow Analysis in Fault Tolerant HardwareTim McComb, Luke Wildman. 117-128 [doi]
- The Registry for Sensor Network DiscoveryJeongkyu Park, Jiung Han, Kibong Kang, Keung Hae Lee. 129-137 [doi]
- An agent based approach to examining shared situation awarenessSimon Connelly, Peter A. Lindsay, Marcus Gallagher. 138-147 [doi]
- Product Line Enabled Intelligent Mobile MiddlewareWeishan Zhang, Thomas Kunz, Klaus Marius Hansen. 148-160 [doi]
- Pex - An Intelligent Assistant for Rigorous Developer TestingWolfram Schulte. 161 [doi]
- Belief-augmented OWL (BOWL) Engineering the SemanticWeb with BeliefsYuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang. 165-174 [doi]
- A Formal Contract Language for Plugin-based Software EngineeringJens Dietrich, John G. Hosking, Jonathan Giles. 175-184 [doi]
- Linking Object-Z with Spec#Shengchao Qin, Guanhua He. 185-196 [doi]
- Architectural Design Methodologies for Complex Evolving SystemsUrjaswala Vora. 197-206 [doi]
- EmVC: Managing Changes and Configurations in Designs of Complex, Embedded Computing SystemsTien Nguyen. 207-216 [doi]
- Communicating Software Architecture using a Unified Single-View VisualizationThomas Panas, Thomas Epperly, Daniel J. Quinlan, Andreas Sæbjørnsen, Richard W. Vuduc. 217-228 [doi]
- A first approach to the closed-form specification and analysis of an autonomic control systemSimon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley. 229-237 [doi]
- The Imminent Complexity Quagmire in Pervasive Computing - Autonomic Agents a Solution?Roy Sterritt, Sarah Eowyn, Patricia O Hagan, Edward Hanna. 238-250 [doi]
- Formalising Flash Memory: First StepsAndrew Butterfield, Jim Woodcock. 251-260 [doi]
- Formally Counting Electronic Votes (But Still Only Trusting Paper)Joseph Kiniry. 261-269 [doi]
- What Use is Verified Software?John M. Rushby. 270-276 [doi]
- A Refinement Driven Component-Based DesignZhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn. 277-289 [doi]
- Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software RepositoryLeo Freitas, Konstantinos Mokos, Jim Woodcock. 290-298 [doi]
- Experiments in Verifying Low Level Concurrent C CodeWolfram Schulte. 299 [doi]
- What Can the pi-calculus Tell Us About the Mondex Purse System?Cliff B. Jones, Ken G. Pierce. 300-306 [doi]
- Automated Verification of Shape, Size and Bag PropertiesWei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin. 307-320 [doi]
- On-the-fly model checking for C programs with extended CADP in FMICS-jETIMaría-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán. 321-329 [doi]
- Parallel Model Checking and the FMICS-jETI PlatformJiri Barnat, Lubos Brim, Martin Leucker. 330-339 [doi]
- The LearnLib in FMICS-jETITiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker. 340-352 [doi]
- Managing Complexity of Automotive Electronics Using the EAST-ADLPhilippe 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. 353-358 [doi]
- MARTE: Also an UML Profile for Modeling AADL ApplicationsMadeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard. 359-364 [doi]
- From PIMs to PSMsPeter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis. 365-370 [doi]
- A Co-Modeling Methodology Designed for RT Architecture Models IntegrationIsabelle Perseil, Laurent Pautet. 371-376 [doi]
- The AADL behaviour annex - experiments and roadmapRicardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas. 377-382 [doi]