default search action

combined dblp search
author search
venue search
publication search

ask others

Didier Vergamini

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1992
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/MadelaineV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/MadelaineV92
Eric Madelaine, Didier Vergamini:
Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS 1992: 613-614
1991
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/MadelaineV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MadelaineV91
Eric Madelaine, Didier Vergamini:
Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/MadelaineV91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MadelaineV91a
Eric Madelaine, Didier Vergamini:
Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510
1990
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/MadelaineV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MadelaineV90
Eric Madelaine, Didier Vergamini:
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV 1990: 353-363
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/MadelaineV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/MadelaineV90
Eric Madelaine, Didier Vergamini:
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (DIMACS/AMS volume) 1990: 275-292

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/avmfss/BoudolRSV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avmfss/BoudolRSV89
Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini:
Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems 1989: 1-10
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/MadelaineV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MadelaineV89
Eric Madelaine, Didier Vergamini:
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66
1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Vergamini88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Vergamini88
Didier Vergamini:
Verification of distributed systems: an experiment. Formal Properties of Finite Automata and Applications 1988: 249-259

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.