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 76
Volume 76, 2018
- David Pichardie, Mihaela Sighireanu:
Preface.
- Yannick Moy:
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software. - Eduard Kamburjan:
Detecting Deadlocks in Formal System Models with Condition Synchronization. - Jan Steffen Becker:
Analyzing Consistency of Formal Requirements. - Cristina Serban, Radu Iosif:
An Entailment Checker for Separation Logic with Inductive Definitions. - Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke:
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. - Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz:
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks. - Rebeka Farkas, Tamás Tóth, Ákos Hajdu
, András Vörös:
Backward Reachability Analysis for Timed Automata with Data Variables. - Christophe Limbrée, Charles Pecheur:
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. - Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. - Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym:
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. - Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze:
Using SMT Engine to Generate Symbolic Automata.
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-22 20:03 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:
