Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank Hilken
@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/modellierung/SchusterGHGS20,
author = {Marcel Schuster and
Markus Germeier and
Frank Hilken and
Martin Gogolla and
Karsten Sohr},
editor = {Dominik Bork and
Dimitris Karagiannis and
Heinrich C. Mayr},
title = {Modeling Low-Level Network Configurations for Analysis, Simulation
and Testing},
booktitle = {Modellierung 2020, 19.-21. Februar 2020, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-302}},
pages = {157--172},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2020},
url = {https://dl.gi.de/handle/20.500.12116/31838},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/SchusterGHGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/GogollaHD18,
author = {Martin Gogolla and
Frank Hilken and
Khanh{-}Hoang Doan},
title = {Achieving model quality through model validation, verification and
exploration},
journal = {Comput. Lang. Syst. Struct.},
volume = {54},
pages = {474--511},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2017.10.001},
doi = {10.1016/J.CL.2017.10.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/GogollaHD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HilkenGBV18,
author = {Frank Hilken and
Martin Gogolla and
Loli Burgue{\~{n}}o and
Antonio Vallecillo},
title = {Testing models and model transformations using classifying terms},
journal = {Softw. Syst. Model.},
volume = {17},
number = {3},
pages = {885--912},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0568-3},
doi = {10.1007/S10270-016-0568-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HilkenGBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/GogollaHNW17,
author = {Martin Gogolla and
Frank Hilken and
Philipp Niemann and
Robert Wille},
editor = {Anthony Anjorin and
Hu{\'{a}}scar Espinoza},
title = {Formulating Model Verification Tasks Prover-Independently as {UML}
Diagrams},
booktitle = {Modelling Foundations and Applications - 13th European Conference,
ECMFA@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10376},
pages = {232--247},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61482-3\_14},
doi = {10.1007/978-3-319-61482-3\_14},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/GogollaHNW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BurguenoHVG17,
author = {Loli Burgue{\~{n}}o and
Frank Hilken and
Antonio Vallecillo and
Martin Gogolla},
editor = {Esther Guerra and
Mark van den Brand},
title = {Testing Transformation Models Using Classifying Terms},
booktitle = {Theory and Practice of Model Transformation - 10th International Conference,
ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10374},
pages = {69--85},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61473-1\_5},
doi = {10.1007/978-3-319-61473-1\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/BurguenoHVG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PrzigodaNPHWD17,
author = {Nils Przigoda and
Philipp Niemann and
Judith Peters and
Frank Hilken and
Robert Wille and
Rolf Drechsler},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {More than true or false: native support of irregular values in the
automatic validation {\&} verification of {UML/OCL} models},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {77--86},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127053},
doi = {10.1145/3127041.3127053},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PrzigodaNPHWD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DesaiGH17,
author = {Nisha Desai and
Martin Gogolla and
Frank Hilken},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {Executing Models by Filmstripping: Enhancing Validation by Filmstrip
Templates and Transformation Alternatives},
booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
Research Competition, and Tools and Demonstrations co-located with
{ACM/IEEE} 20th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
17, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {88--94},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/exe\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DesaiGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GogollaVBH17,
author = {Martin Gogolla and
Antonio Vallecillo and
Loli Burgue{\~{n}}o and
Frank Hilken},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {Employing Classifying Terms for Testing Model Transformations},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {91--92},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1287},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/GogollaVBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GogollaHK17,
author = {Martin Gogolla and
Frank Hilken and
Andreas K{\"{a}}stner},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Some Narrow and Broad Challenges in {MDD}},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {172--177},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_15},
doi = {10.1007/978-3-319-74730-9\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/GogollaHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHDD17,
author = {Martin Gogolla and
Frank Hilken and
Khanh{-}Hoang Doan and
Nisha Desai},
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Checking {UML} and {OCL} Model Behavior with Filmstripping and Classifying
Terms},
booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {119--128},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0\_7},
doi = {10.1007/978-3-319-61467-0\_7},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/GogollaHDD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/HilkenG16,
author = {Frank Hilken and
Martin Gogolla},
editor = {Paris Kitsos},
title = {Verifying Linear Temporal Logic Properties in {UML/OCL} Class Diagrams
Using Filmstripping},
booktitle = {2016 Euromicro Conference on Digital System Design, {DSD} 2016, Limassol,
Cyprus, August 31 - September 2, 2016},
pages = {708--713},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSD.2016.42},
doi = {10.1109/DSD.2016.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/HilkenG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/HilkenNGW16,
author = {Frank Hilken and
Philipp Niemann and
Martin Gogolla and
Robert Wille},
editor = {Andreas Oberweis and
Ralf H. Reussner},
title = {Towards a Catalog of Structural and Behavioral Verification Tasks
for {UML/OCL} Models},
booktitle = {Modellierung 2016, 2.-4. M{\"{a}}rz 2016, Karlsruhe},
series = {{LNI}},
volume = {{P-254}},
pages = {117--124},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/834},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/HilkenNGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/GogollaH16,
author = {Martin Gogolla and
Frank Hilken},
editor = {Andreas Oberweis and
Ralf H. Reussner},
title = {Model Validation and Verification Options in a Contemporary {UML}
and {OCL} Analysis Tool},
booktitle = {Modellierung 2016, 2.-4. M{\"{a}}rz 2016, Karlsruhe},
series = {{LNI}},
volume = {{P-254}},
pages = {205--220},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/825},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/GogollaH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PrzigodaHPWGD16,
author = {Nils Przigoda and
Frank Hilken and
Judith Peters and
Robert Wille and
Martin Gogolla and
Rolf Drechsler},
editor = {Michalis Famelis and
Daniel Ratiu and
Gehan M. K. Selim},
title = {Integrating an SMT-Based ModelFinder into {USE}},
booktitle = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
and Validation co-located with {ACM/IEEE} 19th International Conference
on Model Driven Engineering Languages and Systems {(MODELS} 2016),
Saint-Malo, France, October 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1713},
pages = {40--45},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/PrzigodaHPWGD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BurguenoHVG16,
author = {Loli Burgue{\~{n}}o and
Frank Hilken and
Antonio Vallecillo and
Martin Gogolla},
editor = {H{\"{u}}seyin Ergin and
Richard F. Paige and
Eugene Syriani and
Steffen Zschaler and
Moussa Amrani},
title = {Generating effective test suites for model transformations using classifying
terms},
booktitle = {Joint Proceedings of the Second International Workshop on Patterns
in Model Engineering and the Fifth International Workshop on the Verification
of Model Transformation, {PAME/VOLT} 2016, co-located with {ACM/IEEE}
19th International Conference on Model Driven Engineering Languages
and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1693},
pages = {48--57},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1693/VoltPaper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BurguenoHVG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HilkenSSG16,
author = {Frank Hilken and
Marcel Schuster and
Karsten Sohr and
Martin Gogolla},
editor = {Achim D. Brucker and
Jordi Cabot and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
title = {Integrating {UML/OCL} Derived Properties into Validation and Verification
Processes},
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 = {89--104},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1756/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HilkenSSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCDGHHTWW16,
author = {Achim D. Brucker and
Jordi Cabot and
Gwendal Daniel and
Martin Gogolla and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
Frank Hilken and
Fr{\'{e}}d{\'{e}}ric Tuong and
Edward D. Willink and
Burkhart Wolff},
editor = {Achim D. Brucker and
Jordi Cabot and
Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
title = {Recent Developments in {OCL} and Textual Modelling},
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 = {157--165},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1756/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BruckerCDGHHTWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/NiemannHGW16,
author = {Philipp Niemann and
Frank Hilken and
Martin Gogolla and
Robert Wille},
editor = {Jens Knoop and
Uwe Zdun},
title = {Extracting frame conditions from operation contracts},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {89--90},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/737},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/NiemannHGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/DoanGH16,
author = {Khanh{-}Hoang Doan and
Martin Gogolla and
Frank Hilken},
editor = {Paolo Milazzo and
D{\'{a}}niel Varr{\'{o}} and
Manuel Wimmer},
title = {Towards a Developer-Oriented Process for Verifying Behavioral Properties
in {UML} and {OCL} Models},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016
Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna,
Austria, July 4-8, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9946},
pages = {207--220},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50230-4\_15},
doi = {10.1007/978-3-319-50230-4\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/DoanGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HilkenG17,
author = {Frank Hilken and
Martin Gogolla},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {User Assistance Characteristics of the {USE} Model Checking Tool},
booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
pages = {91--97},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.240.7},
doi = {10.4204/EPTCS.240.7},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/HilkenG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NiemannHGW15,
author = {Philipp Niemann and
Frank Hilken and
Martin Gogolla and
Robert Wille},
editor = {Wolfgang Nebel and
David Atienza},
title = {Assisted generation of frame conditions for formal models},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {309--312},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2755822},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/NiemannHGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/HilkenNGW15,
author = {Frank Hilken and
Philipp Niemann and
Martin Gogolla and
Robert Wille},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {From {UML/OCL} to Base Models: Transformation Concepts for Generic
Validation and Verification},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {149--165},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_12},
doi = {10.1007/978-3-319-21155-8\_12},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmt/HilkenNGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HilkenBGV15,
author = {Frank Hilken and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Antonio Vallecillo},
editor = {J{\"{u}}rgen Dingel and
Sahar Kokaly and
Levi Lucio and
Rick Salay and
Hans Vangheluwe},
title = {Iterative Development of Transformation Models by Using Classifying
Terms},
booktitle = {Proceedings of the 4th Workshop on the Analysis of Model Transformations
co-located with the 18th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2015), Ottawa, Canada,
September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1500},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1500/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HilkenBGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NiemannHGW15,
author = {Philipp Niemann and
Frank Hilken and
Martin Gogolla and
Robert Wille},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Extracting frame conditions from operation contracts},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {266--275},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338257},
doi = {10.1109/MODELS.2015.7338257},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/NiemannHGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GogollaVBH15,
author = {Martin Gogolla and
Antonio Vallecillo and
Loli Burgue{\~{n}}o and
Frank Hilken},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Employing classifying terms for testing model transformations},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {312--321},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338262},
doi = {10.1109/MODELS.2015.7338262},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GogollaVBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GogollaH15,
author = {Martin Gogolla and
Frank Hilken},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {{UML} and {OCL} Transformation Model Analysis: Checking Invariant
Independence},
booktitle = {Proceedings of the Fourth International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1530},
pages = {20--27},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1530/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/GogollaH15.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}
}
@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/models/HilkenNWG14,
author = {Frank Hilken and
Philipp Niemann and
Robert Wille and
Martin Gogolla},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Towards a Base Model for {UML} and {OCL} Verification},
booktitle = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification
and Validation co-located with 17th International Conference on Model
Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia,
Spain, September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1235},
pages = {59--68},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1235/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/HilkenNWG14.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/tap/HilkenNGW14,
author = {Frank Hilken and
Philipp Niemann and
Martin Gogolla and
Robert Wille},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Filmstripping and Unrolling: {A} Comparison of Verification Approaches
for {UML} and {OCL} Behavioral Models},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {99--116},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_8},
doi = {10.1007/978-3-319-09099-3\_8},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/HilkenNGW14.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-25 02:26 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:
