Edit Profile (opens in new tab) Bengtsson, Johan Co-Author Distance Author ID: 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 all top 5 Co-Authors 0 single-authored 2 Johansson, Rolf 2 Strandh, P. 2 Tunestål, Per 2 Yi, Wang 1 Amnell, Tobias 1 Autin, B. 1 Behrmann, Gerd 1 D’Argenio, Pedro Rubén 1 David, Alexandre 1 Griffioen, W. O. David 1 Kristoffersen, Kåre J. 1 Larsen, Kim Guldstrand 1 Larsson, Fredrik 1 Pettersson, Paul Serials 2 International Journal of Control 1 Journal of Symbolic Computation 1 The Journal of Logic and Algebraic Programming Fields 4 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 17 Serials 11 Theoretical Computer Science 6 Real-Time Systems 5 Information and Computation 5 Formal Aspects of Computing 4 Formal Methods in System Design 3 Acta Informatica 3 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Discrete Event Dynamic Systems 1 ACM Computing Surveys 1 Information Processing Letters 1 Applied Mathematics and Computation 1 Science of Computer Programming 1 The Journal of Logic and Algebraic Programming 1 Natural Computing 1 Mathematics in Computer Science 1 Computer Science Review all top 5 Cited in 6 Fields 72 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Systems theory; control (93-XX) 3 Biology and other natural sciences (92-XX) 2 Operations research, mathematical programming (90-XX) Citations by Year