Invited Speakers

• 
  Xudong He: A Framework for Ensuring System Dependability from Design to Implementation.
• 
  Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle.

Full Papers

• 
  Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Model-checking Inherently Fair Linear-time Properties. 3-8
• 
  Macario Polo Usaola, Andres Flores: Towards Run-time Component Integration on Ubiquitous Systems. 9-18
• 
  Jaime Ramírez, Angélica de Antonio: Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. 19-28
• 
  Dejan Gradisar, Gasper Music: Petri-net modeling of production systems based on production management data. 29-38
• 
  Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez: An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. 39-48
• 
  Paulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori: Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. 49-57
• 
  Andres Flores, Macario Polo: Towards Application Suitability for PvC Environments. 58-62

Short Papers

• 
  Kåre J. Kristoffersen, Yvonne Dittrich: Expanding Database Systems into self-verifying Entities. 65-70
• 
  Wing Lok Yeung, Karl R. P. H. Leung: Deriving Test Cases from B Machines Using Class Vectors. 71-76
• 
  Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche: A Unit Testing Framework for Network Configurations. 77-82
• 
  Frédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? 83-88
• 
  Joshua J. Pauli, Dianxiang Xu: Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. 89-95
• 
  Joselito Medina Marín, Xiaoou Li: An Active Rule Base Simulator based on Petri Nets. 96-101
• 
  Josko Dvornik, Srdan Dvornik, Eno Tireli: Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating. 102-106
• 
  Joseph Barjis: An Example of Business Process Simulation Using ARENA. 107-112

Posters

• 
  Nan Niu, Steve M. Easterbrook: On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. 115-117
• 
  Juan Carlos Augusto: Verification of Smart Homes Specifications which are based on ECA Rules. 118-120
• 
  Josko Dvornik, Ante Munitic, Frane Mitrovic: The Port-Transshipment System Dynamics Software Simulator. 121-125
• 
  Syed M. Rahman, Akram Salah: Teaching Software Testing in Introductory CS Courses and Improving Software Quality. 126-128

last updated on Sat May 18 05:42:07 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page