×
Author ID: bengtsson.johan Recent zbMATH articles by "Bengtsson, Johan"
Published as: Bengtsson, Johan
Documents Indexed: 6 Publications since 1989
Co-Authors: 10 Co-Authors with 3 Joint Publications
313 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 76 times in 74 Documents Cited by Year
Timed automata: Semantics, algorithms and tools. Zbl 1088.68119
Bengtsson, Johan; Yi, Wang
70
2004
Hybrid control of homogeneous charge compression ignition (HCCI) engine dynamics. Zbl 1162.76345
Bengtsson, J.; Strandh, P.; Johansson, R.; Tunestål, P.; Johansson, B.
5
2006
Automated verification of an audio-control protocol using UPPAAL. Zbl 1008.68009
Bengtsson, Johan; Griffioen, W. O. David; Kristoffersen, Kåre J.; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
4
2002
Hybrid modelling of homogeneous charge compression ignition (HCCI) engine dynamics – a survey. Zbl 1129.93307
Bengtsson, J.; Strandh, P.; Johansson, R.; Tunestål, P.; Johansson, B.
4
2007
UPPAAL – now, next, and future. Zbl 0985.68664
Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre
2
2001
Hybrid modelling of homogeneous charge compression ignition (HCCI) engine dynamics – a survey. Zbl 1129.93307
Bengtsson, J.; Strandh, P.; Johansson, R.; Tunestål, P.; Johansson, B.
4
2007
Hybrid control of homogeneous charge compression ignition (HCCI) engine dynamics. Zbl 1162.76345
Bengtsson, J.; Strandh, P.; Johansson, R.; Tunestål, P.; Johansson, B.
5
2006
Timed automata: Semantics, algorithms and tools. Zbl 1088.68119
Bengtsson, Johan; Yi, Wang
70
2004
Automated verification of an audio-control protocol using UPPAAL. Zbl 1008.68009
Bengtsson, Johan; Griffioen, W. O. David; Kristoffersen, Kåre J.; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
4
2002
UPPAAL – now, next, and future. Zbl 0985.68664
Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre
2
2001
all top 5

Cited by 166 Authors

6 André, Étienne
5 Markey, Nicolas
4 Bouyer, Patricia
4 Herbreteau, Frédéric
4 Larsen, Kim Guldstrand
4 Srivathsan, Balaguru
3 Gastin, Paul
3 Lime, Didier
3 Rossi, Matteo A. C.
3 Sankur, Ocan
3 Wimmer, Simon
2 Al-Bataineh, Omar
2 Aman, Bogdan
2 Bersani, Marcello Maria
2 Ciobanu, Gabriel
2 Fahrenberg, Uli
2 French, Tim
2 Furfaro, Angelo
2 Giese, Holger
2 Kölbl, Martin
2 Kwiatkowska, Marta Z.
2 Leue, Stefan
2 Maximova, Maria
2 Nigro, Libero
2 Pietro, Pierluigi San
2 Reynolds, Mark Alexander
2 Schneider, Sven
2 Sun, Jun
2 Walukiewicz, Igor
2 Yi, Wang
1 Aceto, Luca
1 Agrawal, Pranay
1 Akshay, S.
1 Aljazzar, Husain
1 Avni, Guy
1 Barbot, Benoît
1 Barnat, Jiří
1 Basset, Nicolas
1 Beneš, Nikola
1 Bezděk, Peter
1 Bockmayr, Alexander
1 Bodeveix, Jean-Paul
1 Bøgholm, Thomas
1 Bošnački, Dragan
1 Boucheneb, Hanifa
1 Bowman, Howard
1 Bulychev, Peter E.
1 Černá, Ivana
1 Chatain, Thomas
1 Cicirelli, Franco
1 Cleaveland, Rance
1 Colvin, Robert J.
1 Crestani, Didier
1 D’Argenio, Pedro Rubén
1 David, Alexandre
1 de Lara, Juan
1 Delahaye, Benoît
1 Dingel, Juergen
1 Dong, JinSong
1 Donzé, Alexandre
1 Dräger, Klaus
1 Du, Bowen
1 Edelkamp, Stefan
1 Falcone, Yliès
1 Fares, Elie
1 Fehnker, Ansgar
1 Ferrucci, Luca
1 Fersman, Elena
1 Fietzke, Arnaud
1 Filali, Mamoun
1 Fontana, Peter
1 Fournier, Paulin
1 Fradet, Pascal
1 Geeraerts, Gilles
1 Geist, Stephanie
1 Giannopoulou, Georgia
1 Godary-dejean, Karen
1 Gomez, Rodolfo
1 Gromov, Dmitry
1 Groote, Jan Friso
1 Grosen, Thomas Møller
1 Gruner, Stefan
1 Guha, Shibashis
1 Ha, Stéphane Hong Tuan
1 Hadjidj, Rachid
1 Hélouët, Loïc
1 Henry, Léo
1 Jéron, Thierry
1 Jovanović, Aleksandra Ž.
1 Kang, Eun-Young
1 Kauffman, Sean
1 Khoumsi, Ahmed
1 Krčál, Pavel
1 Kumar, K. Narayan
1 Kumar, Rajesh
1 Kupferman, Orna
1 Lampka, Kai
1 Laroussinie, François
1 Legay, Axel
1 Leth, Lone
...and 66 more Authors

Citations by Year