You are here

2009

  1. Alessandro Cimatti; Jori Juhani Dubrovin; Tommi Antero Junttila; Marco Roveri,
    Proceedings of the Formal Methods in Computer Aided Design,
    2009
    , pp. 9-
    16
    , (FMCAD 2009,
    AUSTIN, TX, USA,
    15/11/2009 - 18/11/2009)
  2. Dirk Beyer; Alessandro Cimatti; Alberto Griggio; Erkan Keremoglu; Roberto Sebastiani,
    Software Model Checking via Large-Block Encoding,
    Proceedings of the 9th Conference on Formal Methods in Computer Aided Design,
    2009
    , (FMCAD`2009,
    AUSTIN, TX, USA,
    15/11/2009 - 18/11/2009)
  3. Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
    , (ASE 2009,
    Auckland, New Zealand,
    16/11/2009 - 20/11/2009)
  4. Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
    Loopfrog: A Static Analyzer for ANSI-C Programs,
    Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering,
    Washington, DC,
    IEEE Computer Society,
    2009
    , pp. 668-
    670
    , (ASE '09,
    Auckland, New Zealand,
    16-20/11/2009)
  5. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev,
    Workshop on Verification and Validation of Planning and Scheduling Systems,
    2009
    , pp. 1-
    10
    , (VV&PS 2009 - ICAPS,
    Thessaloniki, Greece,
    20/09/2009)
  6. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
    The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems,
    Proceedings of 28th Int. International Conference on Computer Safety, Reliability and Security,
    Springer,
    vol.5775,
    2009
    , pp. 173-
    186
    , (SAFECOMP 2009,
    Hamburg, Germany,
    15-18/09/2009)
  7. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll,
    Verification and performance evaluation of AADL models,
    Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering,
    New York,
    ACM,
    2009
    , pp. 285-
    286
    , (ESEC/FSE 2009,
    Amsterdam, The Netherlands,
    24-28/08/2009)
  8. Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri,
    Proceedings 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems,
    CEUR-WS.org,
    vol.507,
    2009
    , pp. 87-
    91
    , (ACESMB09,
    Denver, Colorado, USA,
    06/10/2009)
  9. Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll,
    Codesign of Dependable Systems: A Component-Based Modeling Language,
    Proceedings of the 7th IEEE/ACM Int. Conference on Formal Methods and Models for Codesign,
    Piscataway, NJ,
    2009
    , pp. 121-
    130
    , (MEMOCODE'09,
    Cambridge, Massachusetts, USA,
    13-15/07/2009)
  10. Ceriotti, Matteo; Doriguzzi Corin, Roberto; Guna, Stefan; Lo Cigno, Renato; Mottola, Luca; Murphy, Amy L.; Nardelli, Matteo; Picco, Gian Pietro; Torghele, Carloalberto,
    Adaptive Lighting in Road Tunnels Using Wireless Sensor Networks,
    Proc. 1st European TinyOS Technology Exchange (ETTX09),
    2009
    , (1st European TinyOS Technology Exchange (ETTX09),

Pages