CentraleSupélec LRI
Département informatique Équipe VALS
Bât Breguet, 3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
91190 Gif-sur-Yvette, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Publications

Sur HAL

2019

[1] TESL_Language-AFPHai Nguyen Van, Frédéric Boulanger, Burkhart Wolff, A Formal Development of a Polychronous Polytimed Coordination LanguageArchive of Formal Proofs, jul, 2019Formal proof development, (URL), (BibTeX)

[2] oudart:hal-02070535Oudart, David, Cantenot, Jérôme, Boulanger, Frédéric, Chabridon, Sophie, An approach to design smart grids and their IT system by cosimulationMODELSWARD 2019: 7th International Conference on Model-Driven Engineering and Software Development, Prague, Czech Republic, Feb, 2019, SCITEPRESS, pages 372 - 379(URL), (BibTeX)

[3] todorov-pssv2019Todorov, Vassil, Taha, Safouan, Boulanger, Frédéric, Hernandez, Armando, Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square RootSystem Informatics, # 14, Jul, 2019PSSV-2019 Workshop, (URL), (BibTeX)

[4] todorov-qrs2019Todorov, Vassil, Taha, Safouan, Boulanger, Frédéric, Hernandez, Armando, Improved invariant generation for industrial software model checking of time propertiesProceedings of the 19th IEEE International Conference on Software Quality, Reliability, and Security, Sofia, Bulgaria, Jul, 2019(BibTeX)

2018

[5] medimegh:hal-01707264Medimegh, Slim, Pierron, Jean-Yves, Boulanger, Frédéric, Qualitative Simulation of Hybrid Systems with an Application to SysML Models6th International Conference on Model-Driven Engineering and Software Development, Funchal, Portugal, Jan, 2018, SCITEPRESS - Science and Technology Publications(URL), (PDF), (BibTeX)

[6] oudart:hal-01821675Oudart, David, Cantenot, Jérôme, Boulanger, Frédéric, Chabridon, Sophie, Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulationCIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Grenoble, France, Jun, 2018, CNRS, pages 9-1 - 9-5(URL), (PDF), (BibTeX)

[7] todorov:hal-01768687Todorov, Vassil, Boulanger, Frédéric, Taha, Safouan, Formal verification of automotive embedded softwareFORMALISE: 6th International Conference on Formal Methods in Software Engineering, Gothenburg, Sweden, Jun, 2018(URL), (PDF), (BibTeX)

[8] medimegh:hal-01890473Medimegh, Slim, Pierron, Jean-Yves, Boulanger, Frédéric, A New Qualitative Language for Qualitative SimulationInternational Symposium on Computer Science and Intelligent Control, Stockholm, Sweden, Sep, 2018(URL), (PDF), (BibTeX)

[9] boulanger:hal-01890134Boulanger, Frédéric, Marcadet, Dominique, Rayrole, Martin, Taha, Safouan, Valiron, Benoît, A time synchronization protocol for A664-P7Digital Avionics Systems Conference, London, United Kingdom, Sep, 2018(URL), (PDF), (BibTeX)

2017

[10] nguyenvan:hal-01583815Nguyen Van, Hai, Balabonski, Thibaut, Boulanger, Frédéric, Keller, Chantal, Valiron, Benoît, Wolff, Burkhart, A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System TestingFormal Modeling and Analysis of Timed Systems, 15th International Conference FORMATS 2017, Berlin, Germany, Sep, 2017, (Alessandro Abate,Gilles Geeraerts, Ed.), Springer, pages 318-334(URL), (PDF), (BibTeX)

2016

[11] medimegh:hal-01398735Medimegh, Slim, Pierron, Jean-Yves, Gallois, Jean-Pierre, Boulanger, Frédéric, A New Approach of Qualitative Simulation for the Validation of Hybrid SystemsGEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Saint Malo, France, Oct, 2016, . {Julien DeAntoni, Jeff Gray, Eugene Syriani}(URL), (PDF), (BibTeX)

