Laurent Réveillère

74
Documents

Publications

1
3
3
1
2
6
2
3
1
8
6
7
2
2
1
6
3
4
2
2
2
6
1

Publications

Deposit thumbnail

Network Services Anomalies in NFV: Survey, Taxonomy, and Verification Methods

Moubarak Zouré , Toufik Ahmed , Laurent Réveillère

IEEE Transactions on Network and Service Management, 2022, 19 (2), pp.1567 - 1584. ⟨10.1109/TNSM.2022.3144582⟩

Article dans une revue hal-03546004v1
Deposit thumbnail

Fostering the Diversity of Exploratory Testing in Web Applications

Julien Leveau , Xavier Blanc , Laurent Réveillère , Jean-Rémy Falleri , Romain Rouvoy

Journal of Software Testing, Verification and Reliability, 2022, 32 (5), ⟨10.1002/stvr.1827⟩

Article dans une revue hal-03536908v1

Muslin: A QoE-aware CDN resources provisioning and advertising system for cost-efficient multisource live streaming

Simon da Silva , Joachim Bruneau-Queyreix , Mathias Lacaud , Daniel Négru , Laurent Réveillère

International Journal of Network Management, 2020, 30 (3), ⟨10.1002/nem.2081⟩

Article dans une revue hal-02641076v1
Deposit thumbnail

Raters’ reliability in clone benchmarks construction

Alan Charpentier , Jean-Rémy Falleri , Floréal Morandat , Elyas Ben Hadj Yahia , Laurent Réveillère

Empirical Software Engineering, 2017, 22 (1), pp.235-258. ⟨10.1007/s10664-015-9419-z⟩

Article dans une revue hal-02182070v1
Deposit thumbnail

A Flexible SoC and Its Methodology for Parser-Based Applications

Bertrand Le Gal , Yérom-David Bromberg , Laurent Réveillère , Jigar Solanki

ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2016, 10 (1), pp.4. ⟨10.1145/2939379⟩

Article dans une revue hal-01415653v1
Deposit thumbnail

Ahead of Time Static Analysis for Automatic Generation of Debugging Interfaces to the Linux Kernel

Tegawendé F. Bissyandé , Laurent Réveillère , Julia Lawall , Gilles Muller

Automated Software Engineering, 2014, pp.1-39. ⟨10.1007/s10515-014-0152-4⟩

Article dans une revue hal-00992283v1
Deposit thumbnail

Implementing an Embedded Compiler using Program Transformation Rules

Tegawendé F. Bissyandé , Laurent Réveillère , Julia Lawall , Yérom-David Bromberg , Gilles Muller

Software: Practice and Experience, 2013, pp.1.20

Article dans une revue hal-00844536v1
Deposit thumbnail

Zebra : Building Efficient Network Message Parsers for Embedded Systems

Julien Mercadal , Laurent Réveillère , Yérom-David Bromberg , Bertrand Le Gal , Tegawendé F. Bissyandé et al.

IEEE Embedded Systems Letters, 2012, PP (99), pp.1-4. ⟨10.1109/LES.2012.2208617⟩

Article dans une revue hal-00730930v1

Zebu: A Language-Based Approach for Network Protocol Message Processing

Laurent Burgy , Laurent Réveillère , Julia L. Lawall , Gilles Muller

IEEE Transactions on Software Engineering, 2011, 37 (4), pp.575-591

Article dans une revue hal-00814448v1
Deposit thumbnail

UniPHY: Unified Physical Layer Security for LPWANs

Stéphane Delbruel , Leo Mendiboure , Yannis Formery , Joachim Bruneau-Queyreix , Laurent Réveillère

2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), Jun 2025, Naples, France. pp.211-215, ⟨10.1109/DSN-S65789.2025.00066⟩

Communication dans un congrès hal-05163759v1
Deposit thumbnail

RAPTEE: Leveraging trusted execution environments for Byzantine-tolerant peer sampling services

Matthieu Pigaglio , Joachim Bruneau-Queyreix , Yérom-David Bromberg , Davide Frey , Etienne Rivière et al.

ICDCS 2022 - 42nd IEEE International Conference on Distributed Computing Systems, Jul 2022, Bologna, Italy. pp.1-11

Communication dans un congrès hal-03923712v1
Deposit thumbnail

Practical Active Revocation

Stefan Contiu , Laurent Réveillère , Etienne Rivière

Middleware '20: 21st International Middleware Conference, 2020, Delft, Netherlands. pp.29-43, ⟨10.1145/3423211.3425667⟩

Communication dans un congrès hal-05316828v1
Deposit thumbnail

Fostering the Diversity of Exploratory Testing in Web Applications

Julien Leveau , Xavier Blanc , Laurent Réveillère , Jean-Rémy Falleri , Romain Rouvoy

ICST 2020 - IEEE International Conference on Software Testing, Verification and Validation, Mar 2020, Porto, Portugal. ⟨10.1109/ICST46399.2020.00026⟩

Communication dans un congrès hal-02398969v1
Deposit thumbnail

PrivaTube: Privacy-Preserving Edge-Assisted Video Streaming

Simon da Silva , Sonia Ben Mokhtar , Stefan Contiu , Daniel Négru , Laurent Réveillère et al.

the 20th ACM/IFIP/USENIX International Middleware Conference, Dec 2019, Davis, France. pp.189-201, ⟨10.1145/3361525.3361546⟩

Communication dans un congrès hal-02408184v1

MUSLIN demo: high QoE fair multi-source live streaming

Simon da Silva , Joachim Bruneau-Queyreix , Mathias Lacaud , Daniel Négru , Laurent Réveillère

9th ACM Multimedia Systems Conference, Jun 2018, Amsterdam, Netherlands. ⟨10.1145/3204949.3208108⟩

Communication dans un congrès hal-01841375v1

MUSLIN: Achieving High, Fairly Shared QoE Through Multi-Source Live Streaming

Simon da Silva , Joachim Bruneau-Queyreix , Mathias Lacaud , Daniel Négru , Laurent Réveillère

23rd Packet Video Workshop, Jun 2018, Amsterdam, Netherlands. ⟨10.1145/3210424.3210432⟩

Communication dans un congrès hal-01841371v1
Deposit thumbnail

Benchmarking Cryptographic Schemes for Securing Public Cloud Storages

Stefan Contiu , Emmanuel Leblond , Laurent Réveillère

17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.163-176, ⟨10.1007/978-3-319-59665-5_12⟩

Communication dans un congrès hal-01800117v1
Deposit thumbnail

Polly: A Language-Based Approach for Custom Change Detection of Web Service Data

Elyas Ben Hadj Yahia , Jean-Rémy Falleri , Laurent Réveillère

15th International Conference on Service-Oriented Computing (ICSOC), Nov 2017, Malaga, Spain. pp.430-444, ⟨10.1007/978-3-319-69035-3_30⟩

Communication dans un congrès hal-02182061v1
Deposit thumbnail

Density and Mobility-driven Evaluation of Broadcast Algorithms for MANETs

Raziel Carvajal Gómez , Inti Gonzalez-Herrera , Yérom-David Bromberg , Laurent Réveillère , Etienne Rivière

ICDCS 2017 - IEEE 37th International Conference on Distributed Computing Systems, Jun 2017, ATLANTA, United States. ⟨10.1109/ICDCS.2017.240⟩

Communication dans un congrès hal-01660522v1

Telecom Show Case: An Exhibition of Old Technology Useful for Students and Teachers

Eric Grivel , Susan Susan.Medina@enseirb-Matmeca.Fr Medina , Francine Krief , Jean-Rémy Falleri , Guillaume Ferré et al.

EUSIPCO, Aug 2017, Kos Island, Greece. pp.2373-2377, ⟨10.23919/EUSIPCO.2017.8081635⟩

Communication dans un congrès hal-01532736v1
Deposit thumbnail

Density and Mobility-driven Evaluation of Broadcast Algorithms for MANETs

Raziel Carvajal Gómez , Inti Gonzalez-Herrera , Yérom-David Bromberg , Laurent Réveillère , Etienne Rivière

IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017, Jun 2017, Atlanta, GA, United States. ⟨10.1109/ICDCS.2017.240⟩

Communication dans un congrès hal-01663613v1
Deposit thumbnail

Automated Extraction of Mixins in Cascading Style Sheets

Alan Charpentier , Jean-Rémy Falleri , Laurent Réveillère

32rd IEEE International Conference on Software Maintenance and Evolution (ICSME), Oct 2016, Raleigh, United States. pp.56-66, ⟨10.1109/ICSME.2016.15⟩

Communication dans un congrès hal-02182065v1

What can industrial partnerships bring to small-group projects to teach signal and image processing?

Jean-Rémy Falleri , Eric Grivel , Laurent Réveillère

EUSIPCO, Aug 2015, Nice, France. pp.1786-1790, ⟨10.1109/EUSIPCO.2015.7362691⟩

Communication dans un congrès hal-01287390v1
Deposit thumbnail

Holons: towards a systematic approach to composing systems of systems

Gordon Blair , Yérom-David Bromberg , Geoff Coulson , Yehia Elkhatib , Laurent Réveillère et al.

The 14th International Workshop on Adaptive and Reflective Middleware (ARM 2015), Dec 2015, Vancouver, France. ⟨10.1145/2834965.2834970⟩

Communication dans un congrès hal-01245251v1

An empirical assessment of Bellon's clone benchmark

Alan Charpentier , Jean-Rémy Falleri , David Lo , Laurent Réveillère

International Conference on Evaluation and Assessment in Software Engineering, Apr 2015, Nanjing, China. ⟨10.1145/2745802.2745821⟩

Communication dans un congrès hal-01203528v1
Deposit thumbnail

Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts

Tegawendé F. Bissyandé , Ferdian Thung , David Lo , Lingxiao Jiang , Laurent Réveillère

18th IEEE International Conference on Engineering of Complex Computer Systems (ICECSS 2013), Jul 2013, Singapore, Singapore. pp.1-4

Communication dans un congrès hal-00809642v1
Deposit thumbnail

Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub

Tegawendé F. Bissyandé , David Lo , Lingxiao Jiang , Laurent Réveillère , Jacques Klein et al.

Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Jul 2013, Pasadena, United States. pp.188-197

Communication dans un congrès hal-00992274v1
Deposit thumbnail

EZ: Towards Efficient Asynchronous Protocol Gateway Construction

Yérom-David Bromberg , Floréal Morandat , Laurent Réveillère , Gaël Thomas

13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩

Communication dans un congrès hal-00991335v1
Deposit thumbnail

Popularity, Interoperability, and Impact of Programming Languages in 100,000 Open Source Projects

Tegawendé F. Bissyandé , Ferdian Thung , David Lo , Lingxiao Jiang , Laurent Réveillère

37th Annual International Computer Software & Applications Conference (COMPSAC 2013), Jul 2013, Kyoto, Japan. pp.1-10

Communication dans un congrès hal-00809451v1

Understanding the genetic makeup of Linux device drivers

Peter Senna Tschudin , Laurent Réveillère , Lingxiao Jiang , David Lo , Julia Lawall et al.

PLOS'13 - 7th Workshop on Programming Languages and Operating Systems, Nov 2013, Nemacolin Woodlands Resort, Pennsylvania, United States. ⟨10.1145/2525528.2525536⟩

Communication dans un congrès hal-00927070v1
Deposit thumbnail

Empirical Evaluation of Bug Linking

Tegawendé F. Bissyandé , Ferdian Thung , Shaowei Wang , David Lo , Lingxiao Jiang et al.

17th European Conference on Software Maintenance and Reengineering (CSMR 2013), Mar 2013, Genova, Italy. pp.1-10

Communication dans un congrès hal-00807272v1
Deposit thumbnail

Improving the Performance of Message Parsers for Embedded Systems

Jigar Solanki , Laurent Réveillère , Yérom-David Bromberg , Bertrand Le Gal , Tegawendé F. Bissyandé

Symposium on Applied Computing 2013, Mar 2013, Coimbra, Portugal. pp.1505

Communication dans un congrès hal-00806727v1
Deposit thumbnail

Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel

Tegawendé F. Bissyandé , Laurent Réveillère , Julia L. Lawall , Gilles Muller

27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.60-69, ⟨10.1145/2351676.2351686⟩

Communication dans un congrès hal-00731064v1
Deposit thumbnail

XTalk: A middleware for personalized service discovery in Future Internet

Preston Rodrigues , Soraya Ait Chellouche , Yérom-David Bromberg , Laurent Réveillère , Daniel Négru

5th IEEE International Conference on Telecommunications and Multimedia (TEMU), Jul 2012, Heraklion, Crete,, Greece. pp.83-88, ⟨10.1109/TEMU.2012.6294738⟩

Communication dans un congrès hal-00733296v1
Deposit thumbnail

OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems

Paul Grace , Yérom-David Bromberg , Laurent Réveillère , Gordon Blair

13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩

Communication dans un congrès hal-00991376v1

XTalk: A middleware for personalized service discovery in Future Internet

Preston Rodrigues , Soraya Ait Chellouche , Yérom-David Bromberg , Laurent Réveillère , Daniel Négru

Telecommunications and Multimedia (TEMU), 2012 International Conference on, Jul 2012, Chania, Greece. pp.Page(s): 83 - 88 E-ISBN : 978-1-4673-2779-4 Print ISBN: 978-1-4673-2780-0 INSPEC Accession Number: 1, ⟨10.1109/TEMU.2012.6294738⟩

Communication dans un congrès hal-00878339v1
Deposit thumbnail

ZigZag: a Middleware for Service Discovery in Future Internet

Preston Rodrigues , Yérom-David Bromberg , Laurent Réveillère , Daniel Négru

12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.208-221, ⟨10.1007/978-3-642-30823-9_19⟩

Communication dans un congrès hal-00689779v1
Deposit thumbnail

Typhoon : A Middleware for Epidemic Propagation of Software Updates

Tegawendé F. Bissyandé , Laurent Réveillère , Yérom-David Bromberg , Jean-Rémy Falleri

M-MPAC'2011 colocated with Middleware 2011, Dec 2011, Lisbon, Portugal. pp.1

Communication dans un congrès hal-00652751v1
Deposit thumbnail

Scalable And Interoperable Service Discovery For Future Internet

Preston Rodrigues , Laurent Réveillère , Yérom-David Bromberg , Daniel Négru

Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing, Dec 2011, Lisbon, Portugal. pp.3:1--3:7, ⟨10.1145/2090316.2090319⟩

Communication dans un congrès hal-00676636v2
Deposit thumbnail

Starlink: runtime interoperability between heterogeneous middleware protocols

Yérom-David Bromberg , Paul Grace , Laurent Réveillère

The 31st International Conference on Distributed Computing Systems (ICDCS 2011), Jun 2011, Minneapolis, United States

Communication dans un congrès inria-00594307v1
Deposit thumbnail

Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity

Yérom-David Bromberg , Paul Grace , Laurent Réveillère , Gordon Blair

12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩

Communication dans un congrès hal-00643601v1
Deposit thumbnail

Bridging the Gap between Legacy Services and Web Services

Tegawendé F. Bissyandé , Laurent Réveillère , Yérom-David Bromberg , Julia L. Lawall , Gilles Muller

Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Nov 2010, Bangalore, India. pp.273-292, ⟨10.1007/978-3-642-16955-7_14⟩

Communication dans un congrès hal-01055279v1
Deposit thumbnail

UbiPAN: A Bluetooth Extended Personal Area Network

Jérémie Albert , Tegawendé F. Bissyandé , Yérom-David Bromberg , Serge Chaumette , Laurent Réveillère

The 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing(IMIS 2010) colocated with the International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010), Feb 2010, Cracovie, Poland. pp.774-778, ⟨10.1109/CISIS.2010.167⟩

Communication dans un congrès hal-00459055v1

Automatic Generation of Network Protocol Gateways

Yérom-David Bromberg , Laurent Réveillère , Julia Lawall , Gilles Muller

Middleware 2009 - 10th International Middleware Conference ACM/IFIP/USENIX, Nov 2009, Urbana Champaign, Illinois, United States. pp.21-41, ⟨10.1007/978-3-642-10445-9_2⟩

Communication dans un congrès hal-00405911v1
Deposit thumbnail

UbiGate: A Gateway to Transform Discovery Information into Presence Information

Bissyandé Tegawendé , Laurent Réveillère , Yérom-David Bromberg

4th ACM International Workshop on Services Integration in Pervasive Environments, Jul 2009, London, United Kingdom. pp.NC

Communication dans un congrès hal-00411146v1

Building Home Monitoring Applications: From Design to Implementation into The Amigo Middleware

Wilfried Jouve , Noha Ibrahim , Laurent Réveillère , Frédéric Le Mouel , Charles Consel

IEEE International Conference on Pervasive Computing and Applications (ICPCA), 2007, United Kingdom. pp.231-236

Communication dans un congrès hal-00306007v1
Deposit thumbnail

Building Home Monitoring Applications: From Design to Implementation into The Amigo Middleware

W. Jouve , Noha Ibrahim , Laurent Réveillère , Frédéric Le Mouël , Charles Consel

Proceedings of The Second International Conference on Pervasive Computing and Applications (ICPCA'07), 2007, Birmingham, United Kingdom

Communication dans un congrès inria-00350032v1
Deposit thumbnail

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Laurent Burgy , Laurent Réveillère , Julia Lawall , Gilles Muller

26th IEEE International Symposium on Reliable Distributed Systems, 2007, beijing, China

Communication dans un congrès inria-00350019v1
Deposit thumbnail

A Stepwise Approach to Developing Languages for SIP Telephony Service Creation

Nicolas Palix , Laurent Réveillère , Charles Consel , Julia Lawall

IPTComm '07: Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, Jul 2007, New York City, United States. pp.79-88

Communication dans un congrès inria-00196520v1
Deposit thumbnail

Language Technology for Internet-Telephony Service Creation

Laurent Burgy , Charles Consel , Fabien Latry , Julia Lawall , Nicolas Palix et al.

IEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩

Communication dans un congrès inria-00196518v1
Deposit thumbnail

A High-Level, Open-Ended Architecture For SIP-based Services

Laurent Burgy , Charles Consel , Fabien Latry , Nicolas Palix , Laurent Réveillère

Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365

Communication dans un congrès inria-00196516v1
Deposit thumbnail

A Generative Programming Approach To Developing DSL Compilers

Charles Consel , Fabien Latry , Laurent Réveillère , Pierre Cointe

International Conference on Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.29-46

Communication dans un congrès hal-00350045v1
Deposit thumbnail

A comparative study of SIP programming interfaces

Laurent Burgy , Laurence Caillot , Charles Consel , Fabien Latry , Laurent Réveillère

International Conference on Intelligence in service delivery Networks, 2004, Bordeaux, France. pp.BCCLR04

Communication dans un congrès hal-00350059v1
Deposit thumbnail

A programmable client-server model: Robust extensibility via DSLs

Charles Consel , Laurent Réveillère

International Conference on Automated Software Engineering, 2003, Montréal, Canada. pp.70-79

Communication dans un congrès hal-00350051v1
Deposit thumbnail

Spidle: A DSL approach to specifying streaming application

Charles Consel , Hedi Hamdi , Laurent Réveillère , Lenin Singaravelu , Haiyan Yu et al.

International Conference on Generative Programming and Component Engineering, 2003, Germany. pp.1-17

Communication dans un congrès hal-00350193v1
Deposit thumbnail

Improving Driver Robustness: an Evaluation of the Devil Approach

Laurent Réveillère , Gilles Muller

The International Conference on Dependable Systems and Networks, Jul 2001, Göteborg, Sweden, Sweden. pp.131--140

Communication dans un congrès hal-00350218v2
Deposit thumbnail

A DSL approach to improve productivity and safety in device drivers development

Laurent Réveillère , Fabrice Mérillon , Charles Consel , Renaud Marlet , Gilles Muller

15th IEEE International Conference on Automated Software Engineering, 2000, France. pp.101-109

Communication dans un congrès hal-00350233v1
Deposit thumbnail

Devil : An IDL for Hardware Programming

Fabrice Mérillon , Laurent Réveillère , Charles Consel , Renaud Marlet , Gilles Muller

Symposium on Operating Systems Design and Implementation, 2000, United States. pp.17-30

Communication dans un congrès hal-00350223v1
Deposit thumbnail

Towards robust OSes for appliances: A new approach based on Domain-Specific Languages

Gilles Muller , Charles Consel , Renaud Marlet , L. P. Barreto , Fabrice Mérillon et al.

SIGOPS European Workshop, 2000, France

Communication dans un congrès hal-00350228v1

Telephony over ip: Experience and challenges

Laurent Burgy , Charles Consel , Fabien Latry , Nicolas Palix , Laurent Réveillère

ERCIM NEws, European Research Consortium for Informatics and Mathematics, pp.53-54, 2005

Chapitre d'ouvrage hal-00350206v1
Deposit thumbnail

A DSL Paradigm for Domains of Services: A Study of Communication Services

Charles Consel , Laurent Réveillère

Domain-Specific Program Generation, Springer Verlag, pp.165-179, 2004, Lecture Notes in Computer Science, State-of-the-Art Survey

Chapitre d'ouvrage hal-00350215v1
Deposit thumbnail

Generation of Debugging Interfaces for Linux Kernel Services

Tegawendé Bissyandé , Laurent Réveillère , Julia L. Lawall , Gilles Muller

[Research Report] RR-7800, INRIA. 2011, pp.28

Rapport (rapport de recherche) hal-00641262v1
Deposit thumbnail

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Laurent Burgy , Laurent Réveillère , Julia L. Lawall , Gilles Muller

[Research Report] RR-6167, INRIA. 2007

Rapport (rapport de recherche) inria-00140964v2
Deposit thumbnail

Telephony Software Engineering: A Domain-Specific Language Approach

Laurent Burgy , Charles Consel , Fabien Latry , Julia L. Lawall , Nicolas Palix et al.

[Research Report] RR-5548, INRIA. 2005, pp.29

Rapport (rapport de recherche) inria-00070459v1
Deposit thumbnail

A Generative Programming Approach To Developing DSL Compilers

Charles Consel , Latry Fabien , Laurent Réveillère , Pierre Cointe

[Research Report] RR-5550, INRIA. 2005, pp.21

Rapport (rapport de recherche) inria-00070457v1
Deposit thumbnail

Improving Driver Robustness : an Evaluation of the Devil Approach

Laurent Réveillère , Gilles Muller

[Research Report] RR-4136, INRIA. 2001

Rapport (rapport de recherche) inria-00072490v1
Deposit thumbnail

Devil : An IDL for Hardware Programming

Fabrice Mérillon , Laurent Réveillère , Charles Consel , Renaud Marlet , Gilles Muller

[Research Report] RR-3977, INRIA. 2000

Rapport (rapport de recherche) inria-00072670v1
Deposit thumbnail

The Devil Language

Laurent Réveillère , Fabrice Mérillon , Charles Consel , Renaud Marlet , Gilles Muller

[Research Report] RT-0244, INRIA. 2000, pp.29

Rapport (rapport de recherche) inria-00069929v1
Deposit thumbnail

Towards Robust OSes for Appliances : A New Approach Based on Domain-Specific Languages

Gilles Muller , Charles Consel , Renaud Marlet , Luciano Porto Barreto , Fabrice Mérillon et al.

[Research Report] RR-3943, INRIA. 2000

Rapport (rapport de recherche) inria-00072707v1
Deposit thumbnail

Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages

Fabrice Mérillon , Laurent Réveillère , Charles Consel , Robin Hansen , Renaud Marlet et al.

[Research Report] RR-3809, INRIA. 1999

Rapport (rapport de recherche) inria-00072849v1
Deposit thumbnail

Building Efficient Distributed Systems: A Domain-Specific Language Based Approach

Laurent Réveillère

Operating Systems [cs.OS]. Université Sciences et Technologies - Bordeaux I, 2011

HDR tel-00814406v1