Main.Publications History

Hide minor edits - Show changes to output - Cancel

May 31, 2013, at 11:11 PM by 151.62.4.169 -
May 31, 2013, at 11:11 PM by 151.62.4.169 -
Added line 5:
* Software Model Checking [=SystemC=], by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Transaction of Computer Aided Design 2013. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tcad2012.pdf|PDF]])
Deleted line 6:
* Software Model Checking [=SystemC=], by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Transaction of Computer Aided Design 2012. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tcad2012.pdf|PDF]])
May 31, 2013, at 11:11 PM by 151.62.4.169 -
Changed line 6 from:
* Software Model Checking [=SystemC=], by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Transaction of Computer Aided Design 2012, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tcad2012.pdf|PDF]])
to:
* Software Model Checking [=SystemC=], by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Transaction of Computer Aided Design 2012. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tcad2012.pdf|PDF]])
December 04, 2012, at 02:28 PM by Iman Narasamdya -
Changed line 15 from:
     '''+This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011+'''.
to:
     ''''+This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011+''''.
December 04, 2012, at 02:27 PM by Iman Narasamdya -
Changed line 5 from:
* Software Model Checking with Explicit Scheduler and Symbolic Threads, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Journal of Logical Methods in Computer Science 2012.([[https://es.fbk.eu/tools/kratos/kratosdoc/jlmcs2012.pdf|PDF]])
to:
* Software Model Checking with Explicit Scheduler and Symbolic Threads, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Journal of Logical Methods in Computer Science 2012. ([[https://es.fbk.eu/tools/kratos/kratosdoc/jlmcs2012.pdf|PDF]])
December 04, 2012, at 02:27 PM by Iman Narasamdya - Added new publications
Changed lines 5-7 from:
* Software Model Checking with Explicit Scheduler and Symbolic Threads, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Journal of Logical Methods in Computer Science 2012, to appear ([[https://es.fbk.eu/tools/kratos/kratosdoc/jlmcs2012.pdf|PDF]])

to:
* Software Model Checking with Explicit Scheduler and Symbolic Threads, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Journal of Logical Methods in Computer Science 2012.([[https://es.fbk.eu/tools/kratos/kratosdoc/jlmcs2012.pdf|PDF]])
* Software Model Checking [=SystemC=], by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Transaction of Computer Aided Design 2012, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tcad2012
.pdf|PDF]])

Changed lines 10-11 from:
* Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System, by ''A. Cimatti'', ''R. Corvino'', ''A. Lazzaro'', ''I. Narasamdya'', ''T. Rizzo'', ''M. Roveri'', ''A. Sanseviero'', and ''A. Tchaltsev''. CAV 2012, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cav2012.pdf|PDF]])
to:
* Verifying Parametric System Designs, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2012. ([[https://es.fbk.eu/tools/kratos/kratosdoc/fmcad2012.pdf|PDF]])
* Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System, by ''A. Cimatti'', ''R. Corvino'', ''A. Lazzaro'', ''I. Narasamdya'', ''T. Rizzo'', ''M. Roveri'', ''A. Sanseviero'', and ''A. Tchaltsev''. In proc. CAV 2012
. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cav2012.pdf|PDF]])
Changed line 15 from:
     ''''+This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011+''''.
to:
     '''+This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011+'''.
July 04, 2012, at 02:47 PM by 192.168.156.40 -
Added lines 4-7:
!!!Journal Papers
* Software Model Checking with Explicit Scheduler and Symbolic Threads, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Journal of Logical Methods in Computer Science 2012, to appear ([[https://es.fbk.eu/tools/kratos/kratosdoc/jlmcs2012.pdf|PDF]])

Changed lines 9-10 from:

* Verifying [= SystemC =]: a Software Model Checking Approach, by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/kratosdoc/fmcad2010.pdf|PDF]])
to:
* Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System, by ''A. Cimatti'', ''R. Corvino'', ''A. Lazzaro'', ''I. Narasamdya'', ''T. Rizzo'', ''M. Roveri'', ''A. Sanseviero'', and ''A. Tchaltsev''. CAV 2012, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cav2012.pdf|PDF]])
* An Analytic Evaluation of [= SystemC =] Encodings in Promela, by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. SPIN 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/spin2011.pdf|PDF]])
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. CAV 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cav2011
.pdf|PDF]])
Changed lines 14-15 from:
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. CAV 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cav2011.pdf|PDF]])
* An Analytic Evaluation of [= SystemC =] Encodings in Promela, by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. SPIN 2011. ([[https://es.fbk.eu/tools/kratos/downloads/spin2011
.pdf|PDF]])
to:
* Verifying [= SystemC =]: a Software Model Checking Approach, by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/kratosdoc/fmcad2010.pdf|PDF]])
October 26, 2011, at 04:28 PM by 192.168.156.40 -
Changed line 8 from:
     '''This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011'''.
to:
     ''''+This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011+''''.
October 26, 2011, at 04:27 PM by 192.168.156.40 -
Changed line 8 from:
'''Won EASST Award as Best Software Science paper at ETAPS 2011'''.
to:
    '''This paper won the EASST (European Association of Software Science and Technology) Award as Best Software Science paper at ETAPS 2011'''.
