default search action

combined dblp search
author search
venue search
publication search

ask others

Sébastien Bornot

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

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

2002
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BornotMNZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BornotMNZ02
Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou:
Black Box Unfolding with Local First Search. TACAS 2002: 386-400
2000
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BornotS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BornotS00
Sébastien Bornot, Joseph Sifakis:
An Algebraic Framework for Urgency. Inf. Comput. 163(1): 172-202 (2000)
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/BornotHL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/BornotHL00
Sébastien Bornot, Ralf Huuck, Ben Lukoschus:
Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/BornotHL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/BornotHL00
Sébastien Bornot, Ralf Huuck, Ben Lukoschus:
Verification of Sequential Function Charts Using SMV. PDPTA 2000
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BornotGS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BornotGS00
Sébastien Bornot, Gregor Gößler, Joseph Sifakis:
On the Construction of Live Timed Systems. TACAS 2000: 109-126

1990 – 1999

see FAQ

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

1998
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Bornot98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Bornot98
Sébastien Bornot:
De la composition de systèmes temporisés. (On the Composition of Timed Systems). Joseph Fourier University, Grenoble, France, 1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BornotS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BornotS98
Sébastien Bornot, Joseph Sifakis:
On the Composition of Hybrid Systems. HSCC 1998: 49-63
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/compos/BornotST97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compos/BornotST97
Sébastien Bornot, Joseph Sifakis, Stavros Tripakis:
Modeling Urgency in Timed Systems. COMPOS 1997: 103-129
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BornotS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BornotS97
Sébastien Bornot, Joseph Sifakis:
Relating Time Progress and Deadlines in Hybrid Systems. HART 1997: 286-300

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.