Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Iulian Ober
@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} }
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.