TACAS - Tools and Algorithms for Construction and Analysis of Systems

Subscribe

Academic

TACAS - Tools and Algorithms for Construction and Analysis of Systems

TACAS - Tools and Algorithms for Construction and Analysis of Systems

Publications: 671| Citation Count: 14,627 (Self-Citation: 504) |H-Index: 56
Year Range: 1995-2011

Interests: Software Engineering

Paper submissions due: 14 October 2011, Duration: 24 March - 1 April 2012, Tallinn, Estonia

Homepage |

CFP

Cumulative Annual

Order by:

Publications (671)

Quantitative Multi-objective Verification for Probabilistic Systems (Citations: 5)

Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Conference: Tools and Algorithms for Construction and Analysis of Systems - TACAS , pp. 112-127, 2011
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Citations: 2)

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Conference: Tools and Algorithms for Construction and Analysis of Systems - TACAS , pp. 372-387, 2011
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Citations: 2)

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

Conference: Tools and Algorithms for Construction and Analysis of Systems - TACAS , pp. 96-111, 2011
Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Citations: 2)

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Conference: Tools and Algorithms for Construction and Analysis of Systems - TACAS , pp. 341-356, 2011
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (Citations: 2)

Jacob Burnim, Koushik Sen, Christos Stergiou

Conference: Tools and Algorithms for Construction and Analysis of Systems - TACAS , pp. 11-25, 2011