default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Iulia Dragomir
@article{DBLP:journals/isse/MediouniDNB24,
author = {Braham Lotfi Mediouni and
Iulia Dragomir and
Ayoub Nouri and
Saddek Bensalem},
title = {Model-based design of resilient systems using quantitative risk assessment},
journal = {Innov. Syst. Softw. Eng.},
volume = {20},
number = {1},
pages = {3--16},
year = {2024},
url = {https://doi.org/10.1007/s11334-023-00527-0},
doi = {10.1007/S11334-023-00527-0},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/MediouniDNB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PreoteasaDT22,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {The refinement calculus of reactive systems},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104819},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104819},
doi = {10.1016/J.IC.2021.104819},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PreoteasaDT22.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/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}
}
@article{DBLP:journals/sttt/DragomirPT20,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems Toolset},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {689--708},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00561-4},
doi = {10.1007/S10009-020-00561-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DragomirPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/MediouniDNB20,
author = {Braham Lotfi Mediouni and
Iulia Dragomir and
Ayoub Nouri and
Saddek Bensalem},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Model-Based Design of Resilient Systems Using Quantitative Risk Assessment},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {149--164},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_11},
doi = {10.1007/978-3-030-65955-4\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/MediouniDNB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/DragomirB19,
author = {Iulia Dragomir and
Saddek Bensalem},
title = {Rigorous Design of {FDIR} Systems with {BIP}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {77},
year = {2019},
url = {https://doi.org/10.14279/tuj.eceasst.77.1107},
doi = {10.14279/TUJ.ECEASST.77.1107},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/DragomirB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PreoteasaDT19,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Mechanically Proving Determinacy of Hierarchical Block Diagram Translations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {577--600},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_27},
doi = {10.1007/978-3-030-11245-5\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PreoteasaDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DragomirIBB18,
author = {Iulia Dragomir and
Simon Iosti and
Marius Bozga and
Saddek Bensalem},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Designing Systems with Detection and Reconfiguration Capabilities:
{A} Formal Approach},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {155--171},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_11},
doi = {10.1007/978-3-030-03424-5\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/DragomirIBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DragomirPT18,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
editor = {Dirk Beyer and
Marieke Huisman},
title = {The Refinement Calculus of Reactive Systems Toolset},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {201--208},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_12},
doi = {10.1007/978-3-319-89963-3\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DragomirPT18.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/forte/PreoteasaDT17,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
editor = {Ahmed Bouajjani and
Alexandra Silva},
title = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
as Part of the 12th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {194--209},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_14},
doi = {10.1007/978-3-319-60225-7\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PreoteasaDT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03979,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems},
journal = {CoRR},
volume = {abs/1710.03979},
year = {2017},
url = {http://arxiv.org/abs/1710.03979},
eprinttype = {arXiv},
eprint = {1710.03979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08195,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems Toolset},
journal = {CoRR},
volume = {abs/1710.08195},
year = {2017},
url = {http://arxiv.org/abs/1710.08195},
eprinttype = {arXiv},
eprint = {1710.08195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DragomirPT16,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Compositional Semantics and Analysis of Hierarchical Block Diagrams},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {38--56},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_3},
doi = {10.1007/978-3-319-32582-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/DragomirPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PreoteasaDT16,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {A Nondeterministic and Abstract Algorithm for Translating Hierarchical
Block Diagrams},
journal = {CoRR},
volume = {abs/1611.01337},
year = {2016},
url = {http://arxiv.org/abs/1611.01337},
eprinttype = {arXiv},
eprint = {1611.01337},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PreoteasaDT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PreoteasaDT16a,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
journal = {CoRR},
volume = {abs/1612.05494},
year = {2016},
url = {http://arxiv.org/abs/1612.05494},
eprinttype = {arXiv},
eprint = {1612.05494},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PreoteasaDT16a.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}
}
@article{DBLP:journals/corr/DragomirPT15,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {Translating Hierarchical Block Diagrams into Composite Predicate Transformers},
journal = {CoRR},
volume = {abs/1510.04873},
year = {2015},
url = {http://arxiv.org/abs/1510.04873},
eprinttype = {arXiv},
eprint = {1510.04873},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DragomirPT15.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}
}
@proceedings{DBLP:conf/models/2014acesmb,
editor = {Florian Noyrit and
Susanne Graf and
Iulia Dragomir},
title = {Proceedings of the 7th International Workshop on Model-based Architecting
and Construction of Embedded Systems co-located with {ACM/IEEE} 17th
International Conference on Model Driven Engineering Languages and
Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1250},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1250},
urn = {urn:nbn:de:0074-1250-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014acesmb.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/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}
}
@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}
}
@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/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}
}
@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}
}
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.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
