BibTeX records: Romain Jobredeaux

download as .bib file

@inproceedings{DBLP:conf/hybrid/WangGRJF16,
  author       = {Timothy E. Wang and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Pierre Roux and
                  Romain Jobredeaux and
                  Eric Feron},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Formal Analysis of Robustness at Model and Code Level},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {125--134},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883824},
  doi          = {10.1145/2883817.2883824},
  timestamp    = {Fri, 13 Aug 2021 11:37:40 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/WangGRJF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Jobredeaux15,
  author       = {Romain Jobredeaux},
  title        = {Formal verification of control software},
  school       = {Georgia Institute of Technology, Atlanta, GA, {USA}},
  year         = {2015},
  url          = {https://hdl.handle.net/1853/53841},
  timestamp    = {Tue, 01 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Jobredeaux15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/RouxJG15,
  author       = {Pierre Roux and
                  Romain Jobredeaux and
                  Pierre{-}Lo{\"{\i}}c Garoche},
  editor       = {Antoine Girard and
                  Sriram Sankaranarayanan},
  title        = {Closed loop analysis of control command software},
  booktitle    = {Proceedings of the 18th International Conference on Hybrid Systems:
                  Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
  pages        = {108--117},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2728606.2728623},
  doi          = {10.1145/2728606.2728623},
  timestamp    = {Fri, 06 Sep 2019 10:57:13 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/RouxJG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/WangAJF14,
  author       = {Timothy Wang and
                  Alireza Esna Ashari and
                  Romain Jobredeaux and
                  Eric M. Feron},
  title        = {Credible autocoding of fault detection observers},
  booktitle    = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
                  2014},
  pages        = {672--677},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ACC.2014.6859131},
  doi          = {10.1109/ACC.2014.6859131},
  timestamp    = {Sun, 08 Aug 2021 01:40:57 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/WangAJF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/WangJPGFH14,
  author       = {Timothy Wang and
                  Romain Jobredeaux and
                  Marc Pantel and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Eric Feron and
                  Didier Henrion},
  title        = {Credible Autocoding of Convex Optimization Algorithms},
  journal      = {CoRR},
  volume       = {abs/1403.1861},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.1861},
  eprinttype    = {arXiv},
  eprint       = {1403.1861},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WangJPGFH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ChampionDDGJR13,
  author       = {Adrien Champion and
                  R{\'{e}}mi Delmas and
                  Michael Dierkes and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Romain Jobredeaux and
                  Pierre Roux},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Formal Methods for the Analysis of Critical Control Systems Models:
                  Combining Non-linear and Linear Analyses},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_1},
  doi          = {10.1007/978-3-642-41010-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ChampionDDGJR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/WangJHGDFP13,
  author       = {Timothy Wang and
                  Romain Jobredeaux and
                  Heber Herencia{-}Zapana and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Arnaud Dieumegard and
                  Eric Feron and
                  Marc Pantel},
  title        = {From Design to Implementation: an Automated, Credible Autocoding Chain
                  for Control Systems},
  journal      = {CoRR},
  volume       = {abs/1307.2641},
  year         = {2013},
  url          = {http://arxiv.org/abs/1307.2641},
  eprinttype    = {arXiv},
  eprint       = {1307.2641},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WangJHGDFP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/PakmehrWJVF13,
  author       = {Mehrdad Pakmehr and
                  Timothy Wang and
                  Romain Jobredeaux and
                  Martin Vivies and
                  Eric Feron},
  title        = {Verifiable Control System Development for Gas Turbine Engines},
  journal      = {CoRR},
  volume       = {abs/1311.1885},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.1885},
  eprinttype    = {arXiv},
  eprint       = {1311.1885},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PakmehrWJVF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/WangAJF13,
  author       = {Timothy Wang and
                  Alireza Esna Ashari and
                  Romain Jobredeaux and
                  Eric M. Feron},
  title        = {Credible Autocoding of Fault Detection Observers},
  journal      = {CoRR},
  volume       = {abs/1311.2064},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.2064},
  eprinttype    = {arXiv},
  eprint       = {1311.2064},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WangAJF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/JobredeauxHNF12,
  author       = {Romain Jobredeaux and
                  Heber Herencia{-}Zapana and
                  Natasha A. Neogi and
                  Eric Feron},
  title        = {Developing proof carrying code to formally assure termination in fault
                  tolerant distributed controls systems},
  booktitle    = {Proceedings of the 51th {IEEE} Conference on Decision and Control,
                  {CDC} 2012, December 10-13, 2012, Maui, HI, {USA}},
  pages        = {1816--1821},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CDC.2012.6425966},
  doi          = {10.1109/CDC.2012.6425966},
  timestamp    = {Fri, 04 Mar 2022 13:28:47 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/JobredeauxHNF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/RouxJGF12,
  author       = {Pierre Roux and
                  Romain Jobredeaux and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Eric Feron},
  editor       = {Thao Dang and
                  Ian M. Mitchell},
  title        = {A generic ellipsoid abstract domain for linear time invariant systems},
  booktitle    = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
                  HSCC'12, Beijing, China, April 17-19, 2012},
  pages        = {105--114},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2185632.2185651},
  doi          = {10.1145/2185632.2185651},
  timestamp    = {Tue, 03 Aug 2021 16:22:20 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/RouxJGF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/Herencia-ZapanaJOGFPA12,
  author       = {Heber Herencia{-}Zapana and
                  Romain Jobredeaux and
                  Sam Owre and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Eric Feron and
                  Gilberto P{\'{e}}rez and
                  Pablo Ascariz},
  editor       = {Alwyn Goodloe and
                  Suzette Person},
  title        = {{PVS} Linear Algebra Libraries for Verification of Control Software
                  Algorithms in {C/ACSL}},
  booktitle    = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
                  VA, USA, April 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7226},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28891-3\_15},
  doi          = {10.1007/978-3-642-28891-3\_15},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Herencia-ZapanaJOGFPA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1108-4048,
  author       = {Timothy Wang and
                  Romain Jobredeaux and
                  Eric Feron},
  title        = {A graphical environment to express the semantics of control systems},
  journal      = {CoRR},
  volume       = {abs/1108.4048},
  year         = {2011},
  url          = {http://arxiv.org/abs/1108.4048},
  eprinttype    = {arXiv},
  eprint       = {1108.4048},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-4048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.