default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SEFM 2012: Thessaloniki, Greece
- George Eleftherakis
, Mike Hinchey, Mike Holcombe:
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, ISBN 978-3-642-33825-0
Keynote Talks
- Cliff B. Jones:
Abstraction as a Unifying Link for Formal Approaches to Concurrency. 1-15 - Durica Nikolic, Corrado Priami, Roberto Zunino:
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. 16-32
Regular Papers
- Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman:
Sound Control-Flow Graph Extraction for Java Programs with Exceptions. 33-47 - Jiri Barnat, Petr Bauch, Lubos Brim:
Checking Sanity of Software Requirements. 48-62 - Pietro Ferrara, Raphael Fuchs, Uri Juhasz:
TVAL+ : TVLA and Value Analyses Together. 63-77 - Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh:
A Systematic Approach to Atomicity Decomposition in Event-B. 78-93 - Crystal Chang Din, Johan Dovland, Olaf Owe:
Compositional Reasoning about Shared Futures. 94-108 - Qinglei Zhang, Ridha Khédri, Jason Jaskolka:
Verification of Aspectual Composition in Feature-Modeling. 109-125 - Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He:
A Denotational Model for Instantaneous Signal Calculus. 126-140 - Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
A Timed Mobility Semantics Based on Rewriting Strategies. 141-155 - Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro:
Towards a Formal Component Model for the Cloud. 156-171 - Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu:
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. 172-187 - Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin:
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. 188-202 - Visar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger:
A Configuration Approach for IMA Systems. 203-217 - Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. 218-232 - Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski:
Frama-C - A Software Analysis Perspective. 233-247 - Islam Abdelhalim, Steve A. Schneider, Helen Treharne:
An Optimization Approach for Effective Formalized fUML Model Checking. 248-262 - Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
Efficient Probabilistic Abstraction for SysML Activity Diagrams. 263-277 - Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux:
ML Dependency Analysis for Assessors. 278-292 - Raluca Lefticaru, Florentin Ipate:
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. 293-307 - Stefano Bistarelli, Francesco Santini:
Securely Accessing Shared Resources with Concurrent Constraint Programming. 308-322
Short Papers
- Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook:
A Practical Approach for Closed Systems Formal Verification Using Event-B. 323-332 - Daniel Matichuk, Toby C. Murray:
Extensible Specifications for Automatic Re-use of Specifications and Proofs. 333-341 - Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira:
Implementing Tactics of Refinement in CRefine. 342-351
Tool Papers
- Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate:
JSXM: A Tool for Automated Test Generation. 352-366 - Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks:
A Low-Overhead, Value-Tracking Approach to Information Flow Security. 367-381
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-01-31 22:52 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:
