default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SEFM 2010: Pisa, Italy
- José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini:
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4153-2
Keynotes
- Carlo Ghezzi:
Adaptive Software Needs Continuous Verification. 3-4 - Dimitra Giannakopoulou:
"Fly Me to the Moon": Verification of Aerospace Systems. 5-11 - Dusko Pavlovic
:
The Unreasonable Ineffectiveness of Security Engineering: An Overview. 12-18
In Memory of Geoff Dromey
- Peter A. Lindsay:
Behavior Trees: From Systems Engineering to Software Engineering. 21-30 - Daniel Powell:
Behavior Engineering - A Scalable Modeling and Analysis Method. 31-40 - Kirsten Winter, Ian J. Hayes, Robert Colvin:
Integrating Requirements: The Behavior Tree Philosophy. 41-50
Formal Requirement Analysis and Specification
- Haitao Dan, Robert M. Hierons, Steve Counsell:
Non-local Choice and Implied Scenarios. 53-62 - Faraz Hussain, Gary T. Leavens:
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. 63-72 - Emilia Katz, Shmuel Katz:
User Queries for Specification Refinement Treating Shared Aspect Join Points. 73-82 - Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet:
Assessing the Quality of B Models. 83-90
Program Analysis
- José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Assertion-based Slicing and Slice Graphs. 93-102 - Giuseppe Scanniello, Michele Risi, Genoveffa Tortora:
Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation. 103-112 - Cristina Tudose, Radu Opria:
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. 113-117 - Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. 118-122
Formal Approaches to Service-oriented Computing
- Natallia Kokash, Christian Krause, Erik P. de Vink:
Time and Data-Aware Analysis of Graphical Service Models in Reo. 125-134 - Christian Leuxner, Wassiou Sitou, Bernd Spanfelner:
A Formal Model for Work Flows. 135-144 - Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró:
Back-annotation of Simulation Traces with Change-Driven Model Transformations. 145-155 - Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet:
Designing Log Architectures for Legal Evidence. 156-165
Applications of Formal Methods
- Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison:
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. 169-180 - Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage:
Safety Assessment Using Behavior Trees and Model Checking. 181-190 - Davide Benetti, Massimo Merro, Luca Viganò:
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. 191-202 - Michael Goldsmith, Sadie Creese:
Refinement-Friendly Bigraphs and Spygraphs. 203-207
Model Checking
- María-del-Mar Gallardo, David Sanán:
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. 211-221 - Jiri Barnat, Lubos Brim, Petr Rockai:
Parallel Partial Order Reduction with Topological Sort Proviso. 222-231 - Franz Weitl, Shin Nakajima, Burkhard Freitag:
Structured Counterexamples for the Temporal Description Logic ALCCTL. 232-243 - 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. 244-254
Formal Approaches for Testing
- Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Testing Web Service Orchestrators in Context: A Symbolic Approach. 257-267 - Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti:
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. 268-277 - Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle:
Combinatorial Testing for VDM. 278-285 - Stefan J. Galler, Martin Weiglhofer, Franz Wotawa:
Synthesize It: From Design by Contract to Meaningful Test Input Data. 286-295
Formal Methods for Real-time and Timed Analysis
- Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings:
TART: Timed-Automata to Real-Time Java Tool. 299-309 - Thomas Göthel, Sabine Glesner:
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. 310-314 - Kun Wei, Jim Woodcock, Alan Burns:
A Timed Model of Circus with the Reactive Design Miracle. 315-319 - Massimo Bartoletti, Roberto Zunino:
Static Enforcement of Service Deadlines. 320-324
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
