×
Edit Profile (opens in new tab)

Potop-Butucaru, Dumitru

Co-Author Distance
Author ID: potop-butucaru.dumitru Recent zbMATH articles by "Potop-Butucaru, Dumitru"
Published as: Potop-Butucaru, Dumitru
Documents Indexed: 4 Publications since 2006
Co-Authors: 8 Co-Authors with 4 Joint Publications
146 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Caillaud, Benoît
2 de Simone, Robert
1 Benveniste, Albert
1 Carle, Thomas
1 Gorcitz, Raul
1 Kofman, Emilien
1 Sorel, Yves
1 Talpin, Jean-Pierre

Serials

2 Fundamenta Informaticae
1 Formal Methods in System Design

Fields

4 Computer science (68-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 12 times in 9 Documents Cited by ▼ Year ▼
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert
6
2006
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît
3
2007
From concurrent multi-clock programs to deterministic asynchronous implementations. Zbl 1245.68060
Potop-Butucaru, Dumitru; Sorel, Yves; de Simone, Robert; Talpin, Jean-Pierre
3
2011
From concurrent multi-clock programs to deterministic asynchronous implementations. Zbl 1245.68060
Potop-Butucaru, Dumitru; Sorel, Yves; de Simone, Robert; Talpin, Jean-Pierre
3
2011
Correct-by-construction asynchronous implementation of modular synchronous specifications. Zbl 1138.68469
Potop-Butucaru, Dumitru; Caillaud, Benoît
3
2007
Concurrency in synchronous systems. Zbl 1100.68004
Potop-Butucaru, Dumitru; Caillaud, Benoît; Benveniste, Albert
6
2006
all cited Publications top 5 cited Publications
all top 5

Cited by 23 Authors

2 Talpin, Jean-Pierre
1 Benveniste, Albert
1 Besnard, Loïc
1 Brandt, Jens
1 Broy, Manfred
1 Caillaud, Benoît
1 Carloni, Luca P.
1 Darondeau, Philippe
1 Gautier, Thierry
1 Gemünde, Mike
1 Jebali, Fatma
1 Lang, Frédéric
1 Le Guernic, Paul
1 Mateescu, Radu
1 Meseguer Guaita, José
1 Olveczky, Peter Csaba
1 Ouy, Julien
1 Potop-Butucaru, Dumitru
1 Ricker, Laurie
1 Robinson, Michael
1 Sangiovanni-Vincentelli, Alberto L.
1 Schneider, Klaus
1 Shukla, Sandeep Kumar

Cited in 4 Serials

2 Theoretical Computer Science
2 Formal Methods in System Design
1 Science of Computer Programming
1 Formal Aspects of Computing

Cited in 4 Fields

9 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year