×
Edit Profile (opens in new tab)

Quilbeuf, Jean

Co-Author Distance
Author ID: quilbeuf.jean Recent zbMATH articles by "Quilbeuf, Jean"
Published as: Quilbeuf, Jean
Documents Indexed: 2 Publications since 2012
Co-Authors: 9 Co-Authors with 2 Joint Publications
330 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
1 Biondi, Fabrizio
1 Bonakdarpour, Borzoo
1 Bozga, Marius
1 Enescu, Michael A.
1 Heuser, Annelie
1 Jaber, Mohamad Y.
1 Legay, Axel
1 Meel, Kuldeep S.
1 Sifakis, Joseph

Serials

1 Distributed Computing

Fields

2 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

2 Publications have been cited 17 times in 14 Documents Cited by ▼ Year ▼
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
12
2012
Scalable approximation of quantitative information flow in programs. Zbl 1446.68027
Biondi, Fabrizio; Enescu, Michael A.; Heuser, Annelie; Legay, Axel; Meel, Kuldeep S.; Quilbeuf, Jean
5
2018
Scalable approximation of quantitative information flow in programs. Zbl 1446.68027
Biondi, Fabrizio; Enescu, Michael A.; Heuser, Annelie; Legay, Axel; Meel, Kuldeep S.; Quilbeuf, Jean
5
2018
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
12
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 37 Authors

3 Attie, Paul C.
3 Bozga, Marius
2 Bensalem, Saddek
2 Falcone, Yliès
2 Jaber, Mohamad Y.
2 Meel, Kuldeep S.
2 Sifakis, Joseph
1 Bechberger, Johannes
1 Ben-Hafaiedh, Imene
1 Bliudze, Simon
1 Bonakdarpour, Borzoo
1 Boreale, Michele
1 Chakraborty, Supratik
1 El-Hokayem, Antoine
1 Gorla, Daniele
1 Graf, Susanne
1 Guan, Yong
1 Hallal, Rayan
1 Kauers, Manuel
1 Khalil, Al-Abbass
1 Li, Xiaojuan
1 Liming, Luo
1 Lynch, Nancy Ann
1 Mazouz, Nejla
1 Möhle, Sibylle
1 Nazarpour, Hosein
1 Quilbeuf, Jean
1 Seidl, Martina
1 Shaver, Chris
1 Shrotri, Aditya A.
1 Shukla, Ankit
1 Tripakis, Stavros
1 Vardi, Moshe Ya’akov
1 Wang, Rui
1 Weigl, Alexander
1 Yang, Jiong
1 Zhang, Jie
all top 5

Cited in 7 Serials

1 Information and Computation
1 Formal Aspects of Computing
1 Distributed Computing
1 Formal Methods in System Design
1 Constraints
1 Journal of Applied Mathematics
1 Journal of Logical and Algebraic Methods in Programming

Cited in 1 Field

14 Computer science (68-XX)

Citations by Year