Author of the publication

Enriching megamodel management with collection-based operators.

, , , and . MoDELS, page 236-245. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

MMINT-A: A framework for model-based safety assurance., , , and . Sci. Comput. Program., (January 2024)Querying Automotive System Models and Safety Artifacts with MMINT and Viatra., , , and . MoDELS (Companion), page 2-11. IEEE, (2019)MU-MMINT: An IDE for Model Uncertainty., , , , and . ICSE (2), page 697-700. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).The ForeMoSt approach to building valid model-based safety arguments., , , , , and . Softw. Syst. Model., 22 (5): 1473-1494 (October 2023)Assurance Case Development as Data: A Manifesto., , , , , and . ICSE (NIER), page 135-139. IEEE, (2023)Validating Safety Arguments with Lean., , , , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 23-43. Springer, (2021)MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts., , , , , and . MoDELS (Companion), page 15:1-15:5. ACM, (2020)Enriching megamodel management with collection-based operators., , , and . MoDELS, page 236-245. IEEE Computer Society, (2015)Heterogeneous megamodel management using collection operators., , , , and . Softw. Syst. Model., 19 (1): 231-260 (2020)A Lean Approach to Building Valid Model-Based Safety Arguments., , , , and . MoDELS, page 194-204. IEEE, (2021)