Nicolas Halbwachs

Available identifiers

zbMath Open halbwachs.nicolasDBLP01/680WikidataQ3340394 ScholiaQ3340394MaRDI QIDQ1323366

List of research outcomes

Publication	Date of Publication	Type
Disjunctive relational abstract interpretation for interprocedural program analysis	2020-01-23	Paper
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence	2018-11-15	Paper
An Analysis of Permutations in Arrays	2010-01-14	Paper
Combining Widening and Acceleration in Linear Relation Analysis	2009-03-12	Paper
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints	2008-04-04	Paper
Some ways to reduce the space dimension in polyhedra computations	2006-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4813408	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4439584	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766623	2002-06-17	Paper
Design of a multi-formalism application and distribution in a data-flow context: An example	2002-03-25	Paper
Automatic verification of parameterized networks of processes	2001-08-20	Paper
About synchronous programming and abstract interpretation	2000-01-04	Paper
The algorithmic analysis of hybrid systems	1997-02-28	Paper
An experience in proving regular networks of processes by modular model checking	1994-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4284985	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4037384	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037092	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4207570	1988-01-01	Paper
A functional model for describing and reasoning about time behaviour of computing systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3721827	1986-01-01	Paper

Research outcomes over time

This page was built for person: Nicolas Halbwachs