default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIn Honor of Willem P. de Roever 2010
- Dennis Dams, Ulrich Hannemann, Martin Steffen:
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Lecture Notes in Computer Science 5930, Springer 2010, ISBN 978-3-642-11511-0
Concurrency, Compositionality, and Correctness
- Dennis Dams, Ulrich Hannemann, Martin Steffen:
A Bibliography of Willem-Paul de Roever. 1-9 - Peter van Emde Boas:
Playing Savitch and Cooking Games. 10-21 - Dines Bjørner, Asger Eir:
Compositionality: Ontology and Mereology of Domains. 22-59 - Leslie Lamport:
Computer Science and State Machines. 60-65 - Cornelis Huizing, Ron Koymans, Ruurd Kuiper:
A Small Step for Mankind. 66-73 - Hans Langmaack:
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. 74-95 - Ernst-Rüdiger Olderog, Andreas Podelski:
Explicit Fair Scheduling for Dynamic Control. 96-117 - Manfred Broy:
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. 118-126 - Frank S. de Boer:
Reasoning about Recursive Processes in Shared-Variable Concurrency. 127-141 - Jozef Hooman, Marcel Verhoef:
Formal Semantics of a VDM Extension for Distributed Embedded Systems. 142-161 - Shivali Agarwal, R. K. Shyamasundar:
A Proof System for a PGAS Language. 162-184 - Dave Clarke, Einar Broch Johnsen
, Olaf Owe:
Concurrent Objects à la Carte. 185-206 - David Harel, Amir Kantor, Shahar Maoz:
On the Power of Play-Out for Scenario-Based Programs. 207-220 - Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Proving the Refuted: Symbolic Model Checkers as Proof Generators. 221-236 - E. Allen Emerson:
Meanings of Model Checking. 237-249 - Kai Engelhardt, Ralf Huuck:
Smaller Abstractions for FOR ALL CTL* without Next. 250-259 - Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland:
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. 260-276 - Jan Peleska:
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. 277-299 - Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption. 300-321 - Ansgar Fehnker, Ralf Huuck, Sean Seefried:
Counterexample Guided Path Reduction for Static Program Analysis. 322-341
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-11-20 22:10 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:
