PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hillah, Lom-Messan"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).

, , , , , , , , , , , , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 388-393. Springer, (2017)

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.

Ines Lombardi University of Stuttgart

Emilia Lomeli Melendrez University of Stuttgart

Giuliano Lombardo University of Stuttgart

 

Other publications of authors with the same name

A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams., , , and . ICECCS, page 107-116. IEEE Computer Society, (2011)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques., , , and . ICECCS, page 252-255. IEEE Computer Society, (2013)A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems., , , , , , , and . ICFEM, volume 8144 of Lecture Notes in Computer Science, page 199-214. Springer, (2013)Layered Data: A Modular Formal Definition without Formalisms., , , , , , and . PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 287-306. CEUR-WS.org, (2016)Software Product Line Extraction from Bytecode Based Applications., and . ICECCS, page 221-225. IEEE Computer Society, (2018)Exact and Efficient Temporal Steering of Software Behavioral Model Inference., , , and . ICECCS, page 166-175. IEEE Computer Society, (2014)Raw Report on the Model Checking Contest at Petri Nets 2012, , , , , , , , , and 4 other author(s). CoRR, (2012)Extending PNML Scope: the Prioritised Petri Nets Experience., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 92-106. CEUR-WS.org, (2011)Extending pnml Scope: A Framework to Combine Petri Nets Types., , , and . Trans. Petri Nets and Other Models of Concurrency, (2012)