BibTeX records: Iulian Ober

download as .bib file

@inproceedings{DBLP:conf/fmics/VidotDGOO22,
  author       = {Guillaume Vidot and
                  M{\'{e}}lanie Ducoffe and
                  Christophe Gabreau and
                  Ileana Ober and
                  Iulian Ober},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Formal Monotony Analysis of Neural Networks with Mixed Inputs: An
                  Asset for Certification},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_3},
  doi          = {10.1007/978-3-031-15008-1\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/VidotDGOO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragomirRJGOKBP22,
  author       = {Iulia Dragomir and
                  Carlos Redondo and
                  Tiago Jorge and
                  Laura Gouveia and
                  Iulian Ober and
                  Ivan Kolesnikov and
                  Marius Bozga and
                  Maxime Perrotin},
  editor       = {Thomas K{\"{u}}hn and
                  Vasco Sousa},
  title        = {Model-checking of space systems designed with {TASTE/SDL}},
  booktitle    = {Proceedings of the 25th International Conference on Model Driven Engineering
                  Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
                  Quebec, Canada, October 23-28, 2022},
  pages        = {237--246},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550356.3561541},
  doi          = {10.1145/3550356.3561541},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/DragomirRJGOKBP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TrezzyOOO21,
  author       = {Micka{\"{e}}l Trezzy and
                  Ileana Ober and
                  Iulian Ober and
                  Raquel Ara{\'{u}}jo de Oliveira},
  title        = {Applying {MDE} to {ROS} Systems: {A} Comparative Analysis},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {1},
  pages        = {111--144},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.1.111},
  doi          = {10.7561/SACS.2021.1.111},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/TrezzyOOO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/BoumazaTO21,
  author       = {Kamal Boumaza and
                  Ch{\'{e}}rif Tolba and
                  Iulian Ober},
  title        = {Formal Verification of Emergent Properties},
  journal      = {Informatica (Slovenia)},
  volume       = {45},
  number       = {3},
  year         = {2021},
  url          = {https://doi.org/10.31449/inf.v45i3.3160},
  doi          = {10.31449/INF.V45I3.3160},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/BoumazaTO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AbidOO21,
  author       = {Saad bin Abid and
                  Raquel Ara{\'{u}}jo de Oliveira and
                  Iulian Ober},
  title        = {Summary of Workshop on Model Driven Engineering, Verification and
                  Validation (MoDeVVa'21)},
  booktitle    = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
                  and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
                  10-15, 2021},
  pages        = {242--243},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/MODELS-C53483.2021.00043},
  doi          = {10.1109/MODELS-C53483.2021.00043},
  timestamp    = {Sat, 11 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AbidOO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07221,
  author       = {Guillaume Vidot and
                  Christophe Gabreau and
                  Ileana Ober and
                  Iulian Ober},
  title        = {Certification of embedded systems based on Machine Learning: {A} survey},
  journal      = {CoRR},
  volume       = {abs/2106.07221},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.07221},
  eprinttype    = {arXiv},
  eprint       = {2106.07221},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-07221.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-10132,
  author       = {Iulia Dragomir and
                  Marius Bozga and
                  Iulian Ober and
                  D. Silveira and
                  Tiago Jorge and
                  E. Ala{\~{n}}a and
                  Maxime Perrotin},
  title        = {Formal verification of space systems designed with {TASTE}},
  journal      = {CoRR},
  volume       = {abs/2111.10132},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.10132},
  eprinttype    = {arXiv},
  eprint       = {2111.10132},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-10132.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaduelOB20,
  author       = {Ronan Baduel and
                  Iulian Ober and
                  Jean{-}Michel Bruel},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {Modeling and verification method for an early evaluation of systems
                  of systems interactions},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {1798--1805},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3373944},
  doi          = {10.1145/3341105.3373944},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BaduelOB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-01766,
  author       = {Ronan Baduel and
                  Iulian Ober and
                  Jean{-}Michel Bruel},
  title        = {Modeling and verification method for an early validation of a train
                  system},
  journal      = {CoRR},
  volume       = {abs/1909.01766},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.01766},
  eprinttype    = {arXiv},
  eprint       = {1909.01766},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01766.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BaduelCBO18,
  author       = {Ronan Baduel and
                  Mohammad Chami and
                  Jean{-}Michel Bruel and
                  Iulian Ober},
  editor       = {Alfonso Pierantonio and
                  Salvador Trujillo},
  title        = {SysML Models Verification and Validation in an Industrial Context:
                  Challenges and Experimentation},
  booktitle    = {Modelling Foundations and Applications - 14th European Conference,
                  ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10890},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92997-2\_9},
  doi          = {10.1007/978-3-319-92997-2\_9},
  timestamp    = {Fri, 20 Nov 2020 13:15:21 +0100},
  biburl       = {https://dblp.org/rec/conf/ecmdafa/BaduelCBO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Ober18,
  author       = {Iulian Ober},
  editor       = {Falk Howar and
                  Jiri Barnat},
  title        = {Revisiting Bounded Reachability Analysis of Timed Automata Based on
                  {MILP}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 23rd International
                  Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11119},
  pages        = {269--283},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00244-2\_18},
  doi          = {10.1007/978-3-030-00244-2\_18},
  timestamp    = {Sat, 19 Oct 2019 20:28:59 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Ober18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2018w,
  editor       = {Manuel Mazzara and
                  Iulian Ober and
                  Gwen Sala{\"{u}}n},
  title        = {Software Technologies: Applications and Foundations - {STAF} 2018
                  Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11176},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04771-9},
  doi          = {10.1007/978-3-030-04771-9},
  isbn         = {978-3-030-04770-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/staf/2018w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DragomirOP17,
  author       = {Iulia Dragomir and
                  Iulian Ober and
                  Christian Percebois},
  title        = {Contract-based modeling and verification of timed safety requirements
                  within SysML},
  journal      = {Softw. Syst. Model.},
  volume       = {16},
  number       = {2},
  pages        = {587--624},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10270-015-0481-1},
  doi          = {10.1007/S10270-015-0481-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DragomirOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/OberO17,
  author       = {Ileana Ober and
                  Iulian Ober},
  editor       = {Petros Koumoutsakos and
                  Michael Lees and
                  Valeria V. Krzhizhanovskaya and
                  Jack J. Dongarra and
                  Peter M. A. Sloot},
  title        = {On Patterns of Multi-domain Interaction for Scientific Software Development
                  focused on Separation of Concerns},
  booktitle    = {International Conference on Computational Science, {ICCS} 2017, 12-14
                  June 2017, Zurich, Switzerland},
  series       = {Procedia Computer Science},
  volume       = {108},
  pages        = {2298--2302},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.procs.2017.05.288},
  doi          = {10.1016/J.PROCS.2017.05.288},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/OberO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragomirGKNO15,
  author       = {Iulia Dragomir and
                  Susanne Graf and
                  Gabor Karsai and
                  Florian Noyrit and
                  Iulian Ober},
  editor       = {Iulia Dragomir and
                  Susanne Graf and
                  Gabor Karsai and
                  Florian Noyrit and
                  Iulian Ober and
                  Damiano Torre and
                  Yvan Labiche and
                  Marcela Genero and
                  Maged Elaasar},
  title        = {Introduction to {ACES-MB} 2015},
  booktitle    = {Joint Proceedings of the 8th International Workshop on Model-based
                  Architecting of Cyber-physical and Embedded Systems and 1st International
                  Workshop on {UML} Consistency Rules {(ACES-MB} 2015 {\&} {WUCOR}
                  2015) co-located with {ACM/IEEE} 18th International Conference on
                  Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa,
                  Canada, September 28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1508},
  pages        = {1--2},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1508/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DragomirGKNO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015acesmb,
  editor       = {Iulia Dragomir and
                  Susanne Graf and
                  Gabor Karsai and
                  Florian Noyrit and
                  Iulian Ober and
                  Damiano Torre and
                  Yvan Labiche and
                  Marcela Genero and
                  Maged Elaasar},
  title        = {Joint Proceedings of the 8th International Workshop on Model-based
                  Architecting of Cyber-physical and Embedded Systems and 1st International
                  Workshop on {UML} Consistency Rules {(ACES-MB} 2015 {\&} {WUCOR}
                  2015) co-located with {ACM/IEEE} 18th International Conference on
                  Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa,
                  Canada, September 28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1508},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1508},
  urn          = {urn:nbn:de:0074-1508-8},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2015acesmb.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DragomirOP14,
  author       = {Iulia Dragomir and
                  Iulian Ober and
                  Christian Percebois},
  editor       = {Viliam Geffert and
                  Bart Preneel and
                  Branislav Rovan and
                  Julius Stuller and
                  A Min Tjoa},
  title        = {Safety Contracts for Timed Reactive Components in SysML},
  booktitle    = {{SOFSEM} 2014: Theory and Practice of Computer Science - 40th International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  Nov{\'{y}} Smokovec, Slovakia, January 26-29, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8327},
  pages        = {211--222},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04298-5\_19},
  doi          = {10.1007/978-3-319-04298-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/DragomirOP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragomirOP13,
  author       = {Iulia Dragomir and
                  Iulian Ober and
                  Christian Percebois},
  editor       = {Iulian Ober and
                  Florian Noyrit and
                  Susanne Graf and
                  Gabor Karsai},
  title        = {Integrating verifiable Assume/Guarantee contracts in UML/SysML},
  booktitle    = {Proceedings of the 6th International Workshop on Model Based Architecting
                  and Construction of Embedded Systems co-located with {ACM/IEEE} 16th
                  International Conference on Model Driven Engineering Languages and
                  Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1084},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1084/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DragomirOP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/AboussororOO13,
  author       = {El Arbi Aboussoror and
                  Ileana Ober and
                  Iulian Ober},
  editor       = {Ferhat Khendek and
                  Maria Toeroe and
                  Abdelouahed Gherbi and
                  Rick Reed},
  title        = {Significantly Increasing the Usability of Model Analysis Tools through
                  Visual Feedback},
  booktitle    = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International
                  {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7916},
  pages        = {107--123},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38911-5\_7},
  doi          = {10.1007/978-3-642-38911-5\_7},
  timestamp    = {Sat, 05 Sep 2020 17:55:35 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/AboussororOO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/AhmadDBOB13,
  author       = {Manzoor Ahmad and
                  Iulia Dragomir and
                  Jean{-}Michel Bruel and
                  Iulian Ober and
                  Nicolas Belloir},
  editor       = {Tuncer I. {\"{O}}ren and
                  Janusz Kacprzyk and
                  Leifur {\TH}. Leifsson and
                  Mohammad S. Obaidat and
                  Slawomir Koziel},
  title        = {Early Analysis of Ambient Systems {SYSML} Properties using OMEGA2-IFx},
  booktitle    = {{SIMULTECH} 2013 - Proceedings of the 3rd International Conference
                  on Simulation and Modeling Methodologies, Technologies and Applications,
                  Reykjav{\'{\i}}k, Iceland, 29-31 July, 2013},
  pages        = {147--154},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004483101470154},
  doi          = {10.5220/0004483101470154},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/AhmadDBOB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013acesmb,
  editor       = {Iulian Ober and
                  Florian Noyrit and
                  Susanne Graf and
                  Gabor Karsai},
  title        = {Proceedings of the 6th International Workshop on Model Based Architecting
                  and Construction of Embedded Systems co-located with {ACM/IEEE} 16th
                  International Conference on Model Driven Engineering Languages and
                  Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1084},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1084},
  urn          = {urn:nbn:de:0074-1084-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2013acesmb.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DragomirOL12,
  author       = {Iulia Dragomir and
                  Iulian Ober and
                  David Lesens},
  editor       = {Isabelle Perseil and
                  Karin K. Breitman and
                  Marc Pouzet},
  title        = {A Case Study in Formal System Engineering with SysML},
  booktitle    = {17th {IEEE} International Conference on Engineering of Complex Computer
                  Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  pages        = {189--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.1},
  doi          = {10.1109/ICECCS.2012.1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/DragomirOL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AboussororOO12,
  author       = {El Arbi Aboussoror and
                  Ileana Ober and
                  Iulian Ober},
  editor       = {Robert B. France and
                  J{\"{u}}rgen Kazmeier and
                  Ruth Breu and
                  Colin Atkinson},
  title        = {Seeing Errors: Model Driven Simulation Trace Visualization},
  booktitle    = {Model Driven Engineering Languages and Systems - 15th International
                  Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
                  5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7590},
  pages        = {480--496},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33666-9\_31},
  doi          = {10.1007/978-3-642-33666-9\_31},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/AboussororOO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2012acesmb,
  editor       = {Iulian Ober},
  title        = {Proceedings of the 5th International Workshop on Model Based Architecting
                  and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck,
                  Austria, September 30, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2432631},
  doi          = {10.1145/2432631},
  isbn         = {978-1-4503-1800-6},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2012acesmb.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdl/2011,
  editor       = {Iulian Ober and
                  Ileana Ober},
  title        = {{SDL} 2011: Integrating System and Software Modeling - 15th International
                  {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7083},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-25264-8},
  doi          = {10.1007/978-3-642-25264-8},
  isbn         = {978-3-642-25263-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/OberODA11,
  author       = {Ileana Ober and
                  Iulian Ober and
                  Iulia Dragomir and
                  El Arbi Aboussoror},
  title        = {UML/SysML semantic tunings},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {257--264},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11334-011-0163-2},
  doi          = {10.1007/S11334-011-0163-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/OberODA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaelenGOWEO11,
  author       = {Stefan Van Baelen and
                  S{\'{e}}bastien G{\'{e}}rard and
                  Ileana Ober and
                  Thomas Weigert and
                  Hu{\'{a}}scar Espinoza and
                  Iulian Ober},
  editor       = {J{\"{o}}rg Kienzle},
  title        = {Model Based Architecting and Construction of Embedded Systems {(ACES-MB}
                  2011)},
  booktitle    = {Models in Software Engineering - Workshops and Symposia at {MODELS}
                  2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7167},
  pages        = {257--261},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29645-1\_25},
  doi          = {10.1007/978-3-642-29645-1\_25},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/BaelenGOWEO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/OberD11,
  author       = {Iulian Ober and
                  Iulia Dragomir},
  editor       = {Ivana Cern{\'{a}} and
                  Tibor Gyim{\'{o}}thy and
                  Juraj Hromkovic and
                  Keith G. Jeffery and
                  Rastislav Kr{\'{a}}lovic and
                  Marko Vukolic and
                  Stefan Wolf},
  title        = {Unambiguous {UML} Composite Structures: The {OMEGA2} Experience},
  booktitle    = {{SOFSEM} 2011: Theory and Practice of Computer Science - 37th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 22-28, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6543},
  pages        = {418--430},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18381-2\_35},
  doi          = {10.1007/978-3-642-18381-2\_35},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/OberD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/OberD10,
  author       = {Iulian Ober and
                  Iulia Dragomir},
  editor       = {Radu Calinescu and
                  Richard F. Paige and
                  Marta Z. Kwiatkowska},
  title        = {{OMEGA2:} {A} New Version of the Profile and the Tools},
  booktitle    = {15th {IEEE} International Conference on Engineering of Complex Computer
                  Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
  pages        = {373--378},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICECCS.2010.41},
  doi          = {10.1109/ICECCS.2010.41},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/OberD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaelenOEWOG10,
  author       = {Stefan Van Baelen and
                  Iulian Ober and
                  Hu{\'{a}}scar Espinoza and
                  Thomas Weigert and
                  Ileana Ober and
                  S{\'{e}}bastien G{\'{e}}rard},
  editor       = {J{\"{u}}rgen Dingel and
                  Arnor Solberg},
  title        = {Model Based Architecting and Construction of Embedded Systems {(ACES-MB}
                  2010)},
  booktitle    = {Models in Software Engineering - Workshops and Symposia at {MODELS}
                  2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6627},
  pages        = {70--74},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-21210-9\_7},
  doi          = {10.1007/978-3-642-21210-9\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/BaelenOEWOG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-6155,
  author       = {Iulia Dragomir and
                  Iulian Ober},
  title        = {Well-formedness and typing rules for {UML} Composite Structures},
  journal      = {CoRR},
  volume       = {abs/1010.6155},
  year         = {2010},
  url          = {http://arxiv.org/abs/1010.6155},
  eprinttype    = {arXiv},
  eprint       = {1010.6155},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-6155.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaelenWOEO09,
  author       = {Stefan Van Baelen and
                  Thomas Weigert and
                  Ileana Ober and
                  Hu{\'{a}}scar Espinoza and
                  Iulian Ober},
  editor       = {Sudipto Ghosh},
  title        = {Model Based Architecting and Construction of Embedded Systems {(ACES-MB}
                  2009)},
  booktitle    = {Models in Software Engineering, Workshops and Symposia at {MODELS}
                  2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6002},
  pages        = {63--67},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-12261-3\_7},
  doi          = {10.1007/978-3-642-12261-3\_7},
  timestamp    = {Wed, 23 Feb 2022 12:58:06 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BaelenWOEO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/OberGYO08,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Yuri Yushtein and
                  Ileana Ober},
  title        = {Timing analysis and validation with {UML:} the case of the embedded
                  {MARS} bus manager},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {4},
  number       = {3},
  pages        = {301--308},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11334-008-0066-z},
  doi          = {10.1007/S11334-008-0066-Z},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/OberGYO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HoomanKOVY08,
  author       = {Jozef Hooman and
                  Hillel Kugler and
                  Iulian Ober and
                  Anjelika Votintseva and
                  Yuri Yushtein},
  title        = {Supporting UML-based development of embedded systems by formal techniques},
  journal      = {Softw. Syst. Model.},
  volume       = {7},
  number       = {2},
  pages        = {131--155},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10270-006-0043-7},
  doi          = {10.1007/S10270-006-0043-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HoomanKOVY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/OberH08,
  author       = {Iulian Ober and
                  Nicolas Halbwachs},
  editor       = {Fabrice Kordon and
                  Tullio Vardanega},
  title        = {On the Timed Automata-Based Verification of Ravenscar Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
                  International Conference on Reliable Software Technologies, Venice,
                  Italy, June 16-20, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5026},
  pages        = {30--43},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68624-8\_3},
  doi          = {10.1007/978-3-540-68624-8\_3},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/OberH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OberBGFWG08,
  author       = {Iulian Ober and
                  Stefan Van Baelen and
                  Susanne Graf and
                  Mamoun Filali and
                  Thomas Weigert and
                  S{\'{e}}bastien G{\'{e}}rard},
  editor       = {Michel R. V. Chaudron},
  title        = {Model Based Architecting and Construction of Embedded Systems},
  booktitle    = {Models in Software Engineering, Workshops and Symposia at {MODELS}
                  2008, Toulouse, France, September 28 - October 3, 2008. Reports and
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5421},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01648-6\_1},
  doi          = {10.1007/978-3-642-01648-6\_1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/OberBGFWG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OberCL08,
  author       = {Iulian Ober and
                  Bernard Coulette and
                  Younes Lakhrissi},
  editor       = {Krzysztof Czarnecki and
                  Ileana Ober and
                  Jean{-}Michel Bruel and
                  Axel Uhl and
                  Markus V{\"{o}}lter},
  title        = {Behavioral Modelling and Composition of Object Slices Using Event
                  Observation},
  booktitle    = {Model Driven Engineering Languages and Systems, 11th International
                  Conference, MoDELS 2008, Toulouse, France, September 28 - October
                  3, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5301},
  pages        = {219--233},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87875-9\_16},
  doi          = {10.1007/978-3-540-87875-9\_16},
  timestamp    = {Fri, 30 Dec 2022 23:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/models/OberCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Ober08,
  author       = {Iulian Ober},
  editor       = {Michel R. V. Chaudron},
  title        = {{MODELS} Research Projects Symposium},
  booktitle    = {Models in Software Engineering, Workshops and Symposia at {MODELS}
                  2008, Toulouse, France, September 28 - October 3, 2008. Reports and
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5421},
  pages        = {400--401},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01648-6\_41},
  doi          = {10.1007/978-3-642-01648-6\_41},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Ober08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrafOO06,
  author       = {Susanne Graf and
                  Ileana Ober and
                  Iulian Ober},
  title        = {A real-time profile for {UML}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {8},
  number       = {2},
  pages        = {113--127},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10009-005-0213-x},
  doi          = {10.1007/S10009-005-0213-X},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GrafOO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/OberGO06,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Ileana Ober},
  title        = {Validating timed {UML} models by simulation and verification},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {8},
  number       = {2},
  pages        = {128--145},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10009-005-0205-x},
  doi          = {10.1007/S10009-005-0205-X},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/OberGO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/OberGL06,
  author       = {Iulian Ober and
                  Susanne Graf and
                  David Lesens},
  editor       = {Roberto Gorrieri and
                  Heike Wehrheim},
  title        = {Modeling and Validation of a Software Architecture for the Ariane-5
                  Launcher},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
                  {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
                  June 14-16, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4037},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11768869\_6},
  doi          = {10.1007/11768869\_6},
  timestamp    = {Thu, 14 Oct 2021 10:14:37 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/OberGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/OberGY06,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Yuri Yushtein},
  editor       = {Holger Giese and
                  Bernhard Rumpe and
                  Bernhard Sch{\"{a}}tz},
  title        = {Using an {UML} profile for timing analysis with the {IF} validation
                  tool-set},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
                  Modellbasierte Entwicklung eingebetteter Systeme},
  series       = {Informatik-Bericht},
  volume       = {2006-1},
  pages        = {75--84},
  publisher    = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
  year         = {2006},
  url          = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:39:38 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/OberGY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GrafGHOS06,
  author       = {Susanne Graf and
                  S{\'{e}}bastien G{\'{e}}rard and
                  {\O}ystein Haugen and
                  Iulian Ober and
                  Bran Selic},
  editor       = {Thomas K{\"{u}}hne},
  title        = {Modelling and Analysis of Real Time and Embedded Systems - Using {UML}},
  booktitle    = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
                  Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4364},
  pages        = {126--130},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69489-2\_16},
  doi          = {10.1007/978-3-540-69489-2\_16},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/GrafGHOS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GrafGHOS05,
  author       = {Susanne Graf and
                  S{\'{e}}bastien G{\'{e}}rard and
                  {\O}ystein Haugen and
                  Iulian Ober and
                  Bran Selic},
  editor       = {Jean{-}Michel Bruel},
  title        = {Modeling and Analysis of Real-Time and Embedded Systems},
  booktitle    = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
                  Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica,
                  October 2-7, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3844},
  pages        = {58--66},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11663430\_7},
  doi          = {10.1007/11663430\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/GrafGHOS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BozgaGOOS04,
  author       = {Marius Bozga and
                  Susanne Graf and
                  Ileana Ober and
                  Iulian Ober and
                  Joseph Sifakis},
  editor       = {Marco Bernardo and
                  Flavio Corradini},
  title        = {The {IF} Toolset},
  booktitle    = {Formal Methods for the Design of Real-Time Systems, International
                  School on Formal Methods for the Design of Computer, Communication
                  and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
                  2004, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3185},
  pages        = {237--267},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30080-9\_8},
  doi          = {10.1007/978-3-540-30080-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/BozgaGOOS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/OberGO04,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Ileana Ober},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Validation of {UML} Models via a Mapping to Communicating Extended
                  Timed Automata},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {127--145},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_9},
  doi          = {10.1007/978-3-540-24732-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/OberGO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BozgaGMO04,
  author       = {Marius Bozga and
                  Susanne Graf and
                  Laurent Mounier and
                  Iulian Ober},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {{IF} Validation Environment Tutorial},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {306--307},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_22},
  doi          = {10.1007/978-3-540-24732-6\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BozgaGMO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/OberK01,
  author       = {Iulian Ober and
                  Alain Kerbrat},
  editor       = {Rick Reed and
                  Jeanne Reed},
  title        = {Verification of Quantitative Temporal Properties of {SDL} Specifications},
  booktitle    = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
                  Denmark, June 27-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2078},
  pages        = {182--202},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48213-X\_12},
  doi          = {10.1007/3-540-48213-X\_12},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/OberK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BozgaGMORV01,
  author       = {Marius Bozga and
                  Susanne Graf and
                  Laurent Mounier and
                  Iulian Ober and
                  Jean{-}Luc Roux and
                  Daniel Vincent},
  editor       = {Rick Reed and
                  Jeanne Reed},
  title        = {Timed Extensions for {SDL}},
  booktitle    = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
                  Denmark, June 27-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2078},
  pages        = {223--240},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48213-X\_14},
  doi          = {10.1007/3-540-48213-X\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/BozgaGMORV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BozgaGKMOV00,
  author       = {Marius Bozga and
                  Susanne Graf and
                  Alain Kerbrat and
                  Laurent Mounier and
                  Iulian Ober and
                  Daniel Vincent},
  editor       = {Edel Sherratt},
  title        = {{SDL} for Real-Time: What is Missing?},
  booktitle    = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
                  France, June 26-28, 2000},
  pages        = {108},
  publisher    = {VERIMAG, IRISA, {SDL} Forum},
  year         = {2000},
  timestamp    = {Mon, 09 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sam/BozgaGKMOV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/OberS99,
  author       = {Iulian Ober and
                  Ileana Stan},
  editor       = {Patrick Amestoy and
                  Philippe Berger and
                  Michel J. Dayd{\'{e}} and
                  Iain S. Duff and
                  Val{\'{e}}rie Frayss{\'{e}} and
                  Luc Giraud and
                  Daniel Ruiz},
  title        = {On the Concurrent Object Model of {UML}},
  booktitle    = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
                  Toulouse, France, August 31 - September 3, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1685},
  pages        = {1377--1384},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48311-X\_193},
  doi          = {10.1007/3-540-48311-X\_193},
  timestamp    = {Tue, 04 Jun 2019 14:36:07 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/OberS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/OberK99,
  author       = {Iulian Ober and
                  Alain Kerbrat},
  editor       = {Jianping Wu and
                  Samuel T. Chanson and
                  Qiang Gao},
  title        = {Specification and execution of tests using tMsc},
  booktitle    = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
                  {XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
                  on Formal Description Techniques for Distributed Systems and Communication
                  Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
                  Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
  series       = {{IFIP} Conference Proceedings},
  volume       = {156},
  pages        = {453--468},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/OberK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics