Nicolas Halbwachs

MaRDI QIDQ1323366zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Formal Methods in System Design	2018-11-15	Paper
An Analysis of Permutations in Arrays Lecture Notes in Computer Science	2010-01-14	Paper
Combining Widening and Acceleration in Linear Relation Analysis Static Analysis	2009-03-12	Paper
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints Lecture Notes in Computer Science	2008-04-04	Paper
Some ways to reduce the space dimension in polyhedra computations Formal Methods in System Design	2006-11-17	Paper
scientific article; zbMATH DE number 2090856 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2017354 (Why is no real title available?)	2003-12-14	Paper
scientific article; zbMATH DE number 1696492 (Why is no real title available?)	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 Theoretical Computer Science	2001-08-20	Paper
About synchronous programming and abstract interpretation Science of Computer Programming	2000-01-04	Paper
The algorithmic analysis of hybrid systems Theoretical Computer Science	1997-02-28	Paper
An experience in proving regular networks of processes by modular model checking Acta Informatica	1994-06-02	Paper
scientific article; zbMATH DE number 526071 (Why is no real title available?)	1994-03-10	Paper
scientific article; zbMATH DE number 177515 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177241 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 4128368 (Why is no real title available?)	1988-01-01	Paper
A functional model for describing and reasoning about time behaviour of computing systems Acta Informatica	1986-01-01	Paper
scientific article; zbMATH DE number 3952018 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Nicolas Halbwachs