Search the dblp DataBase

Publications of Author

1. Martin Adelantado, Frédéric Boniol, D. Pinault
   A simulation environment for designing distributed reactive/deliberative time-constrained applications. [Citation Graph (0, 0)][DBLP]
   Annual Simulation Symposium, 1995, pp:186-195 [Conf]
   
2. Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel
   Safe Allocation of Avionics Shared Resources. [Citation Graph (0, 0)][DBLP]
   HASE, 2005, pp:25-33 [Conf]
   
3. Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu
   Analysis of Slope-Parametric Hybrid Automata. [Citation Graph (0, 0)][DBLP]
   HART, 1997, pp:75-80 [Conf]
   
4. Frédéric Boniol, Martin Adelantado
   Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm. [Citation Graph (0, 0)][DBLP]
   Decentralized and Distributed Systems, 1993, pp:109-120 [Conf]
   
5. Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels
   Analyse de robustesse de systèmes avioniques. [Citation Graph (0, 0)][DBLP]
   JFLA, 2003, pp:111-124 [Conf]
   
6. Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels
   Robustness analysis of avionics embedded systems. [Citation Graph (0, 0)][DBLP]
   LCTES, 2003, pp:123-132 [Conf]
   
7. Frédéric Boniol
   COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. [Citation Graph (0, 0)][DBLP]
   PARLE, 1994, pp:611-622 [Conf]
   
8. Martin Adelantado, Frédéric Boniol
   Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. [Citation Graph (0, 0)][DBLP]
   PODC, 1994, pp:387- [Conf]
   
9. Frédéric Boniol, Martin Adelantado
   Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. [Citation Graph (0, 0)][DBLP]
   WDAG, 1993, pp:294-308 [Conf]
   
10. Jérôme Ermont, Frédéric Boniol
    TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
11. Francois Carcenac, Frédéric Boniol
    A formal framework for verifying distributed embedded systems based on abstraction methods. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:471-484 [Journal]
    
12. Frédéric Boniol, Gérard Bel, Jérôme Ermont
    Trois approches pour la modélisation et la vérification de systèmes embarqués. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:5, pp:539-569 [Journal]
    
13. 
    Un langage de contexte de preuve pour la validation formelle de modèles logiciels. [Citation Graph (, )][DBLP]
    
    
14. 
    Vérification d'architectures embarquées : un enjeu aux multiples facettes. [Citation Graph (, )][DBLP]
    
    
15. 
    A Framework for Distributing Real-Time Functions. [Citation Graph (, )][DBLP]
    
    
16. 
    A Multi-Periodic Synchronous Data-Flow Language. [Citation Graph (, )][DBLP]
    
    
17. 
    Formal Functionally Deterministic Scheduling. [Citation Graph (, )][DBLP]
    
    
18. 
    Verification of embbeded systems with preemption: a negative result. [Citation Graph (, )][DBLP]
    
    
19. 
    Verification of an avionic system using timed model checking. [Citation Graph (, )][DBLP]
    
    
20. 
    Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. [Citation Graph (, )][DBLP]
    
    
21. 
    A real-time architecture design language for multi-rate embedded control systems. [Citation Graph (, )][DBLP]
    
    
22. 
    Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. [Citation Graph (, )][DBLP]
    
    
23. 
    Implementing Multi-Periodic Critical Systems: from Design to Code Generation [Citation Graph (, )][DBLP]