Abstract is missing.
- Automated Runtime Verification with EagleAllen Goldberg, Klaus Havelund.
- A Framework for Ensuring System Dependability from Design to ImplementationXudong He.
- Model-checking Inherently Fair Linear-time PropertiesThierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche. 3-8
- Towards Run-time Component Integration on Ubiquitous SystemsMacario Polo Usaola, Andres Flores. 9-18
- Consistency Verification of a Non-monotonic Deductive System based on OWL LiteJaime Ramírez, Angélica de Antonio. 19-28
- Petri-net modeling of production systems based on production management dataDejan Gradisar, Gasper Music. 29-38
- An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry CaseManuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez. 39-48
- Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless NetworksPaulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori. 49-57
- Towards Application Suitability for PvC EnvironmentsAndres Flores, Macario Polo. 58-62
- Expanding Database Systems into self-verifying EntitiesKåre J. Kristoffersen, Yvonne Dittrich. 65-70
- Deriving Test Cases from B Machines Using Class VectorsWing Lok Yeung, Karl R. P. H. Leung. 71-76
- A Unit Testing Framework for Network ConfigurationsDominik Jungo, David Buchmann, Ulrich Ultes-Nitsche. 77-82
- How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?Frédéric Gervais, Marc Frappier, Régine Laleau. 83-88
- Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case StudyJoshua J. Pauli, Dianxiang Xu. 89-95
- An Active Rule Base Simulator based on Petri NetsJoselito Medina Marín, Xiaoou Li. 96-101
- Computing Simulation and Heuristic Optimization of the Marine Diesel Drive GeneratingJosko Dvornik, Srdan Dvornik, Eno Tireli. 102-106
- An Example of Business Process Simulation Using ARENAJoseph Barjis. 107-112
- On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case StudyNan Niu, Steve M. Easterbrook. 115-117
- Verification of Smart Homes Specifications which are based on ECA RulesJuan Carlos Augusto. 118-120
- The Port-Transshipment System Dynamics Software SimulatorJosko Dvornik, Ante Munitic, Frane Mitrovic. 121-125
- Teaching Software Testing in Introductory CS Courses and Improving Software QualitySyed M. Rahman, Akram Salah. 126-128