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 66
Volume 66, 2013
- Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst
, Jörg Pfähler, Wolfgang Reif:
Compositional Verification of a Lock-Free Stack with RGITL. - Georges Morbé, Christoph Scholl:
Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. - Murat Moran, James Heather:
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. - Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi:
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling. - Zamira Daw, Rance Cleaveland, Marcus Vetter:
Integrating model checking and UML based model-driven development for embedded systems. - Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea:
Building Traceable Event-B Models from Requirements. - Efstathios Stathakidis, David M. Williams, James Heather:
Verifying a Mix Net in CSP. - Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani:
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. - Lucian M. Patcas, Mark Lawford, Tom Maibaum:
From System Requirements to Software Requirements in the Four-Variable Model. - Vahid Hashemi, Holger Hermanns, Andrea Turrini:
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. - Brijesh Dongol, John Derrick:
Simplifying proofs of linearisability using layers of abstraction. - Gerald Lüttgen, Walter Vogler:
Richer Interface Automata with Optimistic and Pessimistic Compatibility. - Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
On the Satisfiability of Metric Temporal Logics over the Reals. - Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid 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:
