Edit Profile (opens in new tab) Halbwachs, Nicolas Co-Author Distance Author ID: halbwachs.nicolas Published as: Halbwachs, Nicolas; Halbwachs, N. External Links: MGP Documents Indexed: 21 Publications since 1986, including 1 Book 2 Contributions as Editor Co-Authors: 28 Co-Authors with 21 Joint Publications 560 Co-Co-Authors all top 5 Co-Authors 2 single-authored 3 Bouajjani, Ahmed 3 Fernandez, Jean-Claude 2 Boutonnet, Rémy 2 Caspi, Paul 2 Gonnord, Laure 2 Merchat, David 2 Ratel, Christophe 1 Alur, Rajeev 1 Baghdadi, Siwar 1 Besnard, Loïc 1 Bournai, Patricia 1 Courcoubetis, Costas A. 1 Gautier, Thierry 1 Henzinger, Thomas A. 1 Héry, J.-F. 1 Ho, Pei-Hsin 1 Lagnier, Fabienne 1 Laleuf, Jean-Claude 1 Lesens, David 1 Nadjm-Tehrani, Simin 1 Nicollin, Xavier 1 Parent-Vigouroux, Catherine 1 Peled, Doron A. 1 Péron, Mathias 1 Perrelle, Valentin 1 Pilaud, Daniel 1 Ressouche, Annie 1 Zuck, Lenore D. all top 5 Serials 2 Acta Informatica 2 Theoretical Computer Science 2 Science of Computer Programming 2 Formal Methods in System Design 2 Lecture Notes in Computer Science 1 RAIRO. Technique et Science Informatiques 1 The Kluwer International Series in Engineering and Computer Science all top 5 Fields 23 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Convex and discrete geometry (52-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 306 times in 287 Documents Cited by ▼ Year ▼ The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 195 1995 Synchronous programming of reactive systems. Zbl 0828.68038 Halbwachs, Nicolas 30 1993 Combining widening and acceleration in linear relation analysis. Zbl 1225.68071 Gonnord, Laure; Halbwachs, Nicolas 19 2006 Automatic verification of parameterized networks of processes. Zbl 0973.68145 Lesens, D.; Halbwachs, N.; Raymond, P. 15 2001 Minimal model generation. Zbl 0765.68114 Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N. 12 1991 Some ways to reduce the space dimension in polyhedra computations. Zbl 1105.68107 Halbwachs, N.; Merchat, D.; Gonnord, L. 10 2006 An experience in proving regular networks of processes by modular model checking. Zbl 0790.68071 Halbwachs, Nicolas; Lagnier, Fabienne; Ratel, Christophe 7 1992 Minimal state graph generation. Zbl 0769.68090 Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.; Raymond, P.; Ratel, C. 3 1992 A functional model for describing and reasoning about time behaviour of computing systems. Zbl 0559.68001 Caspi, Paul; Halbwachs, Nicolas 3 1986 Cartesian factoring of polyhedra in linear relation analysis. Zbl 1067.68579 Halbwachs, Nicolas; Merchat, David; Parent-Vigouroux, Catherine 2 2003 An abstract domain extending difference-bound matrices with disequality constraints. Zbl 1132.68464 Péron, Mathias; Halbwachs, Nicolas 2 2007 Disjunctive relational abstract interpretation for interprocedural program analysis. Zbl 1522.68146 Boutonnet, Rémy; Halbwachs, Nicolas 1 2019 Minimal model generation. Zbl 0786.68056 Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N. 1 1991 Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. Zbl 1425.68064 Boutonnet, Rémy; Halbwachs, Nicolas 1 2018 Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Zbl 0925.68015 1 1999 About synchronous programming and abstract interpretation. Zbl 0941.68008 Halbwachs, Nicolas 1 1998 Synchronous modelling of asynchronous systems. Zbl 1027.68815 Halbwachs, Nicolas; Baghdadi, Siwar 1 2002 An analysis of permutations in arrays. Zbl 1273.68093 Perrelle, Valentin; Halbwachs, Nicolas 1 2010 From a synchronous declarative language to a temporal logic dealing with multiform time. Zbl 0688.68022 Pilaud, Daniel; Halbwachs, Nicolas 1 1988 Disjunctive relational abstract interpretation for interprocedural program analysis. Zbl 1522.68146 Boutonnet, Rémy; Halbwachs, Nicolas 1 2019 Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. Zbl 1425.68064 Boutonnet, Rémy; Halbwachs, Nicolas 1 2018 An analysis of permutations in arrays. Zbl 1273.68093 Perrelle, Valentin; Halbwachs, Nicolas 1 2010 An abstract domain extending difference-bound matrices with disequality constraints. Zbl 1132.68464 Péron, Mathias; Halbwachs, Nicolas 2 2007 Combining widening and acceleration in linear relation analysis. Zbl 1225.68071 Gonnord, Laure; Halbwachs, Nicolas 19 2006 Some ways to reduce the space dimension in polyhedra computations. Zbl 1105.68107 Halbwachs, N.; Merchat, D.; Gonnord, L. 10 2006 Cartesian factoring of polyhedra in linear relation analysis. Zbl 1067.68579 Halbwachs, Nicolas; Merchat, David; Parent-Vigouroux, Catherine 2 2003 Synchronous modelling of asynchronous systems. Zbl 1027.68815 Halbwachs, Nicolas; Baghdadi, Siwar 1 2002 Automatic verification of parameterized networks of processes. Zbl 0973.68145 Lesens, D.; Halbwachs, N.; Raymond, P. 15 2001 Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Zbl 0925.68015 1 1999 About synchronous programming and abstract interpretation. Zbl 0941.68008 Halbwachs, Nicolas 1 1998 The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 195 1995 Synchronous programming of reactive systems. Zbl 0828.68038 Halbwachs, Nicolas 30 1993 An experience in proving regular networks of processes by modular model checking. Zbl 0790.68071 Halbwachs, Nicolas; Lagnier, Fabienne; Ratel, Christophe 7 1992 Minimal state graph generation. Zbl 0769.68090 Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.; Raymond, P.; Ratel, C. 3 1992 Minimal model generation. Zbl 0765.68114 Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N. 12 1991 Minimal model generation. Zbl 0786.68056 Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N. 1 1991 From a synchronous declarative language to a temporal logic dealing with multiform time. Zbl 0688.68022 Pilaud, Daniel; Halbwachs, Nicolas 1 1988 A functional model for describing and reasoning about time behaviour of computing systems. Zbl 0559.68001 Caspi, Paul; Halbwachs, Nicolas 3 1986 all cited Publications top 5 cited Publications all top 5 Cited by 579 Authors 8 Henzinger, Thomas A. 7 Zhan, Naijun 6 Alur, Rajeev 5 Brihaye, Thomas 5 Maler, Oded 5 Pappas, George J. 5 Piazza, Carla 5 Pnueli, Amir 5 Policriti, Alberto 5 Ramdani, Nacim 5 Schrammel, Peter 4 Asarin, Eugene 4 Benveniste, Albert 4 Bouissou, Olivier 4 Bouyer, Patricia 4 Grosu, Radu 4 Halbwachs, Nicolas 4 Kopke, Peter W. 4 Prabhakar, Pavithra 4 Vázquez, Carlos-Renato 4 Viswanathan, Mahesh 4 Yovine, Sergio 4 Zaffanella, Enea 3 Bérard, Béatrice 3 Blondel, Vincent D. 3 Bouajjani, Ahmed 3 Bournez, Olivier 3 Caillaud, Benoît 3 Dang, Thao 3 Girard, Antoine 3 Gómez-Gutiérrez, David 3 Haddad, Serge 3 Katoen, Joost-Pieter 3 Kavraki, Lydia E. 3 Kröning, Daniel 3 Kupferman, Orna 3 Lang, Frédéric 3 Larsen, Kim Guldstrand 3 Legay, Axel 3 Li, Xuandong 3 Lime, Didier 3 Lin, Wang 3 Meo, Maria Chiara 3 Roux, Olivier H. 3 Santone, Antonella 3 Sifakis, Joseph 3 Tini, Simone 3 Tripakis, Stavros 3 Tsitsiklis, John N. 3 Xia, Bican 3 Xue, Bai 3 Yang, Zhengfeng 2 Abate, Alessandro 2 Aguado, Joaquin 2 Amato, Gianluca 2 Avni, Guy 2 Barbosa, Luís Soares 2 Bensalem, Saddek 2 Bergstra, Jan A. 2 Bu, Lei 2 Candau, Yves 2 Casagrande, Alberto 2 Cattaruzza, Dario 2 Chapoutot, Alexandre 2 Chen, Mingshuai 2 Dams, Dennis René 2 Davoren, Jennifer M. 2 de Alfaro, Luca 2 Di Benedetto, Maria Domenica 2 Di Nardo Di Maio, Simone 2 D’Innocenzo, Alessandro 2 Dovier, Agostino 2 Duggirala, Parasara Sridhar 2 Dullerud, Geir E. 2 Fahrenberg, Uli 2 Fersman, Elena 2 Frehse, Goran 2 Frohn, Florian 2 Gan, Ting 2 Garavel, Hubert 2 Gradara, Sara 2 Guha, Shibashis 2 Hahn, Ernst Moritz 2 He, Anping 2 Hermanns, Holger 2 Ivančić, Franjo 2 Jeannet, Bertrand 2 Johansson, Karl Henrik 2 Julius, A. Agung 2 Jungers, Raphaël M. 2 Kapur, Arjun 2 Kesten, Yonit 2 King, Andy 2 Koiran, Pascal 2 Krob, Daniel 2 Lakhnech, Yassine 2 Le Guernic, Paul 2 Lee, Edward Ashford 2 Lee, Insup 2 Legat, Benoît ...and 479 more Authors all top 5 Cited in 55 Serials 35 Theoretical Computer Science 17 Information and Computation 17 Formal Methods in System Design 12 Nonlinear Analysis. Hybrid Systems 8 Discrete Event Dynamic Systems 7 Journal of Computer and System Sciences 7 The Journal of Logic and Algebraic Programming 6 Acta Informatica 5 Automatica 5 Formal Aspects of Computing 4 International Journal of Control 4 Journal of Symbolic Computation 4 International Journal of Robust and Nonlinear Control 4 European Journal of Control 3 Real-Time Systems 3 Higher-Order and Symbolic Computation 3 Journal of Logical and Algebraic Methods in Programming 2 International Journal of General Systems 2 International Journal of Systems Science 2 Applied Mathematics and Computation 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Annals of Pure and Applied Logic 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Applied Mathematics 2 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 International Journal of Theoretical Physics 1 Journal of Statistical Physics 1 Software. Practice & Experience 1 Systems & Control Letters 1 Science of Computer Programming 1 Physica D 1 Journal of Complexity 1 Journal of Computer Science and Technology 1 International Journal of Parallel Programming 1 Journal of Automated Reasoning 1 Mathematical and Computer Modelling 1 Distributed Computing 1 The Bulletin of Symbolic Logic 1 Computer Science Journal of Moldova 1 Mathematical Problems in Engineering 1 Parallel Algorithms and Applications 1 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Systems Science and Complexity 1 Theory and Practice of Logic Programming 1 Sādhanā 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science 1 Science China. Information Sciences 1 Numerical Algebra, Control and Optimization 1 Frontiers of Computer Science in China 1 Computer Science Review all top 5 Cited in 25 Fields 234 Computer science (68-XX) 84 Systems theory; control (93-XX) 28 Mathematical logic and foundations (03-XX) 16 Operations research, mathematical programming (90-XX) 12 Numerical analysis (65-XX) 8 Ordinary differential equations (34-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Biology and other natural sciences (92-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 General topology (54-XX) 2 Probability theory and stochastic processes (60-XX) 2 Mechanics of particles and systems (70-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Approximations and expansions (41-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year