CONTACT US TODAY: +353 61 213 028

Tiziana Margaria

Primary tabs

2017
Boßelmann S, Wickert A, Lamprecht A-L, Margaria T. Modeling Directly Executable Processes for Healthcare Professionals with XMDD. In: Pfannstiel MA, Rasche C Service Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, Tools. Service Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, Tools. Cham: Springer International Publishing; 2017. pp. 213–232. Available from: http://dx.doi.org/10.1007/978-3-319-46412-1_12
Margaria T, LeGay A. Proceedings of TACAS _23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS 2017. 2017 .
2016
Al-Alreqi S, Lamprecht A-L, Margaria T. Automatic Workflow Composition in the Geospatial Domain: An Application on Sea-Level Rise Impacts Analysis. In: 19th AGILE International Conference on Geographic Information Science. 19th AGILE International Conference on Geographic Information Science. Finland; 2016. Available from: https://agile-online.org/Conference_Paper/cds/agile_2016/shortpapers/141_Paper_in_PDF.pdf
Al-Areqi S, Lamprecht A-L, Margaria T. Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts. In: Gervasi O, Murgante B, Misra S, Rocha ACAna Maria, M. Torre C, Taniar D, O. Apduhan B, Stankova E, Wang S Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III. Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III. Cham: Springer International Publishing; 2016. pp. 134–150. Available from: http://dx.doi.org/10.1007/978-3-319-42111-7_12
Giannini P, Lamprecht A-L, Margaria T. Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework Hammoudi S, Pires LFerreira, Selic B, Desfray P. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. 2016 .
Vassev E, Hinchey M. Integration and Promotion of Autonomy with the ARE Framework. In: Margaria T, Steffen B Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Cham: Springer International Publishing; 2016. pp. 689–703. Available from: http://dx.doi.org/10.1007/978-3-319-47166-2_48
Vassev E. Safe Artificial Intelligence and Formal Methods. In: Margaria T, Steffen B Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Cham: Springer International Publishing; 2016. pp. 704–713. Available from: http://dx.doi.org/10.1007/978-3-319-47166-2_49
Lamprecht A-L, Steffen B, Margaria T. Scientific workflows with the jABC framework. International Journal on Software Tools for Technology Transfer [Internet]. 2016 :1–23. Available from: http://dx.doi.org/10.1007/s10009-016-0427-0
Lamprecht A-L, Steffen B, Margaria T. Scientific workflows with the jABC framework. International Journal on Software Tools for Technology Transfer [Internet]. 2016 :1–23. Available from: http://dx.doi.org/10.1007/s10009-016-0427-0
Varriale A, Prinetto P, Di Natale G, Steffen B, Margaria T. SEcube(TM): an Open Security Platform - General Approach and Strategies. In: International Conference on Security and Management (SAM). International Conference on Security and Management (SAM). ; 2016.
2015
Lamprecht A-L, Margaria T. Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge. Malone J, Stevens R, Forsberg K, Splendiani A. SWAT4LS [Internet]. 2015 . Available from: http://dblp.uni-trier.de/db/conf/swat4ls/swat4ls2015.html#LamprechtM15
Margaria T, Lamprecht A-L. Foundations of Semantics and Model Checking in a Software Engineering Course . First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15), co-located with 20th International Symposium on Formal Methods (FM 2015) [Internet]. 2015 . Available from: http://ceur-ws.org/Vol-1385/paper4.pdf
Al-Areqi S, Lamprecht A-L, Margaria T. Improving the Reuse of Services in Geospatial Applications with XMDD Technology . In: Improving the Reuse of Services in Geospatial Applications with XMDD Technology . Improving the Reuse of Services in Geospatial Applications with XMDD Technology . Jordan; 2015. Available from: http://icit.zuj.edu.jo/icit15/DOI/Software_Engineering/0118.pdf
Lamprecht A-L, Margaria T. Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education . Workshop on Teaching Computational Science at the 15th International Conference on Computational Science (ICCS 2015) [Internet]. 2015 . Available from: http://www.sciencedirect.com/science/article/pii/S187705091501265X
Margaria T, Lamprecht A-L. On the Use of XMDD in Software Development Education: Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual. 39th Annual IEEE Computer Software and Applications Conference (COMPSAC) [Internet]. 2015 . Available from: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7273708&tag=1
2009
Bakera M, Wagner C, Margaria T, Vassev E, Hinchey M, Bernhard S. Component-Oriented Behavior Extraction for Autonomic System Design. Proceedings of the First NASA Formal Methods Symposium (NFM 2009) [Internet]. 2009 :pp 66-75. Available from: http://hdl.handle.net/10344/2448