12. ICECCS 2007:
Auckland,
New Zealand
12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand.
IEEE Computer Society 2007, ISBN 978-0-7695-2895-3 BibTeX
Keynote Speaker
Real-time Systems
Modeling and Verification
- Huaikou Miao, Hongwei Zeng:
Model Checking-based Verification of Web Application.
47-55
Electronic Edition (link) BibTeX
- Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties.
56-63
Electronic Edition (link) BibTeX
- Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
A Formal Model for Compensable Transactions.
64-73
Electronic Edition (link) BibTeX
- Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun:
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).
74-86
Electronic Edition (link) BibTeX
Keynote Speaker
Safety and Security
Context Awareness and Ubiquitous Computing
Keynote Speaker
Formal Languages
Software Architecture
Addressing Complexity with Autonomic Systems
Grand Challenges - Complex Program Verifier
- Andrew Butterfield, Jim Woodcock:
Formalising Flash Memory: First Steps.
251-260
Electronic Edition (link) BibTeX
- Joseph Kiniry:
Formally Counting Electronic Votes (But Still Only Trusting Paper).
261-269
Electronic Edition (link) BibTeX
- John M. Rushby:
What Use is Verified Software?
270-276
Electronic Edition (link) BibTeX
- Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design.
277-289
Electronic Edition (link) BibTeX
- Leo Freitas, Konstantinos Mokos, Jim Woodcock:
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.
290-298
Electronic Edition (link) BibTeX
- Wolfram Schulte:
Experiments in Verifying Low Level Concurrent C Code.
299
Electronic Edition (link) BibTeX
- Cliff B. Jones, Ken G. Pierce:
What Can the pi-calculus Tell Us About the Mondex Purse System?
300-306
Electronic Edition (link) BibTeX
- Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties.
307-320
Electronic Edition (link) BibTeX
Advances in the FMICS-jETI Platform for Program Verification
Selected Papers from the UML&AADL 2007 Workshop
- 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:
Managing Complexity of Automotive Electronics Using the EAST-ADL.
353-358
Electronic Edition (link) BibTeX
- Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard:
MARTE: Also an UML Profile for Modeling AADL Applications.
359-364
Electronic Edition (link) BibTeX
- Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis:
From PIMs to PSMs.
365-370
Electronic Edition (link) BibTeX
- Isabelle Perseil, Laurent Pautet:
A Co-Modeling Methodology Designed for RT Architecture Models Integration.
371-376
Electronic Edition (link) BibTeX
- Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas:
The AADL behaviour annex - experiments and roadmap.
377-382
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:19:22 2009
by Michael Ley (ley@uni-trier.de)
