You are here

2010

  1. Lei Bu; Alessandro Cimatti; Xuandong Li; Sergio Mover; Stefano Tonetta,
    Model Checking of Hybrid Systems using Shallow Synchronization,
    Proceedings of 30th IFIP Int. Conference on FORmal TEchniques for Networked and Distributed Systems, part of DisCoTec'10,
    vol.6117,
    2010
    , pp. 155-
    169
    , (FORTE 2010,
    Amsterdam, The Netherlands,
    07-10/06/2010)
  2. Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Marco Roveri; Stefano Soffia,
    Semi-Formal Functional Verification by EFSM traversing via NuSMV,
    Proceedings of the High Level Design Validation and Test Workshop,
    2010
    , pp. 58-
    65
    , (HLDVT 2010,
    Anaheim, CA,
    10-12/06/2010)
  3. Angelo Chiappini; Alessandro Cimatti; Luca Macchi; Oscar Rebollo; Marco Roveri; Angelo Susi; Stefano Tonetta; Berardino Vittorini,
    Formalization and validation of a subset of the European Train Control System,
    Proceedings of 32nd Int. Conference on Software Engineering,
    New York,
    vol.2,
    2010
    , pp. 109-
    118
    , (ICSE (2),
    Cape Town, South Africa,
    01-08/05/2010)
  4. Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri,
    Verifying SystemC: a Software Model Checking Approach,
    Proceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design,
    2010
    , pp. 51-
    60
    , (FMCAD 2010,
    Lugano, Switzerland,
    October, 20-23, 2010)
  5. Anders Franzen; Alessandro Cimatti; Alexander Nadel; Roberto Sebastiani; Jonathan Shalev,
    Applying SMT in Symbolic Execution of Microcode,
    Proceedings of 10th Int. Conference on Formal Methods in Computer-Aided Design,
    ACM Press, IEEE Press,
    2010
    , pp. 121-
    128
    , (FMCAD 2010,
    Lugano, Switzerland,
    20-23/10/2010)
  6. Matteo Ceriotti; M. Chini; Amy L. Murphy; Gian Pietro Picco; Francesca Cagnacci; B. Tolhurst,
    Motes in the Jungle: Lessons Learned from a Short-term WSN Deployment in the Ecuador Cloud Forest,
    2010
    , (RealWSN - 4th Workshop on Real-World Wireless Sensor Networks,
    Colombo, Sri Lanka,
    16-17/12/2010)
  7. Matteo Ceriotti; Amy L. Murphy,
    A MAC Contest between LPL (the Champion) and Reins-MAC (the Challenger, an Anarchic TDMA Scheduler Providing QoS) Demonstration,
    2010
    , (SENSYS - 8th ACM International Conference on Embedded Networked Sensor Systems,
    Zurich, Switzerland,
    03-05/11/2010)
  8. Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive,
    Formal Verification and Validation of AADL Model,
    2010
    , (ERTS² 2010 - Embedded Real Time Software and Systems,
    Toulouse, France,
    19-21/05/2010)
  9. Oleg Lisagor; Marco Bozzano; Matthias Bretschneider; Tim Kelly,
    Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results,
    2010
    , (ISSC10 - 28th International System Safety Conference,
    Minneapolis, Minnesota,
    30/08-03/09/2010)
  10. Thi Thieu Hoa Le; Luigi Palopoli; Roberto Passerone; Yusi Ramadian; Alessandro Cimatti,
    Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study,
    Proceedings of the 15th Int. Conference on Emerging Technologies and Factory Automation,
    2010
    , (ETFA10,
    Bilbao, Spain,
    13-16/09/2010)

Pages