- 2010
- Jiri Barnat, Lubos Brim, Petr Rockai
:
Parallel Partial Order Reduction with Topological Sort Proviso. SEFM 2010: 222-231 - José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102 - Massimo Bartoletti, Roberto Zunino:
Static Enforcement of Service Deadlines. SEFM 2010: 320-324 - Davide Benetti, Massimo Merro, Luca Viganò:
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. SEFM 2010: 191-202 - Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254 - Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti:
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. SEFM 2010: 268-277 - Haitao Dan, Robert M. Hierons, Steve Counsell:
Non-local Choice and Implied Scenarios. SEFM 2010: 53-62 - Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM 2010: 257-267 - María-del-Mar Gallardo, David Sanán:
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. SEFM 2010: 211-221 - Stefan J. Galler, Martin Weiglhofer, Franz Wotawa:
Synthesize It: From Design by Contract to Meaningful Test Input Data. SEFM 2010: 286-295 - Carlo Ghezzi:
Adaptive Software Needs Continuous Verification. SEFM 2010: 3-4 - Dimitra Giannakopoulou:
"Fly Me to the Moon": Verification of Aerospace Systems. SEFM 2010: 5-11 - Michael Goldsmith, Sadie Creese:
Refinement-Friendly Bigraphs and Spygraphs. SEFM 2010: 203-207 - Thomas Göthel, Sabine Glesner:
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM 2010: 310-314 - Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings:
TART: Timed-Automata to Real-Time Java Tool. SEFM 2010: 299-309 - Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró:
Back-annotation of Simulation Traces with Change-Driven Model Transformations. SEFM 2010: 145-155 - Faraz Hussain, Gary T. Leavens:
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. SEFM 2010: 63-72 - Emilia Katz, Shmuel Katz:
User Queries for Specification Refinement Treating Shared Aspect Join Points. SEFM 2010: 73-82 - Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet:
Assessing the Quality of B Models. SEFM 2010: 83-90 - Natallia Kokash, Christian Krause, Erik P. de Vink:
Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134 - Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle:
Combinatorial Testing for VDM. SEFM 2010: 278-285 - Christian Leuxner, Wassiou Sitou, Bernd Spanfelner:
A Formal Model for Work Flows. SEFM 2010: 135-144 - Peter A. Lindsay:
Behavior Trees: From Systems Engineering to Software Engineering. SEFM 2010: 21-30 - Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage:
Safety Assessment Using Behavior Trees and Model Checking. SEFM 2010: 181-190 - Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison:
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180 - Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet:
Designing Log Architectures for Legal Evidence. SEFM 2010: 156-165 - Dusko Pavlovic:
The Unreasonable Ineffectiveness of Security Engineering: An Overview. SEFM 2010: 12-18 - Daniel Powell:
Behavior Engineering - A Scalable Modeling and Analysis Method. SEFM 2010: 31-40 - Giuseppe Scanniello, Michele Risi, Genoveffa Tortora:
Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation. SEFM 2010: 103-112 - Cristina Tudose, Radu Opria:
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. SEFM 2010: 113-117
