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.
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-12-04 20:04 CET 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:
