default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 70
Volume 70, 2014
- Marieke Huisman
, Jaco van de Pol:
Preface. - Alastair F. Donaldson:
The GPUVerify Method: a Tutorial Overview. - Guy H. Broadfoot:
The highs and lows of deploying Formal Methods in Industry. - Laura Kovács:
Symbol Elimination for Automated Generation of Program Properties. - Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha:
Conformance Testing of Cyber-Physical Systems: A Comparative Study. - Jingshu Chen, Marie Duflot, Stephan Merz:
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations. - Béatrice Bérard, John Mullins:
Verification of Information Flow Properties under Rational Observation. - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using SMT for dealing with nondeterminism in ASM-based runtime verification. - Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker:
QBF with Soft Variables. - Jeremy Sproston:
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems. - Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns:
Reachability and Reward Checking for Stochastic Timed Automata. - Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper:
On the Random Structure of Behavioural Transition Systems. - Adisak Intana, Michael R. Poppleton, Geoff V. Merrett:
A Formal Co-Simulation Approach for Wireless Sensor Network Development. - Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. - Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns:
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. - Petr Rockai, Jiri Barnat, Lubos Brim:
Model Checking C++ with Exceptions. - Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos:
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour.
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-07-17 01:21 CEST 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:
