Abstract is missing.
- Abstraction as a Unifying Link for Formal Approaches to ConcurrencyCliff B. Jones. 1-15 [doi]
- A Rule-Based and Imperative Language for Biochemical Modeling and SimulationDurica Nikolic, Corrado Priami, Roberto Zunino. 16-32 [doi]
- Sound Control-Flow Graph Extraction for Java Programs with ExceptionsAfshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman. 33-47 [doi]
- Checking Sanity of Software RequirementsJiri Barnat, Petr Bauch, Lubos Brim. 48-62 [doi]
- TVAL+ : TVLA and Value Analyses TogetherPietro Ferrara, Raphael Fuchs, Uri Juhasz. 63-77 [doi]
- A Systematic Approach to Atomicity Decomposition in Event-BAsieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh. 78-93 [doi]
- Compositional Reasoning about Shared FuturesCrystal Chang Din, Johan Dovland, Olaf Owe. 94-108 [doi]
- Verification of Aspectual Composition in Feature-ModelingQinglei Zhang, Ridha Khédri, Jason Jaskolka. 109-125 [doi]
- A Denotational Model for Instantaneous Signal CalculusYongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He. 126-140 [doi]
- A Timed Mobility Semantics Based on Rewriting StrategiesGabriel Ciobanu, Maciej Koutny, L. Jason Steggles. 141-155 [doi]
- Towards a Formal Component Model for the CloudRoberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro. 156-171 [doi]
- The Rely/Guarantee Approach to Verifying Concurrent BPEL ProgramsHuibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu. 172-187 [doi]
- Completing the Automated Verification of a Small Hypervisor - Assembler Code VerificationWolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin. 188-202 [doi]
- A Configuration Approach for IMA SystemsVisar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger. 203-217 [doi]
- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring BoundariesChristian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace. 218-232 [doi]
- Frama-C - A Software Analysis PerspectivePascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski. 233-247 [doi]
- An Optimization Approach for Effective Formalized fUML Model CheckingIslam Abdelhalim, Steve Schneider, Helen Treharne. 248-262 [doi]
- Efficient Probabilistic Abstraction for SysML Activity DiagramsSamir Ouchani, Otmane Aït Mohamed, Mourad Debbabi. 263-277 [doi]
- ML Dependency Analysis for AssessorsPhilippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux. 278-292 [doi]
- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic AlgorithmsRaluca Lefticaru, Florentin Ipate. 293-307 [doi]
- Securely Accessing Shared Resources with Concurrent Constraint ProgrammingStefano Bistarelli, Francesco Santini. 308-322 [doi]
- A Practical Approach for Closed Systems Formal Verification Using Event-BBrett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook. 323-332 [doi]
- Extensible Specifications for Automatic Re-use of Specifications and ProofsDaniel Matichuk, Toby C. Murray. 333-341 [doi]
- Implementing Tactics of Refinement in CRefineMadiel Conserva Filho, Marcel Vinicius Medeiros Oliveira. 342-351 [doi]
- JSXM: A Tool for Automated Test GenerationDimitris Dranidis, Konstantinos Bratanis, Florentin Ipate. 352-366 [doi]
- A Low-Overhead, Value-Tracking Approach to Information Flow SecurityKostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks. 367-381 [doi]