[12] seghiri:hal-01303436SEGHIRI, Rachida, Boulanger, Fr{\'e}d{\'e}ric, Lecocq, Claire, Godefroy, Vincent, An executable model driven framework for enterprise architecture application to the Smart Grids contextHICSS 2016 : 49th Hawaii International Conference on System Sciences, Koloa, Hawaii, United States, Jan, 2016, IEEE Computer Society, pages 4546 - 4555(URL), (PDF), (BibTeX)

2015

[13] seghiri:hal-01239680SEGHIRI, Rachida, Boulanger, Frédéric, Lecocq, Claire, Godefroy, Vincent, Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vueXXXIIIème Congrès INFORSID, Biarritz, France, May, 2015, pages 65-80(URL), (PDF), (BibTeX)

[14] nguyenvan:hal-01239669Nguyen Van, Hai, Balabonski, Thibaut, Boulanger, Frédéric, Taha, Safouan, Valiron, Benoît, Wolff, Burkhart, Ye, Lina, Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Ottawa, Canada, Sep, 2015, pages 14-19, . {Benoit Combemale and Julien Deantoni and Jeff Gray}(URL), (PDF), (BibTeX)

2014

[15] 2014-11_FBO_ModeliserFrédéric Boulanger, Modélisation multiparadigme pour la conception des systèmesModéliser & simuler, tome 2, (Franck Varenne, Marc Silberstein, Sébastien Dutreuil, Philippe Huneman, Ed.), Éditions Matériologiques, pages 703-724(URL), (BibTeX)

[16] MOOCHype2014Dave R. Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frédéric Boulanger, Jeff Gray, The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling EducationProceedings of EduSymp 2014, MODELS Educators Symposium 2014, Valencia, Spain, Sep, 2014, (Birgit Demuth, Dave Stikkolorum, Ed.), pages 75-86(URL), (BibTeX)

[17] jacquet:hal-01079975Jacquet, Christophe, Hardebolle, Cécile, Boulanger, Frédéric, ModHel'X, un outil expérimental pour la modélisation multi-paradigmesCIEL 2014, Paris, France, Jun, 2014, pages 115-118(URL), (PDF), (BibTeX)

[18] chavescafe:hal-01079973Chaves Café, Daniel, Vinci Dos Santos, Filipe, Hardebolle, Cécile, Jacquet, Christophe, Boulanger, Frédéric, Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMSCIEL 2014, Paris, France, Jun, 2014, pages 93-96(URL), (PDF), (BibTeX)

[19] CafHarJacVinBou2014MPMChaves Café, Daniel, Hardebolle, Cécile, Vinci dos Santos, Filipe , Jacquet, Christophe, Boulanger, Frédéric, Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMSProceedings of the 8th Workshop on Multi-Paradigm Modeling (MPM 2014), Valencia, Spain, Sep, 2014, pages 11-20(URL), (PDF), (BibTeX)

[20] BouJacHarPro2014MEMOCODEBoulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Prodan, Iuliana, TESL: a Language for Reconciling Heterogeneous Execution TracesFormal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on, Lausanne, Switzerland, Oct, 2014, pages 114-123(URL), (PDF), (BibTeX)

2013

[21] ComHarJacBouBau2013SLEBenoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry, Bridging the Chasm between Executable Metamodeling and Models of ComputationSoftware Language Engineering, 5th International Conference SLE 2012, Revised and Selected Papers, February, 2013, (Krzysztof Czarnecki,Goerel Hedin, Ed.), pages 184-203(URL), (PDF), (BibTeX)

[22] CafBouJacHarVin2013FDLChaves Café, Daniel, Boulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Vinci Dos Santos, Filipe, Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMSProceedings of FDL 2013, Forum on specification \& Design Languages, Paris, France, Sep, 2013, pages 82-89(URL), (PDF), (BibTeX)

[23] ChoCalJalBouTah2013ACESMBChouh, Hamza, Callon, Charlotte, Jalal, Ghita, Boulanger, Frédéric, Taha, Safouan, Modeling and Verification of Redundancy PoliciesProceedings of ACES-MB 2013, Workshop on Model Based Architecting and Construction of Embedded Systems, Miami, Florida, USA, Sep, 2013, page 10 pages(URL), (PDF), (BibTeX)

[24] MeyDenBouHarJacVan2013MPMMeyers, Bart, Denil, Joachim, Boulanger, Frédéric, Hardebolle, Cécile, Jacquet, Christophe, Vangheluwe, Hans, A DSL for Explicit Semantic AdaptationProceedings of MPM 2013, Workshop on Multi-Paradigm Modeling, Miami, Florida, USA, Sep, 2013, page 10 pages(URL), (PDF), (BibTeX)

[25] JacMohBouHarBel2013MRTJacquet, Christophe, Mohamed, Ahmed, Boulanger, Frédéric, Hardebolle, Cécile, Bellik, Yacine, Building Heterogeneous Models at Runtime to Detect Faults in Ambient-intelligent EnvironmentsProceedings of MRM 2013, Workshop on Models at run.time, Miami, Florida, USA, Sep, 2013, page 10 pages(URL), (PDF), (BibTeX)

[26] BouJacHarDog2013GEMOCBoulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Dogui, Ayman, Heterogeneous Model Composition in ModHel'X: the Power Window Case StudyProceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, Miami, Florida, USA, Sep, 2013, page 10 pages(PDF), (BibTeX)

[27] BouETR2013Frédéric Boulanger, Systems Engineering and Execution of Models with Heterogeneous Semantics(PDF), (BibTeX)

2012

[28] AigKanBou2012TCSMarc Aiguier, Frédéric Boulanger, Bilal Kanso, A formal abstract framework for modeling and testing complex software systemsTheoretical Computer Science, vol. 455, October, 2012(URL), (BibTeX)

[29] 2012SemAdaptCCSLLNCSFrédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan, Semantic Adaptation Using CCSL Clock ConstraintsModels in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers, 2012, (Kienzle, Joerg, Ed.), Springer-Verlag, pages 104-118(URL), (PDF), (BibTeX)

[30] DesJacHarBouMen2012MPMRomulad Deshayes, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Tom Mens, Heterogeneous Modeling of Gesture-Based 3D ApplicationsProceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012(PDF), (BibTeX)

[31] KanAigBouGas2012APSECBilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston, Testing of component-based systemsProceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC), 2012, pages 300-305(PDF), (BibTeX)

[32] BouHarCSDM2012Frédéric Boulanger, Cécile Hardebolle, Execution of models with heterogeneous semantics(URL), (PDF), (BibTeX)

2011

[33] BouDogHarJacMarPro2011MPMFrédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan, Semantic Adaptation using CCSL Clock ConstraintsProceedings of the 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, 2011, (Vasco Amaral,Peter Bunüs,Cécile Hardebolle,Lazlo Lengyel, Ed.), Electronic Communications of the EASST(PDF), (BibTeX)

[34] BouHarJacMar2011ACSDFrédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Semantic Adaptation for Models of ComputationsProceedings of the 11th International Conference on Application of Concurrency to System Design, 2011, (Benoît Caillaud,Josep Carmona,Kunihiko Hiraishi, Ed.), IEEE Computer Society, pages 153-162(URL), (PDF), (BibTeX)

2010

[35] TudPolBou2010JOCTudor Ionescu, Géraldine Polaillon, Frédéric Boulanger, Minimum Tree Cost Quartet PuzzlingJournal of classification, vol. 27, # 2, September, 2010(URL), (BibTeX)

[36] BouJacRouHar2010LNCSFrédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis, Modeling Heterogeneous Points of View with ModHel'XModels in Software Engineering: Workshops and Symposia at MoDELS 2009, Denver, CO, USA, October 2009, Reports and Revised Selected Papers, 2010, (Sudipto Ghosh, Ed.), Springer-Verlag, pages 310-324(PDF), (BibTeX)

[37] KanAigBouTou2010ICTACBilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil, Testing of Abstract ComponentsProceedings of the 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), Berlin Heidelberg, Germany, 2010, (Ana Cavalcanti,David Deharbe,Marie-Claude Gaudel,Jim Woodcock, Ed.), Springer-Verlag, pages 184-198(PDF), (BibTeX)

[38] BenCucTahTerBouGer2010DIPESAbderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard, Extending the Standard Execution Model of UML for Real-Time SystemsDistributed, Parallel and Biologically Inspired Systems, 2010, (Mike Hinchey,Bernd Kleinjohann,Lisa Kleinjohann,Peter Lindsay,Franz Rammig,Jon Timmis,Marilyn Wolf, Ed.), Springer Boston, pages 43-54(URL), (PDF), (BibTeX)

2009

[39] FerBouMbo2009JSSMohamed Feredj, Frédéric Boulanger, Aimé Mokho Mbobi, A model of domain-polymorph component for heterogeneous system designJournal of Systems and Software, vol. 82, # 1, January, 2009Special Issue: Software Performance - Modeling and Analysis, (URL), (BibTeX)

[40] HarBou2009IJCACécile Hardebolle, Frédéric Boulanger, Multi-Formalism Modelling and Model ExecutionInternational Journal of Computers and their Applications, vol. 31, # 3, July, 2009Special Issue on the International Summer School on Software Engineering, (URL), (PDF), (BibTeX)

[41] HarBou2009SIMCécile Hardebolle, Frédéric Boulanger, Exploring Multi-Paradigm Modeling TechniquesSIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 85, # 11/12, November/December, 2009(URL), (BibTeX)

[42] BouJacRouHar2009NFPinDSMLsFrédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle, Modeling Heterogeneous Points of View with ModHel'XProceedings of NFPinDSML2009 (2nd Workshop on Non-functional System Properties in Domain Specific Modeling Languages at MODELS 2009), 2009, CEUR-WS, pages 1-14(URL), (PDF), (BibTeX)

2008

[43] Bou2008IRECOSFrédéric Boulanger, Integration of Dependability Features in a Synchronous ApplicationInternational Review on Computers and Software (IRECOS), vol. 3, # 1, January, 2008(URL), (BibTeX)

[44] HarBou2007ModelsCécile Hardebolle, Frédéric Boulanger, ModHel'X: A Component-Oriented Approach to Multi-Formalism ModelingModels in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, Nashville, TN, USA, 2008, (Holger Giese, Ed.), Springer-Verlag, pages 247-258(URL), (BibTeX)

[45] BouHar2008ICSTFrédéric Boulanger, Cécile Hardbolle, Simulation of Multi-Formalism Models with ModHel'XProceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST2008), Lillehammer, Norway, April, 2008, IEEE Computer Society, pages 318-327, . IEEE(BibTeX)

[46] JacBouMar2008MEMOCODEChristophe Jacquet, Frédéric Boulanger, Dominique Marcadet, From Data to Events: Checking Properties on the Control of a SystemProceedings of the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, California, June, 2008, IEEE Computer Society, pages 17-26, . IEEE(BibTeX)

[47] BouMarBouJaq2008COMPSACAhcène Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet, An Architecture Description Language for Verification in Component-based SoftwareProceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, August, 2008, IEEE Computer Society, pages 365-368, . IEEE(BibTeX)

2007

[48] MboBouFer2007IRECOSAimé Mbobi, Frédéric Boulanger, Mohamed Feredj, An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface ComponentsInternational Review on Computers and Software (IRECOS), vol. 2, # 2, March, 2007(URL), (BibTeX)

[49] HarBouMarVid2007MOMPESCécile Hardebolle, Frédéric Boulanger , Dominique Marcadet, Guy Vidal-Naquet, A Generic Execution Framework for Models of ComputationProceedings of the 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007), Braga, Portugal, March, 2007, (J. M. Fernandes,R. J. Machado,R. Khedri,S. Clarke, Ed.), IEEE Computer Society, pages 45-54(PDF), (BibTeX)

[50] BouPol2007IADISFrédéric Boulanger, Géraldine Polaillon, Dorin Carstoiu, Alexandra Cernian, Stefan Bodea, Web Search based on Clustering by CompressionProceedings of the IADIS 2007 e-Society International Conference, Lisbon, Portugal, July, 2007, IADIS Press, pages 419-423, . IADIS(BibTeX)

2006

[51] BouVidICSOFT2006Frédéric Boulanger, Guy Vidal-Naquet, A Primitive Execution Model for Heterogeneous ModelingProceedings of the 2006 International Conference on Software and Data Technologies (ICSOFT 2006), Setúbal, Portugal, September, 2006, INSTICC Press, pages 247-252(PDF), (BibTeX)

[52] BouMboCCECE2006Frédéric Boulanger, Mokhoo Aimé Mbobi, Le paradigme acteur dans la modélisation des systèmes embarquésProceedings of the 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, ON, Canada, May, 2006, IEEE Computer Society, pages 418-421(PDF), (BibTeX)

[53] BouMbo2006CTSFrédéric Boulanger, Mokhoo Mbobi, An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded SystemsProceedings of the 2006 International Symposium on Collaborative Technologies and Systems (CTS 2006), Las Vegas, Nevada, USA, May, 2006, IEEE Computer Society, pages 194-199(PDF), (BibTeX)

2005

[54] MboBouFerIRI2005Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Issues of Hierarchical Heterogeneous Modeling in Component ReusabilityProceedings of the 2005 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2005), Las Vegas, Nevada, USA, August, 2005, IEEE Computer Society, pages 84-89(PDF), (BibTeX)

[55] MboBouFerPTCONF2005Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Integration of a Flat Heterogeneous Domain in Ptolemy II(BibTeX)

2004

[56] MboBouFerIRI2004Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Execution Model for Non-Hierarchical Heterogeneous ModelingProceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2004), Las Vegas, Nevada, USA, November, 2004, IEEE Computer Society, pages 139-144(PDF), (BibTeX)

[57] FerBouMboIRI2004Mohamed Feredj, Frédéric Boulanger, Mokhoo Aimé Mbobi, An Approach of Domain Polymorph Component DesignProceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2004), Las Vegas, Nevada, USA, November, 2004, pages 145-150(PDF), (BibTeX)

[58] BouMboFerIPSI2004Frédéric Boulanger, Mokhoo Aimé Mbobi, Mohamed Feredj, Flat Heterogeneous ModelingProceedings of the 2004 International Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Venice, Italy, November, 20047 pages, on CD-ROM, (PDF), (BibTeX)

2003

[59] MboBouFerCCCT2003Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Non-hierarchical heterogeneityProceedings of the 2003 International conference on Computer, Communication and Control Technologies (CCCT'03), Orlando, Florida, USA, August, 2003, International Institute of Information and Systemics, pages 430-435(PDF), (BibTeX)

[60] BouTUGBOAT2003Frédéric Boulanger, Printing Digital Photographs with \LaTeXCommunications of the TeX Users Group (TUGboat), vol. 24, # 3, 2003(BibTeX)

2001

[61] AndBouGirICACSD2001Charles André, Frédéric Boulanger, Alain Girault, Software Implementation of Synchronous ProgramsProceedings of the 2nd International Conference on Application of Concurrency to System Design (ICACSD2001), New Castle upon Tyne, UK, June, 2001, IEEE Computer Society, pages 133-142(PDF), (BibTeX)

[62] BouCAHGUT2001Frédéric Boulanger, LaTeX au pays des tableursCahiers GUTenberg, vol. 39-40, mai, 2001(BibTeX)

2000

[63] BouBouCAHGUT2000Frédéric Boulanger, Yolaine Bourda, Documentation de projets en XMLCahiers GUTenberg, vol. 35-36, mai, 2000(BibTeX)

1999

[64] BouVidMSR1999Frédéric Boulanger, Guy Vidal-Naquet, Objets réactifs pour le développement modulaire du contrôleActes du 2e congrès Modélisation des systèmes réactifs (MSR'99), Cachan, France, March, 1999, Hermes Sciences Publications, pages 333-340(BibTeX)

1998

[65] BouVidIDPT1998Frédéric Boulanger, Guy Vidal-Naquet, Integration of Dependability Modules in a Reactive ApplicationProceedings of the 3rd World Conference on Integrated Design and Process Technology, Berlin, Germany, July, 1998, pages 313-319(BibTeX)

[66] BouVidECOOP1998Frédéric Boulanger, Guy Vidal-Naquet, Modular Development of Control and Computational Modules Using Reactive ObjectsObject Oriented Techology: ECOOP'98 Workshop Reader, London, UK, July, 1998, Springer-Verlag, pages 515-518(PDF), (BibTeX)

1997

[67] AndBouPerRigVidJESA1997Charles André, Frédéric Boulanger, Marie-Agnès Péraldi , Jean-Pierre Rigault, Guy Vidal-Naquet, Objects and Synchronous ProgrammingJournal Européen des Systèmes Automatisés (JESA), vol. 31, # 3/1997, 1997(BibTeX)

1996

[68] AndBouPerRigVidAFCET1996Charles André, Frédéric Boulanger, Marie-Agnès Péraldi, Jean-Pierre Rigault, Guy Vidal-Naquet, Objets et programmation synchroneActes du congrès AFCET Modélisation des systèmes réactifs, March, 1996, AFCET, pages 55-62(BibTeX)

[69] BouVidIDPT1996Frédéric Boulanger, Guy Vidal-Naquet, Synchronous Reactive Programming in PtolemyProceedings of the 2nd World Conference on Integrated Design and Process Technology, Austin, Texas, USA, December, 19966 pages, (BibTeX)

[70] BouVidECOOP1996Frédéric Boulanger, Guy Vidal-Naquet, An Object Execution Model for Reactive Modules with a C++ ImplementationSpecial Issues in Object-Oriented Programming, ECOOP'96 Workshop Reader, Linz, July, 1996, (Max Mühlhäuser, Ed.), dpunkt.verlag, pages 443-449(BibTeX)

1995

[71] VidBouISCORE1995Guy Vidal-Naquet, Frédéric Boulanger, Integration of Synchronous Modules in an Object-Oriented LanguageInformation Systems -- Correctness and Reusability, selected papers from the IS-CORE Workshop, August, 1995, (R.J. Wieringa,R.B. Feenstra, Ed.), World Scientific, pages 279-291(BibTeX)

1994

[72] VidBouRTS1994Guy Vidal-Naquet, Frédéric Boulanger, Henri Delebecque, Intégration de modules synchrones dans un langage à objetsActes de la conférence Real Time Systems (RTS'94), Paris, France, January, 1994, Teknea, pages 245-260(BibTeX)

[73] VidBouDRET1994Guy Vidal-Naquet, Frédéric Boulanger, Henri Delebecque, Outil d'intégration automatique de modules de sûreté de fonctionnement pour des applications temps-réel(BibTeX)

[74] VidBouDAGSTUHL1994Guy Vidal-Naquet, Frédéric Boulanger, An Object Oriented Execution Model for Synchronous Modules(BibTeX)

1993

[75] Bou1993PhDFrédéric Boulanger, Intégration de modules synchrones dans la programmation par objetsUniversité Paris 11 Orsay, France(URL), (BibTeX)