Searching for authors named "Mihaela Sighireanu" – sorted by Relevance.
-
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

