Eric Madelaine - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2010

Unifying Architectural and Behavioural Specifications of Distributed ComponentsAntonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela. ENTCS, 260:25-45, 2010. [doi]

Transparent First-class Futures and Distributed ComponentsAntonio Cansado, Ludovic Henrio, Eric Madelaine. ENTCS, 260:155-171, 2010. [doi]

2009

Behavioural models for distributed Fractal componentsTomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine. adt, 64(1-2):25-43, 2009. [doi]

2008

Specification and Verification for Grid Component-Based Applications: From Models to ToolsAntonio Cansado, Eric Madelaine. FMCO 2009: 180-203 [doi]

PrefaceMarkus Lumpe, Eric Madelaine. ENTCS, 215:1-3, 2008. [doi]

2007

2006

Verification of Distributed Hierarchical ComponentsTomás Barros, Ludovic Henrio, Eric Madelaine. ENTCS, 160:41-55, 2006. [doi]

2005

Behavioural Models for Hierarchical ComponentsTomás Barros, Ludovic Henrio, Eric Madelaine. spin 2005: 154-168 [doi]

2004

Parameterized Specification and Verification of the Chilean Electronic Invoices SystemIsabelle Attali, Tomás Barros, Eric Madelaine. sccc 2004: 14-25 [doi]

Parameterized Models for Distributed Java ObjectsTomás Barros, Rabéa Boulifa, Eric Madelaine. forte 2004: 43-60 [doi]

2003

Model Generation for Distributed Java ProgramsRabéa Boulifa, Eric Madelaine. fidji 2004: 139-152 [doi]

1995

A Front-End Generator for Verification ToolsRance Cleaveland, Eric Madelaine, Steve Sims. TACAS 1995: 153-173

1992

Verification of Communicating Processes by Means of Automata Reduction and AbstractionEric Madelaine, Didier Vergamini. STACS 1992: 613-614

1991

Specification and Verification of a Sliding Window Protocol in LOTOSEric Madelaine, Didier Vergamini. forte 1992: 495-510

Tool Demonstration: Tools for Process AlgebrasEric Madelaine, Didier Vergamini. forte 1992: 463-466

1990

Finiteness Conditions and Structural Construction of Automata for All Process AlgebrasEric Madelaine, Didier Vergamini. cav 1991: 353-363

1989

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata NetworksEric Madelaine, Didier Vergamini. forte 1990: 61-66

1984

Un système d aide à la preuve de compilateursEric Madelaine. programm 1984: 191-205

Sign in or sign up to see more results.

runs on WebDSL