×

zbMATH — the first resource for mathematics

Passerone, Roberto

Compute Distance To:
Author ID: passerone.roberto Recent zbMATH articles by "Passerone, Roberto"
Published as: Passerone, Roberto
External Links: ORCID
Documents Indexed: 12 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 44 times in 37 Documents Cited by Year
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
18
2011
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
9
2008
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
8
2012
Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). Zbl 1107.68385
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
6
2006
Using multiple levels of abstractions in embedded software design. Zbl 1050.68521
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.
2
2001
Languages and tools for hybrid systems design. Zbl 1143.68346
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
1
2006
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
8
2012
A modal interface theory for component-based design. Zbl 1242.68147
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto
18
2011
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
9
2008
Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). Zbl 1107.68385
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
6
2006
Languages and tools for hybrid systems design. Zbl 1143.68346
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
1
2006
Using multiple levels of abstractions in embedded software design. Zbl 1050.68521
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.
2
2001
all top 5

Cited by 86 Authors

4 Lüttgen, Gerald
3 Caillaud, Benoît
3 Fendrich, Sascha
3 Legay, Axel
3 Vogler, Walter
2 Bauer, Sebastian S.
2 Benveniste, Albert
2 Bourke, Timothy
2 Bujtor, Ferenc
2 Cavalcanti, Ana
2 Cimatti, Alessandro
2 Fahrenberg, Uli
2 Foster, Simon
2 Fribourg, Laurent
2 Hennicker, Rolf
2 Jonsson, Bengt
2 Le Coënt, Adrien
2 Pappas, George J.
2 Passerone, Roberto
2 Pouzet, Marc
2 Sangiovanni-Vincentelli, Alberto L.
2 Skobelev, Vladimir G.
2 Tonetta, Stefano
2 Wirsing, Martin
2 Woodcock, James C. P.
1 Banda, Gourinath
1 Basten, Twan
1 Beneš, Nikola
1 Bodeveix, Jean-Paul
1 Bozzelli, Laura
1 Broy, Manfred
1 Burch, Jerry R.
1 Canham, Samuel
1 Chamoin, Ludovic
1 Chapoutot, Alexandre
1 Chilton, Chris
1 Damm, Werner
1 de Jong, Rob
1 de Simone, Robert
1 De Vuyst, Florian
1 Delahaye, Benoît
1 Demasi, Ramiro
1 Dingel, Juergen
1 Doyen, Laurent
1 Fares, Elie
1 Filali, Mamoun
1 Frehse, Goran
1 French, Tim
1 Gallagher, John P.
1 Geilen, Marc
1 Goossens, Kees G. W.
1 Haghverdi, Esfandiar
1 Hales, James
1 Hendriks, Martijn
1 Holík, Lukáš
1 Isberner, Malte
1 Knapp, Alexander
1 Kowal, Matthias
1 Křetínský, Jan
1 Kwiatkowska, Marta Z.
1 Larsen, Kim Guldstrand
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Letychevs’kyĭ, Oleksandr Oleksandrovych
1 Lochau, Malte
1 Markey, Nicolas
1 Millo, Jean-Vivien
1 Møller, Mikael Harkjær
1 Nyberg, Mattias
1 Pagano, Bruno
1 Peldszus, Sven
1 Pinchinat, Sophie
1 Platzer, André
1 Roveri, Marco
1 Rudie, Karen
1 Sandretto, Julien Alexandre Dit
1 Schaefer, Ina
1 Schroeder, Andreas
1 Sickert, Salomon
1 Srba, Jiří
1 Tabuada, Paulo
1 van Ditmarsch, Hans Pieter
1 Volkov, V. A.
1 Waez, Md Tawhid Bin
1 Westman, Jonas
1 Ye, Kangfeng
1 Zeyda, Frank

Citations by Year