default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 35
Volume 35, 2010
- Jens Bendisposto, Michael Leuschel, Markus Roggenbach:
Avocs2010 Preface. - Marco A. Feliú
, Christophe Joubert, Fernando Tarin:
Evaluation Strategies for Datalog-based Points-To Analysis. - Emre Yilmaz, Thai Son Hoang:
Development of Rabin's Choice Coordination Algorithm in Event-B. - Cristian Daniel Rosa, Stephan Merz, Martin Quinson:
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. - Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou:
Static Analysis of Information Release in Interactive Programs. - Shamim Ripon, Alice Miller:
Verification of Symmetry Detection using PVS. - Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. - Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei:
Checking Consistency Between Message Choreographies And Their Implementation Models. - Mohamed Tounsi, Mohamed Mosbah, Dominique Méry:
Proving Distributed Algorithms by Combining Refinement and Local Computations. - Neil Evans:
Integrating Formal Methods with Informal Digital Hardware Development. - Phillip James, Markus Roggenbach:
Automatically Verifying Railway Interlockings using SAT-based Model Checking.
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 2025-12-19 01:35 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:
