Stop the war!Остановите войну!
for scientists:
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.
a service of 
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 2024-04-18 20: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:
