Searching for authors named "Mihaela Sighireanu" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
On the Definition of Modular E-LOTOS
- …On the Definition of Modular E-Lotos Draft of 1996/12 Mihaela Sighireanu Hubert Garavel Abstract…
- Add To MetaCart
-
Defect Report concerning ISO International Standard 8807 and Proposal for a Correct Flattening of LOTOS Parameterized Types
- … of LOTOS Parameterized Types Hubert Garavel Mihaela Sighireanu INRIA Rhone-Alpes VERIMAG --- Miniparc…
- Add To MetaCart
-
French-Romanian Integrated Proposal for the User Language of E-LOTOS
- … Garavel and Mihaela Sighireanu INRIA Rhone-Alpes VERIMAG --- Miniparc-ZIRST rue Lavoisier 38330…
- Cited by 4 (1 self) – Add To MetaCart
-
French-Romanian comments regarding some proposed features for E-LOTOS data types
- … Mihaela Sighireanu INRIA Rhone-Alpes VERIMAG --- Miniparc-ZIRST rue Lavoisier 38330 MONTBONNOT ST MARTIN…
- Cited by 1 (1 self) – Add To MetaCart
-
A Proposal for Coroutines and Suspend/Resume in E-LOTOS
- …A Proposal for Coroutines and Suspend/Resume in E-LOTOS Hubert Garavel, Mihaela Sighireanu…
- Cited by 1 (1 self) – Add To MetaCart
-
A Proposal for the Data Type Part of E-LOTOS Applicable to the Formal Description of OSI and ODP Standards
- … Standards Draft of 1995/12/14 Mihaela Sighireanu Hubert Garavel INRIA Rhone-Alpes VERIMAG --- Miniparc…
- Cited by 1 (1 self) – Add To MetaCart
-
Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links
- … ¨ and has been done while Mihaela Sighireanu had a post-doctoral position at INRIA. Published in the IEEE…
- Add To MetaCart
-
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules
- ….Sorel@(email omitted); Mihaela Sighireanu LIAFA, Case 7014, 2 place Jussieu 75251 Paris, Cedex 05 - FRANCE sighirea…
- Cited by 8 (2 self) – Add To MetaCart
-
A generic framework for reasoning about dynamic networks of infinite-state processes
- … Bouajjani, Yan Jurski, and Mihaela Sighireanu LIAFA, University of Paris 7, Case 7014, 2 place Jussieu…
- Cited by 5 (1 self) – Add To MetaCart
-
Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus ("FireWire"): an Experiment with E-LOTOS
- … with E-LOTOS Mihaela Sighireanu, Radu Mateescu N 3172 Mai 1997 TH ` EME 1 Validation of the Link Layer…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
