Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige


    Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

    Paris, France, 1 - 2 July 2010

    Follow the appropriate links below to access the papers in this conference.

    Deadlock Avoidance, Non-Linearity and Games
    Raymond Devillers

    Simulation + Uncertainty = Model Checking
    Laurent Fribourg

    Building Closed-loop Models for Discrete Controller Design
    Hans-Michael Hanisch

    A Decentralized Supervisory Control Approach for Distributed Adaptive Systems
    Mohammed-Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenael Delaval, Eric Rutten and Moez Yeddes

    Integrating PFairness within a Model Based Scheduling Tool
    Annie Choquet-Geniet, Galle Skapin-Largeteau and Abdoulaye Ouattara

    A Tile Logic Based Semantics for Mobile Software Architectures
    Chafia Bouanaka, Faiza Belala and Kamel Barkaoui

    Formalization of Cyclic Scheduling Problems with Assembly Tasks and Work-in-Progress Minimization
    Mohammed Amin Ben Amar, Hervé Camus and Ouajdi Korbaa

    Using Timed Colored Petri Nets and CPN-tool to Model and Verify TRBAC Security Policies
    Laïd Kadloul, Karim Djouani and Walid Tfaili

    SBMC: Symmetric Bounded Model Checking
    Brahim Nasraoui, Syrine Ayadi and Riadh Robbana

    Formal Verification of Authentication-Type Properties of an Electronic Voting Protocol Using mCRL2
    Hamid Reza Mahrooghi, Mohammad Hashem Haghighat and Rasool Jalili

    AMLCC: Adaptive Multi-Layer Connected Chains Mechanism for Multicast Sender Authentication of Media-Streaming
    Hamdi Eltaief and Habib Youssef

    Steady-State Property Verification: a Comparison Study
    Diana El Rabih, Gaël Gorgo, Nihal Pekergin and Jean-Marc Vincent