Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lars Hamann
@inproceedings{DBLP:conf/models/ClarisoH23,
author = {Robert Claris{\'{o}} and
Lars Hamann},
title = {International Workshop on {OCL} and Textual Modeling {(OCL} 2023)},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {391--392},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00070},
doi = {10.1109/MODELS-C59198.2023.00070},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/ClarisoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaH23,
author = {Martin Gogolla and
Lars Hamann},
editor = {Virgile Prevosto and
Cristina Seceleanu},
title = {Proving Properties of Operation Contracts with Test Scenarios},
booktitle = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
UK, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {97--107},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38828-6\_6},
doi = {10.1007/978-3-031-38828-6\_6},
timestamp = {Wed, 26 Jul 2023 08:43:11 +0200},
biburl = {https://dblp.org/rec/conf/tap/GogollaH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannGA22,
author = {Lars Hamann and
Martin Gogolla and
Mustafa Al{-}Lail},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Categorization of approaches to extend and reuse {OCL}},
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 = {847--851},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3561596},
doi = {10.1145/3550356.3561596},
timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HamannGA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Al-LailRCHP22,
author = {Mustafa Al{-}Lail and
Antonio Rosales and
Hector Cardenas and
Lars Hamann and
Alfredo J. Perez},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Transformation of {TOCL} temporal properties into {OCL}},
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 = {899--907},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3563132},
doi = {10.1145/3550356.3563132},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/Al-LailRCHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/HamannPPRV20,
author = {Lars Hamann and
Richard F. Paige and
Alfonso Pierantonio and
Bernhard Rumpe and
Antonio Vallecillo},
title = {Preface to the {JOT} Special Issue dedicated to Martin Gogolla on
his 65th Birthday},
journal = {J. Object Technol.},
volume = {19},
number = {3},
pages = {1--5},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.3.e1},
doi = {10.5381/JOT.2020.19.3.E1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/HamannPPRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/HilkenH20,
author = {Frank Hilken and
Lars Hamann},
title = {History of the {USE} Tool 20 Years of {UML/OCL} Modeling Made in Germany},
journal = {J. Object Technol.},
volume = {19},
number = {3},
pages = {3:1--13},
year = {2020},
url = {https://doi.org/10.5381/jot.2020.19.3.a20},
doi = {10.5381/JOT.2020.19.3.A20},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/HilkenH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannGD16,
author = {Lars Hamann and
Martin Gogolla and
Nisha Desai},
editor = {Achim D. Brucker and
Jordi Cabot and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
title = {On the Support of Qualified Associations in {OCL}},
booktitle = {Proceedings of the 16th International Workshop on {OCL} and Textual
Modelling co-located with 19th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
October 2, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1756},
pages = {3--15},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1756/paper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HamannGD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Hamann15,
author = {Lars Hamann},
title = {On formalizing {UML} and {OCL} features and their employment to runtime
verification},
school = {University of Bremen},
year = {2015},
url = {http://elib.suub.uni-bremen.de/edocs/00104250-1.pdf},
urn = {urn:nbn:de:gbv:46-00104250-10},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Hamann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/HamannSG15,
author = {Lars Hamann and
Karsten Sohr and
Martin Gogolla},
editor = {Frank Piessens and
Juan Caballero and
Nataliia Bielova},
title = {Monitoring Database Access Constraints with an {RBAC} Metamodel: {A}
Feasibility Study},
booktitle = {Engineering Secure Software and Systems - 7th International Symposium,
ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8978},
pages = {211--226},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15618-7\_16},
doi = {10.1007/978-3-319-15618-7\_16},
timestamp = {Mon, 01 May 2023 13:01:13 +0200},
biburl = {https://dblp.org/rec/conf/essos/HamannSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HamannG15,
author = {Lars Hamann and
Martin Gogolla},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Endogene Metamodellierung der Semantik von neueren {UML} 2 Sprachmitteln},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {31--32},
publisher = {{GI}},
year = {2015},
timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
biburl = {https://dblp.org/rec/conf/se/HamannG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHHS15,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Matthias Sedlmeier},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Checking {UML} and {OCL} Model Consistency: An Experience Report on
a Middle-Sized Case Study},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {129--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_8},
doi = {10.1007/978-3-319-21215-9\_8},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/GogollaHHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ButtnerBHHKGRSRS14,
author = {Fabian B{\"{u}}ttner and
Ullrich Bartels and
Lars Hamann and
Oliver Hofrichter and
Mirco Kuhlmann and
Martin Gogolla and
Lutz Rabe and
Frank Steimke and
Yorck Rabenstein and
Alina Stosiek},
title = {Model-driven standardization of public authority data interchange},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {162--175},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.03.009},
doi = {10.1016/J.SCICO.2013.03.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ButtnerBHHKGRSRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/GogollaHHSN14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Matthias Sedlmeier and
Quang Dung Nguyen},
title = {Behavior Modeling with Interaction Diagrams in a {UML} and {OCL} Tool},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630772},
doi = {10.1145/2630768.2630772},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/GogollaHHSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/GogollaHHS14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Matthias Sedlmeier},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Modeling Behavior with Interaction Diagrams in a {UML} and {OCL} Tool},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {31--58},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_2},
doi = {10.1007/978-3-319-21912-7\_2},
timestamp = {Sat, 19 Oct 2019 20:12:40 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/GogollaHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/HilkenHG14,
author = {Frank Hilken and
Lars Hamann and
Martin Gogolla},
editor = {Davide Di Ruscio and
D{\'{a}}niel Varr{\'{o}}},
title = {Transformation of {UML} and {OCL} Models into Filmstrip Models},
booktitle = {Theory and Practice of Model Transformations - 7th International Conference,
ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8568},
pages = {170--185},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08789-4\_13},
doi = {10.1007/978-3-319-08789-4\_13},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/HilkenHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/GogollaHHKF14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Mirco Kuhlmann and
Robert B. France},
editor = {Hans{-}Georg Fill and
Dimitris Karagiannis and
Ulrich Reimer},
title = {From Application Models to Filmstrip Models: An Approach to Automatic
Validation of Model Dynamics},
booktitle = {Modellierung 2014, 19.-21. M{\"{a}}rz 2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-225}},
pages = {273--288},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/17056},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/GogollaHHKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GogollaSHH14,
author = {Martin Gogolla and
Matthias Sedlmeier and
Lars Hamann and
Frank Hilken},
editor = {Colin Atkinson and
Georg Grossmann and
Thomas K{\"{u}}hne and
Juan de Lara},
title = {On metamodel superstructures employing {UML} generalization features},
booktitle = {Proceedings of the Workshop on Multi-Level Modelling co-located with
{ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1286},
pages = {13--22},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1286/p2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/GogollaSHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GogollaHH14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken},
editor = {J{\"{u}}rgen Dingel and
Juan de Lara and
Levi Lucio and
Hans Vangheluwe},
title = {On Static and Dynamic Analysis of {UML} and {OCL} Transformation Models},
booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located
with {ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1277},
pages = {24--33},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1277/3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/GogollaHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannHG14,
author = {Lars Hamann and
Frank Hilken and
Martin Gogolla},
editor = {Francis Bordeleau and
J{\"{u}}rgen Dingel and
Sebastien Gerard and
Sebastian Voss},
title = {Collected Experience and Thoughts on Long Term Development of an Open
Source {MDE} Tool},
booktitle = {Proceedings of the 1st Workshop on Open Source Software for Model
Driven Engineering co-located with {ACM/IEEE} 17th International Conference
on Model Driven Engineering Languages {\&} Systems, OSS4MDE@MoDELS
2014, Valencia, Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1290},
pages = {42--52},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1290/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HamannHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HamannGH14,
author = {Lars Hamann and
Martin Gogolla and
Oliver Hofrichter},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Zur Integration von Struktur- und Verhaltensmodellierung mit {OCL}},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {75--76},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30967},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HamannGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GogollaHH14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {Checking Transformation Model Properties with a {UML} and {OCL} Model
Validator},
booktitle = {Proceedings of the Third International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1325},
pages = {16--25},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1325/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/GogollaHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannG13,
author = {Lars Hamann and
Martin Gogolla},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Endogenous Metamodeling Semantics for Structural {UML} 2 Concepts},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {488--504},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_30},
doi = {10.1007/978-3-642-41533-3\_30},
timestamp = {Mon, 21 Jun 2021 12:26:18 +0200},
biburl = {https://dblp.org/rec/conf/models/HamannG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KuhlmannHGB12,
author = {Mirco Kuhlmann and
Lars Hamann and
Martin Gogolla and
Fabian B{\"{u}}ttner},
title = {A benchmark for {OCL} engine accuracy, determinateness, and efficiency},
journal = {Softw. Syst. Model.},
volume = {11},
number = {2},
pages = {165--182},
year = {2012},
url = {https://doi.org/10.1007/s10270-010-0174-8},
doi = {10.1007/S10270-010-0174-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/KuhlmannHGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/HamannVGK12,
author = {Lars Hamann and
L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and
Martin Gogolla and
Mirco Kuhlmann},
editor = {Tom Mens and
Anthony Cleve and
Rudolf Ferenc},
title = {Abstract Runtime Monitoring with {USE}},
booktitle = {16th European Conference on Software Maintenance and Reengineering,
{CSMR} 2012, Szeged, Hungary, March 27-30, 2012},
pages = {549--552},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSMR.2012.73},
doi = {10.1109/CSMR.2012.73},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/HamannVGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/HamannHG12,
author = {Lars Hamann and
Oliver Hofrichter and
Martin Gogolla},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {OCL-Based Runtime Monitoring of Applications with Protocol State Machines},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {384--399},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_29},
doi = {10.1007/978-3-642-31491-9\_29},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/HamannHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/HamannBKG12,
author = {Lars Hamann and
Fabian B{\"{u}}ttner and
Mirco Kuhlmann and
Martin Gogolla},
editor = {Elmar J. Sinz and
Andy Sch{\"{u}}rr},
title = {Optimierte Suche von Modellinstanzen f{\"{u}}r UML/OCL-Beschreibungen
in {USE}},
booktitle = {Modellierung 2012, 14.-16. M{\"{a}}rz 2012, Bamberg, Deutschland},
series = {{LNI}},
volume = {{P-201}},
pages = {155--170},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18137},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/HamannBKG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannGH12,
author = {Lars Hamann and
Martin Gogolla and
Daniel Honsel},
title = {Towards supporting multiple execution environments for {UML/OCL} models
at runtime},
booktitle = {Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria,
October 02, 2012},
pages = {46--51},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422518.2422526},
doi = {10.1145/2422518.2422526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HamannGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HofrichterHGS12,
author = {Oliver Hofrichter and
Lars Hamann and
Martin Gogolla and
Frank Steimke},
editor = {Mira Balaban and
Jordi Cabot and
Martin Gogolla and
Claas Wilke},
title = {The secret life of {OCL} constraints},
booktitle = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
Austria, September 30, 2012},
pages = {63--64},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2428516.2428528},
doi = {10.1145/2428516.2428528},
timestamp = {Wed, 23 Feb 2022 13:04:32 +0100},
biburl = {https://dblp.org/rec/conf/models/HofrichterHGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannHG12,
author = {Lars Hamann and
Oliver Hofrichter and
Martin Gogolla},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {On Integrating Structure and Behavior Modeling with {OCL}},
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 = {235--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_16},
doi = {10.1007/978-3-642-33666-9\_16},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/HamannHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/VallecilloGBWH12,
author = {Antonio Vallecillo and
Martin Gogolla and
Loli Burgue{\~{n}}o and
Manuel Wimmer and
Lars Hamann},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Formal Specification and Testing of Model Transformations},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {399--437},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_11},
doi = {10.1007/978-3-642-30982-3\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/VallecilloGBWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruningGHK12,
author = {Jens Br{\"{u}}ning and
Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Evaluating and Debugging {OCL} Expressions in {UML} Models},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {156--162},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_13},
doi = {10.1007/978-3-642-30473-6\_13},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BruningGHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GogollaHXZ11,
author = {Martin Gogolla and
Lars Hamann and
Jie Xu and
Jun Zhang},
title = {Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {41},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.41.573},
doi = {10.14279/TUJ.ECEASST.41.573},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GogollaHXZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruningHW11,
author = {Jens Br{\"{u}}ning and
Lars Hamann and
Andreas Wolff},
title = {Extending {ASSL:} Making {UML} Metamodel-based Workflows executable},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {44},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.44.619},
doi = {10.14279/TUJ.ECEASST.44.619},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BruningHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Chimiak-OpokaDACGHW11,
author = {Joanna Dobroslawa Chimiak{-}Opoka and
Birgit Demuth and
Andreas Awenius and
Dan Chiorean and
Sebastien Gabel and
Lars Hamann and
Edward D. Willink},
title = {{OCL} Tools Report based on the {IDE4OCL} Feature Model},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {44},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.44.665},
doi = {10.14279/TUJ.ECEASST.44.665},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Chimiak-OpokaDACGHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HamannGK11,
author = {Lars Hamann and
Martin Gogolla and
Mirco Kuhlmann},
title = {OCL-based Runtime Monitoring of {JVM} hosted Applications},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {44},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.44.623},
doi = {10.14279/TUJ.ECEASST.44.623},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HamannGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/KuhlmannHG11,
author = {Mirco Kuhlmann and
Lars Hamann and
Martin Gogolla},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Extensive Validation of {OCL} Models by Integrating {SAT} Solving
into {USE}},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {290--306},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_21},
doi = {10.1007/978-3-642-21952-8\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/KuhlmannHG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/HamannGK10,
author = {Lars Hamann and
Martin Gogolla and
Mirco Kuhlmann},
editor = {Gregor Engels and
Dimitris Karagiannis and
Heinrich C. Mayr},
title = {Zur Validierung von Kompositionsstrukturen in {UML} mit {USE}},
booktitle = {Modellierung 2010, 24.-26. M{\"{a}}rz 2010, Klagenfurt, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-161}},
pages = {169--177},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19695},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/HamannGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHK10,
author = {Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann},
editor = {Gordon Fraser and
Angelo Gargantini},
title = {Proving and Visualizing {OCL} Invariant Independence by Automatically
Generated Test Cases},
booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {38--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13977-2\_5},
doi = {10.1007/978-3-642-13977-2\_5},
timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
biburl = {https://dblp.org/rec/conf/tap/GogollaHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ButtnerGHKL09,
author = {Fabian B{\"{u}}ttner and
Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann and
Arne Lindow},
editor = {Sudipto Ghosh},
title = {On Better Understanding {OCL} Collections \emph{or} An {OCL} Ordered
Set Is Not an {OCL} Set},
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 = {276--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_26},
doi = {10.1007/978-3-642-12261-3\_26},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/ButtnerGHKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaKH09,
author = {Martin Gogolla and
Mirco Kuhlmann and
Lars Hamann},
editor = {Catherine Dubois},
title = {Consistency, Independence and Consequences in {UML} and {OCL} Models},
booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3\_8},
doi = {10.1007/978-3-642-02949-3\_8},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/GogollaKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-21 16:56 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:
