|
|
Conferences in DBLP
A Bibliography of Willem-Paul de Roever. [Citation Graph (, )][DBLP]
Playing Savitch and Cooking Games. [Citation Graph (, )][DBLP]
Compositionality: Ontology and Mereology of Domains. [Citation Graph (, )][DBLP]
Computer Science and State Machines. [Citation Graph (, )][DBLP]
A Small Step for Mankind. [Citation Graph (, )][DBLP]
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. [Citation Graph (, )][DBLP]
Explicit Fair Scheduling for Dynamic Control. [Citation Graph (, )][DBLP]
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. [Citation Graph (, )][DBLP]
Reasoning about Recursive Processes in Shared-Variable Concurrency. [Citation Graph (, )][DBLP]
Formal Semantics of a VDM Extension for Distributed Embedded Systems. [Citation Graph (, )][DBLP]
A Proof System for a PGAS Language. [Citation Graph (, )][DBLP]
Concurrent Objects à la Carte. [Citation Graph (, )][DBLP]
On the Power of Play-Out for Scenario-Based Programs. [Citation Graph (, )][DBLP]
Proving the Refuted: Symbolic Model Checkers as Proof Generators. [Citation Graph (, )][DBLP]
Meanings of Model Checking. [Citation Graph (, )][DBLP]
Smaller Abstractions for FOR ALL CTL* without Next. [Citation Graph (, )][DBLP]
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. [Citation Graph (, )][DBLP]
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules. [Citation Graph (, )][DBLP]
Automated Proofs for Asymmetric Encryption. [Citation Graph (, )][DBLP]
Counterexample Guided Path Reduction for Static Program Analysis. [Citation Graph (, )][DBLP]
|
