-
Thread algebra for poly-threading
International audience -
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and O...
It is desirable to integrate formal verification techniques applicable to different languages. We present EXP.OPEN 2.0, a new tool of the CADP verification toolbox... -
Translating Hardware Process Algebras into Standard Process Algebras : Illust...
A natural approach for the description of asynchronous hardware designs are hardware process algebras, such as Martin's CHP (Communicating Hardware Processes),... -
Behavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the... -
Formalisation and verification of the Chilean electronic invoice system
We present a case study describing the formal specification and verification of the Chilean electronic invoice system, which has been defined by the Chilean taxes... -
Reversible Communicating Systems
International audience -
A Synchronous Process Calculus for Service Costs
Article présenté au SEFM'05 -
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks
International audience -
Formal approaches for performability analysis of communicating systems : an a...
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a... -
Full abstraction for fair testing in CCS
20 pages. -
Reachability is decidable for ground AC Rewrite systems
Colloque sans acte à diffusion restreinte. -
Achieving Qualities During the Development of LOTOS Specifications
Colloque avec actes et comité de lecture. -
Etude d'un bus logiciel basé sur la réécriture
Stage de DEA. Rapport de stage.
