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 72
Volume 72, 2015
- Gudmund Grov, Andrew Ireland:
Preface.
- Robert Atkey, Donald Sannella:
ThreadSafe: Static Analysis for Java Concurrency. - Colin O'Halloran:
Verifying Critical Cyber-Physical Systems After Deployment. - Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Estimating Rewards & Rare Events in Nondeterministic Systems. - Irene Lobo Valbuena, Moa Johansson:
Conditional Lemma Discovery and Recursion Induction in Hipster. - Maximilien Colange, Dimitri Racordon, Didier Buchs:
Computing Bounds for Counter Automata. - Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh:
Transforming Event-B Models to Dafny Contracts. - Thomas Pani, Helmut Veith, Florian Zuleger
:
Loop Patterns in C Programs. - Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto:
Studying Verification Conditions for Imperative Programs. - Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
Automated Verification of Asynchronous Communicating Systems with TLA+. - Michele Volpato, Jan Tretmans:
Approximate Active Learning of Nondeterministic Input Output Transition Systems. - Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable:
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML. - Alexei Lisitsa:
First-order logic for safety verification of hedge rewriting systems. - Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Distributed Verification of Rare Properties using Importance Splitting Observers. - Bojan Nokovic, Emil Sekerinski:
Model-based WCET Analysis with Invariants. - Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi:
State Distribution Policy for Distributed Model Checking of Actor Models. - Patricia Bouyer, Erwin Fang, Nicolas Markey:
Permissive strategies in timed automata and games.
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-06-18 21:19 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:
