BibTeX records: James Jerson Ortiz

download as .bib file

@inproceedings{DBLP:conf/nfm/OrtizAS19,
  author    = {James Jerson Ortiz and
               Moussa Amrani and
               Pierre{-}Yves Schobbens},
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {ML\({}_{\mbox{{\(\nu\)}}}\): {A} Distributed Real-Time Modal Logic},
  booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
               Houston, TX, USA, May 7-9, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11460},
  pages     = {19--35},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-20652-9\_2},
  doi       = {10.1007/978-3-030-20652-9\_2},
  timestamp = {Tue, 28 May 2019 13:48:14 +0200},
  biburl    = {https://dblp.org/rec/conf/nfm/OrtizAS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/VegaPAS18,
  author    = {James Jerson Ortiz Vega and
               Gilles Perrouin and
               Moussa Amrani and
               Pierre{-}Yves Schobbens},
  title     = {Model-Based Mutation Operators for Timed Systems: {A} Taxonomy and
               Research Agenda},
  booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
               and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018},
  pages     = {325--332},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/QRS.2018.00045},
  doi       = {10.1109/QRS.2018.00045},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/qrs/VegaPAS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/OrtizAS17,
  author    = {James Jerson Ortiz and
               Moussa Amrani and
               Pierre{-}Yves Schobbens},
  editor    = {Clark W. Barrett and
               Misty Davies and
               Temesghen Kahsai},
  title     = {Multi-timed Bisimulation for Distributed Timed Automata},
  booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10227},
  pages     = {52--67},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8\_4},
  doi       = {10.1007/978-3-319-57288-8\_4},
  timestamp = {Wed, 25 Sep 2019 18:06:25 +0200},
  biburl    = {https://dblp.org/rec/conf/nfm/OrtizAS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BodartEOS14,
  author    = {Axel Bodart and
               Keyvin Evrard and
               James Jerson Ortiz and
               Pierre{-}Yves Schobbens},
  editor    = {Robert Meersman and
               Herv{\'{e}} Panetto and
               Alok Mishra and
               Rafael Valencia{-}Garc{\'{\i}}a and
               Ant{\'{o}}nio Lucas Soares and
               Ioana Ciuciu and
               Fernando Ferri and
               Georg Weichhart and
               Thomas Moser and
               Michele Bezzi and
               Henry C. B. Chan},
  title     = {ArThUR: {A} Tool for Markov Logic Network},
  booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2014 Workshops -
               Confederated International Workshops: {OTM} Academy, {OTM} Industry
               Case Studies Program, C{\&}TC, EI2N, INBAST, ISDE, META4eS, {MSC}
               and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8842},
  pages     = {319--328},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45550-0\_32},
  doi       = {10.1007/978-3-662-45550-0\_32},
  timestamp = {Thu, 23 May 2019 10:23:40 +0200},
  biburl    = {https://dblp.org/rec/conf/otm/BodartEOS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-ic/NizzaOMS13,
  author    = {Damien De Nizza and
               James Jerson Ortiz and
               Hubert Meurisse and
               Pierre{-}Yves Schobbens},
  editor    = {Rapha{\"{e}}l Troncy},
  title     = {Formalisation et Construction d'une Ontologie dans le Domaine des
               Infections Orthop{\'{e}}diques},
  booktitle = {{IC} 2013 : 24es Journ{\'{e}}es francophones d'Ing{\'{e}}nierie
               des Connaissances (Proceedings of the 24th French Knowledge Engineering
               Conference), Lille, France, July 1-5, 2013},
  pages     = {319--329},
  year      = {2013},
  url       = {https://hal.archives-ouvertes.fr/IC\_2013/hal-01107408},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/f-ic/NizzaOMS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/NizzaOMS13,
  author    = {Damien De Nizza and
               James Jerson Ortiz and
               Hubert Meurisse and
               Pierre{-}Yves Schobbens},
  title     = {{ORTHOGEN} : Syst{\`{e}}me d'information int{\'{e}}gr{\'{e}}
               pour la tra{\c{c}}abilit{\'{e}} et la Gestion Multi-Param{\`{e}}tres
               des Infections Orthop{\'{e}}diques},
  booktitle = {Actes du XXXI{\`{e}}me Congr{\`{e}}s INFORSID, Paris, France, 29-31
               Mai 2013},
  pages     = {421--436},
  year      = {2013},
  url       = {http://inforsid.fr/actes/2013/2013\_7\_2\%20De\%20nizza.pdf},
  timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/inforsid/NizzaOMS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/OrtizLS11,
  author    = {James Jerson Ortiz and
               Axel Legay and
               Pierre{-}Yves Schobbens},
  editor    = {B{\'{e}}atrice Bouchou{-}Markhoff and
               Pascal Caron and
               Jean{-}Marc Champarnaud and
               Denis Maurel},
  title     = {Distributed Event Clock Automata - Extended Abstract},
  booktitle = {Implementation and Application of Automata - 16th International Conference,
               {CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6807},
  pages     = {250--263},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22256-6\_23},
  doi       = {10.1007/978-3-642-22256-6\_23},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wia/OrtizLS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/OrtizLS10,
  author    = {James Jerson Ortiz and
               Axel Legay and
               Pierre{-}Yves Schobbens},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Memory Event Clocks},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {198--212},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_16},
  doi       = {10.1007/978-3-642-15297-9\_16},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/OrtizLS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics