default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTiziana Margaria
Tiziana Margaria-Steffen
Person information
- affiliation: University of Limerick, Department of Computer Science and Information Systems
- affiliation: University of Potsdam, Institute of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j79]Ivan Guevara, Stephen Ryan
, Amandeep Singh, Colm Brandon, Tiziana Margaria:
Edge IoT Prototyping Using Model-Driven Representations: A Use Case for Smart Agriculture. Sensors 24(2): 495 (2024)- [e46]Jan Kofron, Tiziana Margaria, Cristina Seceleanu:
Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Lecture Notes in Computer Science 14390, Springer 2024, ISBN 978-3-031-49251-8 [contents] - [i7]Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff:
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR abs/2402.10684 (2024) - 2023
- [j78]Muhammad Rehman, Ibrahim Tariq Javed, Kashif Naseer Qureshi, Tiziana Margaria, Gwanggil Jeon:
A Cyber Secure Medical Management System by Using Blockchain. IEEE Trans. Comput. Soc. Syst. 10(4): 2123-2136 (2023) - [c190]Amandeep Singh, Tiziana Margaria, Florenc Demrozi:
CNN-based Human Activity Recognition on Edge Computing Devices. COINS 2023: 1-4 - [c189]Ciara Breathnach, Rachel Murphy, Alexander Schieweck, Enda O'Shea, Stuart Clancy, Tiziana Margaria:
Curating History Datasets and Training Materials as OER: An Experience. COMPSAC 2023: 1570-1575 - [c188]Florenc Demrozi, Marina Marchisio, Tiziana Margaria, Matteo Sacchet:
Experiences from the first delivery of a new immersive software engineering course: mathematical foundations and data analytics. COMPSAC 2023: 1576-1581 - [c187]Andy Peruccon, Roisin Lyons, Amalia de Götzen, Tiziana Margaria, Luca Simeone:
BC4ECO - Using Visual Tools for a Shared Understanding and Pedagogical Approach across an Interdisciplinary Consortium. COMPSAC 2023: 1890-1895 - [c186]Stephen Ryan, Tiziana Margaria:
Digitalisation for organisations in industry 4.0: A working example. IESS 2023: 1002 - 2022
- [j77]Colm Brandon, Tiziana Margaria:
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022) - [j76]Amandeep Singh, Olga Minguett, Tiziana Margaria:
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022) - [j75]Tiziana Margaria, Alexander Schieweck:
Active Behavior Mining for Digital Twins Extraction. IT Prof. 24(4): 74-80 (2022) - [j74]Roberto Minerva, Charalampos Z. Patrikakis, Tiziana Margaria:
Digitally Cloning the Physical. IT Prof. 24(6): 18-19 (2022) - [j73]Faima Abbasi, Muhammad Muzammal, Kashif Naseer Qureshi, Ibrahim Tariq Javed, Tiziana Margaria, Noël Crespi:
Exploiting optimised communities in directed weighted graphs for link prediction. Online Soc. Networks Media 31: 100222 (2022) - [j72]Axel Legay, Tiziana Margaria:
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int. J. Softw. Tools Technol. Transf. 24(4): 611-612 (2022) - [c185]Adam J. Doherty, Rachel Murphy, Alexander Schieweck, Stuart Clancy, Ciara Breathnach, Tiziana Margaria:
CensusIRL: Historical census data preparation with MDD support. IEEE Big Data 2022: 2507-2514 - [c184]Alexander Schieweck, Rachel Murphy, Rafflesia Khan, Ciara Breathnach, Tiziana Margaria:
Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD. COMPSAC 2022: 177-186 - [c183]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2022: 3-8 - [c182]Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen:
Executable Documentation: Test-First in Action. ISoLA (2) 2022: 135-156 - [c181]Tiziana Margaria, Dirk Pesch, Alan McGibney:
Digital Thread in Smart Manufacturing. ISoLA (4) 2022: 179-183 - [c180]Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Jobish John, Amandeep Singh, Amrita Ghosal, Dirk Pesch, Tiziana Margaria:
Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges. ISoLA (4) 2022: 195-207 - [c179]Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen:
DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) 2022: 367-373 - [c178]Ivan Guevara, Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing. ISoLA (4) 2022: 406-421 - [p23]Christoph Rasche, Adriana A. Reinecke, Tiziana Margaria:
Künstliche Intelligenz im Gesundheitswesen als Kernkompetenz? Status quo, Entwicklungslinien und disruptives Potenzial. Künstliche Intelligenz im Gesundheitswesen 2022: 49-79 - [e45]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13701, Springer 2022, ISBN 978-3-031-19848-9 [contents] - [e44]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13702, Springer 2022, ISBN 978-3-031-19755-0 [contents] - [e43]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Lecture Notes in Computer Science 13703, Springer 2022, ISBN 978-3-031-19758-1 [contents] - [e42]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Lecture Notes in Computer Science 13704, Springer 2022, ISBN 978-3-031-19761-1 [contents] - 2021
- [j71]Ibrahim Tariq Javed, Fares Alharbi, Tiziana Margaria, Noël Crespi, Kashif Naseer Qureshi:
PETchain: A Blockchain-Based Privacy Enhancing Technology. IEEE Access 9: 41129-41143 (2021) - [j70]Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 81 (2021) - [j69]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Formal Methods Boost Experimental Performance for Explainable AI. IT Prof. 23(6): 8-12 (2021) - [c177]Tiziana Margaria, Alexander Schieweck:
Towards Engineering Digital Twins by Active Behaviour Mining. Model Checking, Synthesis, and Learning 2021: 138-163 - [c176]Ciara Breathnach, Rachel Murphy, Tiziana Margaria:
Transcribathons as Practice-Based Learning for Historians and Computer Scientists. COMPSAC 2021: 1131-1136 - [c175]Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch:
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. FDL 2021: 1-8 - [c174]Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
Integrating External Services in DIME. ISoLA 2021: 41-54 - [c173]Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria:
Towards Living Canvases. ISoLA 2021: 95-116 - [c172]Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch:
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories. ISoLA 2021: 146-161 - [c171]Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck:
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS. ISoLA 2021: 393-413 - [c170]Bandar Alamri, Ibrahim Tariq Javed, Tiziana Margaria:
A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain. NTMS 2021: 1-5 - [e41]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Lecture Notes in Computer Science 12479, Springer 2021, ISBN 978-3-030-83722-8 [contents] - [e40]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings. Lecture Notes in Computer Science 13036, Springer 2021, ISBN 978-3-030-89158-9 [contents] - 2020
- [j68]Alexander Schieweck, Tiziana Margaria:
Testing Interconnected Systems with Behavior Mining. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j67]Tiziana Margaria, Joseph Kiniry:
Welcome to Formal Methods in Industry. IT Prof. 22(1): 9-12 (2020) - [j66]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. 22(4): 8-12 (2020) - [c169]Enda O'Shea, Rafflesia Khan, Ciara Breathnach, Tiziana Margaria:
Towards Automatic Data Cleansing and Classification of Valid Historical Data An Incremental Approach Based on MDD. IEEE BigData 2020: 1914-1923 - [c168]Marina Marchisio, Tiziana Margaria, Matteo Sacchet:
Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design. COMPSAC 2020: 201-206 - [c167]Salim Saay, Tiziana Margaria:
Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. COMPSAC 2020: 1522-1527 - [c166]Bandar Alamri, Ibrahim Tariq Javed, Tiziana Margaria:
Preserving Patients' Privacy in Medical IoT Using Blockchain. EDGE 2020: 103-110 - [c165]Enrique Naredo, Conor Ryan, Ivan Guevara, Tiziana Margaria, Paulo Urbano, Leonardo Trujillo:
General controllers evolved through grammatical evolution with a divergent search. GECCO Companion 2020: 243-244 - [c164]Salim Saay, Tiziana Margaria:
XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs. ICALT 2020: 45-46 - [c163]John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) 2020: 49-53 - [p22]Anna-Lena Lamprecht, Tiziana Margaria:
Modeling of Scientific Workflows. Encyclopedia of Education and Information Technologies 2020: 1-8 - [p21]Tiziana Margaria, Anna-Lena Lamprecht:
Modeling of Games and Game Strategies. Encyclopedia of Education and Information Technologies 2020: 1-12 - [p20]Tiziana Margaria, Bernhard Steffen:
eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding. Encyclopedia of Education and Information Technologies 2020: 1-19 - [e39]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12476, Springer 2020, ISBN 978-3-030-61361-7 [contents] - [e38]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12477, Springer 2020, ISBN 978-3-030-61469-0 [contents] - [e37]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Lecture Notes in Computer Science 12478, Springer 2020, ISBN 978-3-030-61466-9 [contents]
2010 – 2019
- 2019
- [c162]Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria:
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data. From Software Engineering to Formal Methods and Tools, and Back 2019: 338-364 - [c161]Tiziana Margaria, Alexander Schieweck:
The Digital Thread in Industry 4.0. IFM 2019: 3-24 - [c160]Geraldo Torres G. Neto, Wylliams Barbosa Santos, Roberta A. de A. Fagundes, Tiziana Margaria:
Towards an Understanding of Value Creation in Agile Software Development. SBSI 2019: 46:1-46:8 - [c159]Dave Towey, Sorel Reisman, Henry C. B. Chan, Claudio Demartini, Edmundo Tovar, Tiziana Margaria:
OER: Six Perspectives on Global Misconceptions and Challenges. TALE 2019: 1-7 - [p19]Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen:
A Model-Driven and Generative Approach to Holistic Security. Resilience of Cyber-Physical Systems 2019: 123-147 - [p18]Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria:
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. Computing and Software Science 2019: 311-344 - [e36]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11200, Springer 2019, ISBN 978-3-030-22347-2 [contents] - 2018
- [j65]Fabrizio Lamberti, Tiziana Margaria, Henry C. B. Chan:
Guest Editorial: Special Section on Computing Education & Learning Technologies. IEEE Trans. Emerg. Top. Comput. 6(1): 5-6 (2018) - [c158]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta 2018: 3-13 - [c157]Tiziana Margaria:
Making Sense of Complex Applications: Constructive Design, Features, and Questions. Models, Mindsets, Meta 2018: 129-148 - [c156]Tiziana Margaria, Henry C. B. Chan:
Message from the CELT 2018 Symposium Co-Chairs. COMPSAC (1) 2018: 979 - [c155]Frederik Gossen, Dennis Kühn, Tiziana Margaria, Anna-Lena Lamprecht:
Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool. COMPSAC (1) 2018: 990-999 - [c154]Tiziana Margaria:
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. FMICS 2018: 3-18 - [c153]Bernhard Steffen, Tiziana Margaria:
Predicate Abstraction and Such... FMICS 2018: 181-188 - [c152]Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria:
Domain-specific design of patient classification in cancer-related cachexia research. FormaliSE@ICSE 2018: 60-63 - [c151]Tiziana Margaria:
From Computational Thinking to Constructive Design with Simple Models. ISoLA (1) 2018: 261-278 - [c150]Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen:
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. ISoLA (1) 2018: 546-564 - [e35]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Lecture Notes in Computer Science 11244, Springer 2018, ISBN 978-3-030-03417-7 [contents] - [e34]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Lecture Notes in Computer Science 11245, Springer 2018, ISBN 978-3-030-03420-7 [contents] - [e33]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Lecture Notes in Computer Science 11246, Springer 2018, ISBN 978-3-030-03423-8 [contents] - [e32]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Lecture Notes in Computer Science 11247, Springer 2018, ISBN 978-3-030-03426-9 [contents] - 2017
- [j64]Frederik Gossen, Tiziana Margaria:
Generating Real-time Decision Systems with the new miAamics. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017) - [c149]Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano P. Moura, Tiziana Margaria:
Practical implications from a preliminary theory of simplicity in agile software development based on a qualitative study. CLEI 2017: 1-10 - [c148]Steve Boßelmann, Dennis Kühn, Tiziana Margaria:
A fully model-based approach to the design of the SEcube™ community web app. DTIS 2017: 1-7 - [c147]Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez:
Analyzing ambient assisted living solutions: A research perspective. DTIS 2017: 1-7 - [c146]Eugeni Isern, Miquel Roca, Tiziana Margaria:
Foreword. DTIS 2017: ix - [c145]Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano P. Moura, Tiziana Margaria:
Towards a Theory of Simplicity in Agile Software Development: A Qualitative Study. SEAA 2017: 40-43 - [c144]Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano P. Moura, Tiziana Margaria:
Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study. WBMA 2017: 3-17 - [c143]Clare McInerney, Anna-Lena Lamprecht, Tiziana Margaria:
Computing Camps for Girls - A First-Time Experience at the University of Limerick. WCCE 2017: 494-505 - [p17]Christoph Rasche, Tiziana Margaria, Barry D. Floyd:
Service Model Innovation in Hospitals: Beyond Expert Organizations. Service Business Model Innovation in Healthcare and Hospital Management 2017: 1-20 - [p16]Steve Boßelmann, Tiziana Margaria:
Guided Business Modeling and Analysis for Business Professionals. Service Business Model Innovation in Healthcare and Hospital Management 2017: 195-211 - [p15]Steve Boßelmann, Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria:
Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Service Business Model Innovation in Healthcare and Hospital Management 2017: 213-232 - [e31]Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria:
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Lecture Notes in Computer Science 10139, Springer 2017, ISBN 978-3-319-51962-3 [contents] - [e30]Axel Legay, Tiziana Margaria:
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10205, 2017, ISBN 978-3-662-54576-8 [contents] - [e29]Axel Legay, Tiziana Margaria:
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10206, 2017, ISBN 978-3-662-54579-9 [contents] - 2016
- [j63]Tiziana Margaria:
Knowledge Management for Inclusive System Evolution. LNCS Trans. Found. Mastering Chang. 1: 7-21 (2016) - [j62]Anna-Lena Lamprecht, Bernhard Steffen, Tiziana Margaria:
Scientific workflows with the jABC framework - A review after a decade in the field. Int. J. Softw. Tools Technol. Transf. 18(6): 629-651 (2016) - [c142]Frederik Gossen, Tiziana Margaria:
Comprehensible people recognition using the Kinect's face and skeleton model. AQTR 2016: 1-6 - [c141]Anna-Lena Lamprecht, Tiziana Margaria, Clare McInerney:
A Summer Computing Camp Using ChainReaction and jABC. COMPSAC Workshops 2016: 275-280 - [c140]Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin:
Messge from the ECPE Organizing Committee. COMPSAC 2016: 281 - [c139]Edmundo Tovar, Manuel Castro, Claudio Demartini, Tiziana Margaria, Henry C. B. Chan, Timothy K. Shih, Simanta Mitra, Sorel Reisman:
Message from the CELT Organizing Committee. COMPSAC 2016: 695 - [c138]Antonio Varriale, Elena Ioana Vatajelu, Giorgio Di Natale, Paolo Prinetto, Pascal Trotta, Tiziana Margaria:
SEcube™: An open-source security platform in a single SoC. DTIS 2016: 1-6 - [c137]Samih Al-Areqi, Anna-Lena Lamprecht, Tiziana Margaria:
Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts. ICCSA (3) 2016: 134-150 - [c136]Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen:
Meta-Level Reuse for Mastering Domain Specialization. ISoLA (2) 2016: 218-237 - [c135]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen:
Synthesis from a Practical Perspective. ISoLA (1) 2016: 282-302 - [c134]Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen:
ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) 2016: 655-671 - [c133]Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria:
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. MODELSWARD 2016: 368-376 - [e28]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 9952, 2016, ISBN 978-3-319-47165-5 [contents] - [e27]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9953, 2016, ISBN 978-3-319-47168-6 [contents] - 2015
- [c132]Tiziana Margaria:
Which IT Governance for Distributed Intelligent Cyber-Physical Systems? COMPSAC 2015: 46-47 - [c131]Clare McInerney, Tiziana Margaria:
Software as a High-Tech Weapon in Ireland's Strategy. COMPSAC Workshops 2015: 658-663 - [c130]Anna-Lena Lamprecht, Tiziana Margaria, Johannes Neubauer:
On the Use of XMDD in Software Development Education. COMPSAC 2015: 835-844 - [c129]Tiziana Margaria:
Why caring about leading-edge software engineering in healthcare and assistive technology applications? DTIS 2015: 1 - [c128]