#### Filter Results:

- Full text PDF available (56)

#### Publication Year

1978

2017

- This year (1)
- Last 5 years (5)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Rajeev Alur, Costas Courcoubetis, +6 authors Sergio Yovine
- Theor. Comput. Sci.
- 1995

We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves… (More)

- Patrick Cousot, Nicolas Halbwachs
- POPL
- 1978

This work was supported by C.N.R.S. under grant ATP-Informatique 03119. A certain number of classical data flow analysis techniques are included in or generalized by the determination of linear equality relations among program variables. For example constant propagation can be understood as the discovery of very simple linear equality relations among… (More)

- Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
- POPL
- 1987

LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton… (More)

- Nicolas Halbwachs
- CAV
- 1998

The te rm "reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is now commonly accepted to designate permanent ly operating systems, and to distinguish them from "trans]ormational systems" i.e, usual programs whose role is to terminate with a result, computed from an initial da ta (e.g., a compiler). In synchronous programming, we… (More)

- Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
- Proceedings of the IEEE
- 2003

Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing… (More)

Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing… (More)

- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
- IEEE Trans. Software Eng.
- 1992

We investigate the beneets of using a synchronous data-ow language for programming critical real-time systems. These beneets concern ergonomy | since the dataaow approach meets traditional description tools used in this domain |, and ability to support formal design and veriication methods. We show, on a simple example, how the language Lustre and its… (More)

- Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff
- Formal Methods in System Design
- 1997

LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton… (More)

- Nicolas Halbwachs
- CAV
- 1993

Linear relation analysis [CH78, Hal79] has been proposed a long time ago as an abstract interpretation which permits to discover linear relations invarianfly satisfied by the variables of a program. Here, we propose to apply this general method to variables used to count delays in synchronous programs. The "regular" behavior of these counters makes the… (More)