October 26, 2011, at 04:22 PM by 192.168.156.40 -
Changed lines 7-8 from:
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. TACAS 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tacas2011.pdf|PDF]]) -- '''Won EASST Award as Best Software Science paper at ETAPS 2011'''.
to:
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. TACAS 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tacas2011.pdf|PDF]])
'''Won EASST Award as Best Software Science paper at ETAPS 2011'''.
October 26, 2011, at 04:22 PM by 192.168.156.40 -
Changed lines 7-9 from:
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. TACAS 2011, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tacas2011.pdf|PDF]])
(:comment * Formal Bug Finding for [= SystemC =], by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication.([[https://es.fbk.eu/tools/kratos/downloads/formalbug.pdf|PDF]]) :)
* Kratos -- A Software Model Checker for [= SystemC =], by ''A
. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. CAV 2011, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cavtoolpaper.pdf|PDF]])
to:
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. TACAS 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tacas2011.pdf|PDF]]) -- '''Won EASST Award as Best Software Science paper at ETAPS 2011'''.
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. CAV 2011. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cav2011.pdf|PDF]])
* An Analytic Evaluation of [= SystemC =] Encodings in Promela
, by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. In proc. SPIN 2011. ([[https://es.fbk.eu/tools/kratos/downloads/spin2011.pdf|PDF]])
Changed line 9 from:
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cavtoolpaper.pdf|PDF]])
to:
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. CAV 2011, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cavtoolpaper.pdf|PDF]])
Changed lines 6-7 from:
* Verifying [= SystemC =]: a Software Model Checking Approach, by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/downloads/fmcad2010.pdf|PDF]])
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. TACAS 2011, to appear. ([[https://es.fbk.eu/tools/kratos/downloads/tacas2011.pdf|PDF]])
to:
* Verifying [= SystemC =]: a Software Model Checking Approach, by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/kratosdoc/fmcad2010.pdf|PDF]])
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. TACAS 2011, to appear. ([[https://es.fbk.eu/tools/kratos/kratosdoc/tacas2011.pdf|PDF]])
Changed line 9 from:
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. ([[https://es.fbk.eu/tools/kratos/downloads/toolpaper.pdf|PDF]])
to:
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. ([[https://es.fbk.eu/tools/kratos/kratosdoc/cavtoolpaper.pdf|PDF]])
Changed line 4 from:
!!Conference Papers
to:
!!!Conference Papers
Changed line 8 from:
(:comment * Formal Bug Finding for [= SystemC =], by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. :)([[https://es.fbk.eu/tools/kratos/downloads/formalbug.pdf|PDF]])
to:
(:comment * Formal Bug Finding for [= SystemC =], by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication.([[https://es.fbk.eu/tools/kratos/downloads/formalbug.pdf|PDF]]) :)
Changed line 8 from:
* Formal Bug Finding for [= SystemC =], by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. ([[https://es.fbk.eu/tools/kratos/downloads/formalbug.pdf|PDF]])
to:
(:comment * Formal Bug Finding for [= SystemC =], by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. :)([[https://es.fbk.eu/tools/kratos/downloads/formalbug.pdf|PDF]])
Added lines 1-3:
(:Title Publications :)
(:Description Kratos' Publication Section :)

January 19, 2011, at 02:26 PM by Iman Narasamdya -
Changed lines 3-6 from:
* '''Verifying [= SystemC =]: a Software Model Checking Approach''', by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/downloads/fmcad2010|PDF]])
to:
* Verifying [= SystemC =]: a Software Model Checking Approach, by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/downloads/fmcad2010.pdf|PDF]])
* Boosting Lazy Abstraction for [= SystemC =] with Partial Order Reduction, by ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. TACAS 2011, to appear. ([[https://es.fbk.eu/tools/kratos/downloads/tacas2011.pdf|PDF]])
* Formal Bug Finding for [= SystemC =], by ''D. Campana'', ''A. Cimatti'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. ([[https://es.fbk.eu/tools/kratos/downloads/formalbug.pdf|PDF]])
* Kratos -- A Software Model Checker for [= SystemC =], by ''A. Cimatti'', ''A. Griggio'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. Submitted for publication. ([[https://es.fbk.eu/tools/kratos/downloads/toolpaper.pdf
|PDF]])
January 19, 2011, at 02:21 PM by Iman Narasamdya -
Changed line 3 from:
* Verifying [= SystemC =]: a Software Model Checking Approach, by A. Cimatti, A. Micheli, I. Narasamdya, M. Roveri. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/downloads/fmcad2010|PDF]])
to:
* '''Verifying [= SystemC =]: a Software Model Checking Approach''', by ''A. Cimatti'', ''A. Micheli'', ''I. Narasamdya'', and ''M. Roveri''. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/downloads/fmcad2010|PDF]])
January 19, 2011, at 02:19 PM by Iman Narasamdya -
Added lines 1-3:
!!Conference Papers

* Verifying [= SystemC =]: a Software Model Checking Approach, by A. Cimatti, A. Micheli, I. Narasamdya, M. Roveri. In proc. FMCAD 2010. ([[https://es.fbk.eu/tools/kratos/downloads/fmcad2010|PDF]])


Page last modified on May 31, 2013, at 11:11 PM