VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Benveniste, Albert	Contracts for System Design
C
Clarke, Edmund M.	Model Checking Hybrid Systems
D
Dershowitz, Nachum	Towards a General Model of Evolving Interaction
F
Fisher, Jasmin	Cancer as Reactivity
G
Grumberg, Orna	Automated Abstraction-Refinement for the Verification of Behavioral UML Models
H
Henzinger, Thomas A.	Quantitative Reactive Modeling
Hoare, Tony	A Geometric Model for Concurrent Programming
K
Kugler, Hillel	On Statecharts, Scenarios and Biological Modeling
Kwiatkowska, Marta	Probabilistic model checking at the nanoscale: from molecular signalling to molecular walkers
M
Maoz, Shahar	A Short Story on Scenarios
S
Scott, Dana	Stochastic Lambda Calculus - An Appeal
V
Vardi, Moshe	Compositional Temporal Synthesis

Disclaimer | Powered by EasyChair Smart Program