×
Author ID: halbwachs.nicolas Recent zbMATH articles by "Halbwachs, Nicolas"
Published as: Halbwachs, Nicolas; Halbwachs, N.
External Links: MGP

Publications by Year

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 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

Citations by Year