Abstract is missing.
- Adaptive Software Needs Continuous VerificationCarlo Ghezzi. 3-4 [doi]
- Fly Me to the Moon : Verification of Aerospace SystemsDimitra Giannakopoulou. 5-11 [doi]
- The Unreasonable Ineffectiveness of Security Engineering: An OverviewDusko Pavlovic. 12-18 [doi]
- Behavior Trees: From Systems Engineering to Software EngineeringPeter A. Lindsay. 21-30 [doi]
- Behavior Engineering - A Scalable Modeling and Analysis MethodDaniel Powell. 31-40 [doi]
- Integrating Requirements: The Behavior Tree PhilosophyKirsten Winter, Ian J. Hayes, Robert Colvin. 41-50 [doi]
- Non-local Choice and Implied ScenariosHaitao Dan, Robert M. Hierons, Steve Counsell. 53-62 [doi]
- temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal PropertiesFaraz Hussain, Gary T. Leavens. 63-72 [doi]
- User Queries for Specification Refinement Treating Shared Aspect Join PointsEmilia Katz, Shmuel Katz. 73-82 [doi]
- Assessing the Quality of B ModelsAdrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet. 83-90 [doi]
- Assertion-based Slicing and Slice GraphsJosé Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto. 93-102 [doi]
- Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical EvaluationGiuseppe Scanniello, Michele Risi, Genoveffa Tortora. 103-112 [doi]
- A Method for Testing Software Systems Based on State Design Pattern Using Symbolic ExecutionCristina Tudose, Radu Opria. 113-117 [doi]
- A Toolkit for Generating Sentences from Context-Free GrammarsZhiwu Xu, Lixiao Zheng, Haiming Chen. 118-122 [doi]
- Time and Data-Aware Analysis of Graphical Service Models in ReoNatallia Kokash, Christian Krause, Erik P. de Vink. 125-134 [doi]
- A Formal Model for Work FlowsChristian Leuxner, Wassiou Sitou, Bernd Spanfelner. 135-144 [doi]
- Back-annotation of Simulation Traces with Change-Driven Model TransformationsÁbel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró. 145-155 [doi]
- Designing Log Architectures for Legal EvidenceDaniel Le Métayer, Eduardo Mazza, Marie-Laure Potet. 156-165 [doi]
- A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress AnalysisMieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison. 169-180 [doi]
- Safety Assessment Using Behavior Trees and Model CheckingPeter A. Lindsay, Kirsten Winter, Nisansala Yatapanage. 181-190 [doi]
- Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairADavide Benetti, Massimo Merro, Luca Viganò. 191-202 [doi]
- Refinement-Friendly Bigraphs and SpygraphsMichael Goldsmith, Sadie Creese. 203-207 [doi]
- Verification of Dynamic Data Tree with mu-calculus Extended with SeparationMarie del Mar Gallardo, David Sanán. 211-221 [doi]
- Parallel Partial Order Reduction with Topological Sort ProvisoJiri Barnat, Lubos Brim, Petr Rockai. 222-231 [doi]
- Structured Counterexamples for the Temporal Description Logic ALCCTLFranz Weitl, Shin Nakajima, Burkhard Freitag. 232-243 [doi]
- SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service SubstitutabilityMarcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi. 244-254 [doi]
- Testing Web Service Orchestrators in Context: A Symbolic ApproachJose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli. 257-267 [doi]
- Pruning Testing Trees in the Test Template Framework by Detecting Mathematical ContradictionsMaximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti. 268-277 [doi]
- Combinatorial Testing for VDMPeter Gorm Larsen, Kenneth Lausdahl, Nick Battle. 278-285 [doi]
- Synthesize It: From Design by Contract to Meaningful Test Input DataStefan J. Galler, Martin Weiglhofer, Franz Wotawa. 286-295 [doi]
- TART: Timed-Automata to Real-Time Java ToolNiusha Hakimipour, Paul A. Strooper, Andy J. Wellings. 299-309 [doi]
- Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network InvariantsThomas Göthel, Sabine Glesner. 310-314 [doi]
- A Timed Model of Circus with the Reactive Design MiracleKun Wei, Jim Woodcock, Alan Burns. 315-319 [doi]
- Static Enforcement of Service DeadlinesMassimo Bartoletti, Roberto Zunino. 320-324 [doi]