Tiziana Margaria

364 papers A* 3A 16B 41C 30Misc 4Journal 86Unranked 122
YearRankTypeTitle / Venue / Authors
2026 — ch.
Let's Talk AI with Computer Science Expert Tiziana Margaria.
Let's Talk AI
Tiziana Margaria, Barbara Steffen
2026 J jnl
Using Formal Methods to Help Explain Real-Time Operator Support in Metal Additive Manufacturing.
IT Prof.
Cathal Hoare, Denis Dowling, Tiziana Margaria
2025 B conf
Constant Change: Leveraging Digitalization for an Organization's Evolutionary Fitness.
COMPSAC
Barbara Steffen, Tiziana Margaria
2025 B conf
Diagrams as Visual Knowledge Communication Tools in Interdisciplinary Postgraduate Education.
COMPSAC
Salim Saay, Sean O'Brien, Amandeep Singh, Amalia de Götzen, Viktoria Voronova, Tiziana Margaria
2025 B conf
FLORA: Federated Learning for Optimized Resource Allocation in Cinco de Bio.
COMPSAC
Colm Brandon, Mashal Khan, Tiziana Margaria
2025 B conf
Flipped-classroom Based Teaching Method for Data Structures and Algorithms.
COMPSAC
Salim Saay, Tiziana Margaria
2025 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
ISoLA (5)
Tiziana Margaria, Bernhard Steffen
2025 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2025 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2025 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
ISoLA (4)
Tiziana Margaria, Bernhard Steffen
2025 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
ISoLA (3)
Tiziana Margaria, Bernhard Steffen
2025 J jnl
Preface to the special issue on engineering of computer-based systems.
Int. J. Softw. Tools Technol. Transf.
Jan Kofron, Tiziana Margaria, Cristina Seceleanu
2025 B conf
Specialized Training in LCNC and AI: from the Pedagogical Concept to the Experience.
COMPSAC
Sean O'Brien, Colm Brandon, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Amandeep Singh, Sebastian Teumert, Tiziana Margaria
2024 J jnl
Edge IoT Prototyping Using Model-Driven Representations: A Use Case for Smart Agriculture.
Sensors
Ivan Guevara, Stephen Ryan, Amandeep Singh, Colm Brandon, Tiziana Margaria
2024 — ed.
Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
ECBS
Jan Kofron, Tiziana Margaria, Cristina Seceleanu
2024 J jnl
Enhancing Decision-Making for Imbalanced Medical Datasets Using BDDs and Low-Code/No-Code.
IT Prof.
Amandeep Singh, Tiziana Margaria
2024 — conf
LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays.
AISoLA
Colm Brandon, Éanna Fennell, Amandeep Singh, Tiziana Margaria
2024 J jnl
Language-Driven Engineering An Interdisciplinary Software Development Paradigm.
CoRR
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
2023 J jnl
A Cyber Secure Medical Management System by Using Blockchain.
IEEE Trans. Comput. Soc. Syst.
Muhammad Rehman, Ibrahim Tariq Javed, Kashif Naseer Qureshi, Tiziana Margaria, Gwanggil Jeon
2023 B conf
BC4ECO - Using Visual Tools for a Shared Understanding and Pedagogical Approach across an Interdisciplinary Consortium.
COMPSAC
Andy Peruccon, Roisin Lyons, Amalia de Götzen, Tiziana Margaria, Luca Simeone
2023 — conf
CNN-based Human Activity Recognition on Edge Computing Devices.
COINS
Amandeep Singh, Tiziana Margaria, Florenc Demrozi
2023 — conf
Challenges for AI in Healthcare Systems.
AISoLA (Selected Papers)
Markus Bertl, Yngve Lamo, Martin Leucker, Tiziana Margaria, Esfandiar Mohammadi, Suresh Kumar Mukhiya, Ludwig Pechmann, Gunnar Piho, Fazle Rabbi
2023 B conf
Curating History Datasets and Training Materials as OER: An Experience.
COMPSAC
Ciara Breathnach, Rachel Murphy, Alexander Schieweck, Enda O'Shea, Stuart Clancy, Tiziana Margaria
2023 — conf
Digital Humanities and Cultural Heritage in AI and IT-Enabled Environments.
AISoLA (Selected Papers)
Ciara Breathnach, Tiziana Margaria
2023 — conf
Digitalisation for organisations in industry 4.0: A working example.
IESS
Stephen Ryan, Tiziana Margaria
2023 B conf
Experiences from the first delivery of a new immersive software engineering course: mathematical foundations and data analytics.
COMPSAC
Florenc Demrozi, Marina Marchisio, Tiziana Margaria, Matteo Sacchet
2023 — conf
From Data Science to Modular Workflows Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study.
AISoLA (Selected Papers)
Enda O'Shea, Marco Krumrey, Daniel Sami Mitwalli, Sebastian Teumert, Tiziana Margaria
2023 — conf
Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis.
AISoLA (Selected Papers)
Ciara Breathnach, Rachel Murphy, Alexander Schieweck, Tiziana Margaria
2023 — conf
Model Driven Development for AI-Based Healthcare Systems: A Review.
AISoLA (Selected Papers)
Colm Brandon, Amandeep Singh, Tiziana Margaria
2022 J jnl
Active Behavior Mining for Digital Twins Extraction.
IT Prof.
Tiziana Margaria, Alexander Schieweck
2022 J jnl
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Amandeep Singh, Olga Minguett, Tiziana Margaria
2022 B conf
CensusIRL: Historical census data preparation with MDD support.
IEEE Big Data
Adam J. Doherty, Rachel Murphy, Alexander Schieweck, Stuart Clancy, Ciara Breathnach, Tiziana Margaria
2022 — conf
DIME Days (ISoLA 2022 Track Introduction).
ISoLA (2)
Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
2022 — conf
Digital Thread in Smart Manufacturing.
ISoLA (4)
Tiziana Margaria, Dirk Pesch, Alan McGibney
2022 J jnl
Digitally Cloning the Physical.
IT Prof.
Roberto Minerva, Charalampos Z. Patrikakis, Tiziana Margaria
2022 — conf
Engineering of Digital Twins for Cyber-Physical Systems.
ISoLA (4)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
2022 B conf
Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD.
COMPSAC
Alexander Schieweck, Rachel Murphy, Rafflesia Khan, Ciara Breathnach, Tiziana Margaria
2022 — conf
Executable Documentation: Test-First in Action.
ISoLA (2)
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
2022 J jnl
Exploiting optimised communities in directed weighted graphs for link prediction.
Online Soc. Networks Media
Faima Abbasi, Muhammad Muzammal, Kashif Naseer Qureshi, Ibrahim Tariq Javed, Tiziana Margaria, Noël Crespi
2022 — ch.
Künstliche Intelligenz im Gesundheitswesen als Kernkompetenz? Status quo, Entwicklungslinien und disruptives Potenzial.
Künstliche Intelligenz im Gesundheitswesen
Christoph Rasche, Adriana A. Reinecke, Tiziana Margaria
2022 — ed.
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
ISoLA (3)
Tiziana Margaria, Bernhard Steffen
2022 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
ISoLA (4)
Tiziana Margaria, Bernhard Steffen
2022 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2022 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2022 J jnl
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Colm Brandon, Tiziana Margaria
2022 — conf
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing.
ISoLA (4)
Ivan Guevara, Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
2022 — conf
Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges.
ISoLA (4)
Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Jobish John, Amandeep Singh, Amrita Ghosal, Dirk Pesch, Tiziana Margaria
2022 J jnl
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.
Int. J. Softw. Tools Technol. Transf.
Axel Legay, Tiziana Margaria
2021 — conf
A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain.
NTMS
Bandar Alamri, Ibrahim Tariq Javed, Tiziana Margaria
2021 J jnl
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
2021 C conf
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories.
ISoLA
Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch
2021 C conf
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry.
FDL
Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch
2021 J jnl
Formal Methods Boost Experimental Performance for Explainable AI.
IT Prof.
Frederik Gossen, Tiziana Margaria, Bernhard Steffen
2021 C conf
Integrating External Services in DIME.
ISoLA
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
2021 C ed.
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
ISoLA
Tiziana Margaria, Bernhard Steffen
2021 — ed.
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
ISoLA (4)
Tiziana Margaria, Bernhard Steffen
2021 J jnl
PETchain: A Blockchain-Based Privacy Enhancing Technology.
IEEE Access
Ibrahim Tariq Javed, Fares Alharbi, Tiziana Margaria, Noël Crespi, Kashif Naseer Qureshi
2021 C conf
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS.
ISoLA
Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck
2021 — conf
Towards Engineering Digital Twins by Active Behaviour Mining.
Model Checking, Synthesis, and Learning
Tiziana Margaria, Alexander Schieweck
2021 C conf
Towards Living Canvases.
ISoLA
Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria
2021 B conf
Transcribathons as Practice-Based Learning for Historians and Computer Scientists.
COMPSAC
Ciara Breathnach, Rachel Murphy, Tiziana Margaria
2020 B conf
Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design.
COMPSAC
Marina Marchisio, Tiziana Margaria, Matteo Sacchet
2020 — conf
Engineering of Digital Twins for Cyber-Physical Systems.
ISoLA (4)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock
2020 — conf
General controllers evolved through grammatical evolution with a divergent search.
GECCO Companion
Enrique Naredo, Conor Ryan, Ivan Guevara, Tiziana Margaria, Paulo Urbano, Leonardo Trujillo
2020 — ed.
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
ISoLA (3)
Tiziana Margaria, Bernhard Steffen
2020 — ed.
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
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2020 — ed.
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
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2020 B conf
Model-Driven-Design of NREn Bridging Application: Case Study AfgREN.
COMPSAC
Salim Saay, Tiziana Margaria
2020 — ch.
Modeling of Games and Game Strategies.
Encyclopedia of Education and Information Technologies
Tiziana Margaria, Anna-Lena Lamprecht
2020 — ch.
Modeling of Scientific Workflows.
Encyclopedia of Education and Information Technologies
Anna-Lena Lamprecht, Tiziana Margaria
2020 — conf
Preserving Patients' Privacy in Medical IoT Using Blockchain.
EDGE
Bandar Alamri, Ibrahim Tariq Javed, Tiziana Margaria
2020 J jnl
Testing Interconnected Systems with Behavior Mining.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alexander Schieweck, Tiziana Margaria
2020 — conf
Towards Automatic Data Cleansing and Classification of Valid Historical Data An Incremental Approach Based on MDD.
IEEE BigData
Enda O'Shea, Rafflesia Khan, Ciara Breathnach, Tiziana Margaria
2020 J jnl
Towards Explainability in Machine Learning: The Formal Methods Way.
IT Prof.
Frederik Gossen, Tiziana Margaria, Bernhard Steffen
2020 J jnl
Welcome to Formal Methods in Industry.
IT Prof.
Tiziana Margaria, Joseph Kiniry
2020 B conf
XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs.
ICALT
Salim Saay, Tiziana Margaria
2020 — ch.
eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding.
Encyclopedia of Education and Information Technologies
Tiziana Margaria, Bernhard Steffen
2019 — ch.
A Model-Driven and Generative Approach to Holistic Security.
Resilience of Cyber-Physical Systems
Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
2019 — ch.
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages.
Computing and Software Science
Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria
2019 — ed.
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta
Tiziana Margaria, Susanne Graf, Kim G. Larsen
2019 — conf
OER: Six Perspectives on Global Misconceptions and Challenges.
TALE
Dave Towey, Sorel Reisman, Henry C. B. Chan, Claudio Demartini, Edmundo Tovar, Tiziana Margaria
2019 B conf
The Digital Thread in Industry 4.0.
IFM
Tiziana Margaria, Alexander Schieweck
2019 — conf
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data.
From Software Engineering to Formal Methods and Tools, and Back
Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria
2019 — conf
Towards an Understanding of Value Creation in Agile Software Development.
SBSI
Geraldo Torres G. Neto, Wylliams Barbosa Santos, Roberta A. de A. Fagundes, Tiziana Margaria
2018 — conf
Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool.
COMPSAC (1)
Frederik Gossen, Dennis Kühn, Tiziana Margaria, Anna-Lena Lamprecht
2018 — conf
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.
ISoLA (1)
Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
2018 — conf
Domain-specific design of patient classification in cancer-related cachexia research.
FormaliSE@ICSE
Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria
2018 — conf
From Computational Thinking to Constructive Design with Simple Models.
ISoLA (1)
Tiziana Margaria
2018 C conf
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds.
FMICS
Tiziana Margaria
2018 J jnl
Guest Editorial: Special Section on Computing Education & Learning Technologies.
IEEE Trans. Emerg. Top. Comput.
Fabrizio Lamberti, Tiziana Margaria, Henry C. B. Chan
2018 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
ISoLA (3)
Tiziana Margaria, Bernhard Steffen
2018 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
ISoLA (4)
Tiziana Margaria, Bernhard Steffen
2018 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2018 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2018 — conf
Making Sense of Complex Applications: Constructive Design, Features, and Questions.
Models, Mindsets, Meta
Tiziana Margaria
2018 — conf
Message from the CELT 2018 Symposium Co-Chairs.
COMPSAC (1)
Tiziana Margaria, Henry C. B. Chan
2018 — conf
Models, Mindsets, Meta: The What, the How, and the Why Not?
Models, Mindsets, Meta
Tiziana Margaria, Susanne Graf, Kim G. Larsen
2018 C conf
Predicate Abstraction and Such...
FMICS
Bernhard Steffen, Tiziana Margaria
2017 — conf
A fully model-based approach to the design of the SEcube™ community web app.
DTIS
Steve Boßelmann, Dennis Kühn, Tiziana Margaria
2017 — conf
Analyzing ambient assisted living solutions: A research perspective.
DTIS
Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
2017 — conf
Computing Camps for Girls - A First-Time Experience at the University of Limerick.
WCCE
Clare McInerney, Anna-Lena Lamprecht, Tiziana Margaria
2017 — conf
Foreword.
DTIS
Eugeni Isern, Miquel Roca, Tiziana Margaria
2017 J jnl
Generating Real-time Decision Systems with the new miAamics.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Frederik Gossen, Tiziana Margaria
2017 — ch.
Guided Business Modeling and Analysis for Business Professionals.
Service Business Model Innovation in Healthcare and Hospital Management
Steve Boßelmann, Tiziana Margaria
2017 — ch.
Modeling Directly Executable Processes for Healthcare Professionals with XMDD.
Service Business Model Innovation in Healthcare and Hospital Management
Steve Boßelmann, Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria
2017 C conf
Practical implications from a preliminary theory of simplicity in agile software development based on a qualitative study.
CLEI
Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano P. Moura, Tiziana Margaria
2017 B ed.
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
SOFSEM
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
2017 — ch.
Service Model Innovation in Hospitals: Beyond Expert Organizations.
Service Business Model Innovation in Healthcare and Hospital Management
Christoph Rasche, Tiziana Margaria, Barry D. Floyd
2017 — ed.
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
TACAS (1)
Axel Legay, Tiziana Margaria
2017 — ed.
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
TACAS (2)
Axel Legay, Tiziana Margaria
2017 — conf
Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study.
WBMA
Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano P. Moura, Tiziana Margaria
2017 B conf
Towards a Theory of Simplicity in Agile Software Development: A Qualitative Study.
SEAA
Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano P. Moura, Tiziana Margaria
2016 — conf
A Summer Computing Camp Using ChainReaction and jABC.
COMPSAC Workshops
Anna-Lena Lamprecht, Tiziana Margaria, Clare McInerney
2016 — conf
ALEX: Mixed-Mode Learning of Web Applications at Ease.
ISoLA (2)
Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
2016 — conf
Comprehensible people recognition using the Kinect's face and skeleton model.
AQTR
Frederik Gossen, Tiziana Margaria
2016 — conf
Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts.
ICCSA (3)
Samih Al-Areqi, Anna-Lena Lamprecht, Tiziana Margaria
2016 C conf
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.
MODELSWARD
Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria
2016 J jnl
Knowledge Management for Inclusive System Evolution.
LNCS Trans. Found. Mastering Chang.
Tiziana Margaria
2016 — ed.
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
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2016 — ed.
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
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2016 B conf
Message from the CELT Organizing Committee.
COMPSAC
Edmundo Tovar, Manuel Castro, Claudio Demartini, Tiziana Margaria, Henry C. B. Chan, Timothy K. Shih, Simanta Mitra, Sorel Reisman
2016 B conf
Messge from the ECPE Organizing Committee.
COMPSAC
Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin
2016 — conf
Meta-Level Reuse for Mastering Domain Specialization.
ISoLA (2)
Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen
2016 — conf
SEcube™: An open-source security platform in a single SoC.
DTIS
Antonio Varriale, Elena-Ioana Vatajelu, Giorgio Di Natale, Paolo Prinetto, Pascal Trotta, Tiziana Margaria
2016 J jnl
Scientific workflows with the jABC framework - A review after a decade in the field.
Int. J. Softw. Tools Technol. Transf.
Anna-Lena Lamprecht, Bernhard Steffen, Tiziana Margaria
2016 — conf
Synthesis from a Practical Perspective.
ISoLA (1)
Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen
2015 — conf
Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge.
SWAT4LS
Anna-Lena Lamprecht, Tiziana Margaria
2015 — conf
Foundations of Semantics and Model Checking in a Software Engineering Course.
FMSEE&T@FM
Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria
2015 B conf
On the Use of XMDD in Software Development Education.
COMPSAC
Anna-Lena Lamprecht, Tiziana Margaria, Johannes Neubauer
2015 — ed.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015.
FMSEE&T@FM
Andreas Bollin, Tiziana Margaria, Isabelle Perseil
2015 Misc conf
Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education.
ICCS
Anna-Lena Lamprecht, Tiziana Margaria
2015 — conf
Software as a High-Tech Weapon in Ireland's Strategy.
COMPSAC Workshops
Clare McInerney, Tiziana Margaria
2015 B conf
User-level synthesis: treating product lines as systems of constraints.
SPLC
Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria
2015 B conf
Which IT Governance for Distributed Intelligent Cyber-Physical Systems?
COMPSAC
Tiziana Margaria
2015 — conf
Why caring about leading-edge software engineering in healthcare and assistive technology applications?
DTIS
Tiziana Margaria
2014 — conf
Domain-Specific Business Modeling with the Business Model Developer.
ISoLA (2)
Steve Boßelmann, Tiziana Margaria
2014 — conf
Evolving Critical Systems - Track Introduction.
ISoLA (1)
Mike Hinchey, Tiziana Margaria
2014 — ch.
Lessons Learned.
Process Design for Natural Scientists
Anna-Lena Lamprecht, Alexander Wickert, Tiziana Margaria
2014 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2014 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2014 — ch.
Modeling and Execution of Scientific Workflows with the jABC Framework.
Process Design for Natural Scientists
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2014 — book
Process Design for Natural Scientists - An Agile Model-Driven Approach
Anna-Lena Lamprecht, Tiziana Margaria
2014 — conf
Processes and Data Integration in the Networked Healthcare - (Track Introduction).
ISoLA (2)
Tiziana Margaria, Christoph Rasche
2014 J jnl
Program verification and testing technologies.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Zongyan Qiu, Hongli Yang
2014 J jnl
Property-driven benchmark generation: synthesizing programs of realistic structure.
Int. J. Softw. Tools Technol. Transf.
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
2014 — conf
Prototype-Driven Development of Web Applications with DyWA.
ISoLA (1)
Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria
2014 — ch.
Scientific Workflows and XMDD.
Process Design for Natural Scientists
Anna-Lena Lamprecht, Tiziana Margaria
2014 — conf
Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal.
ISoLA (2)
Tiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender
2014 J jnl
Simplicity-first model-based plug-in development.
Softw. Pract. Exp.
Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria
2014 J jnl
Tailored generation of concurrent benchmarks.
Int. J. Softw. Tools Technol. Transf.
Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
2014 — conf
Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform.
ISoLA (2)
Samih Al-Areqi, Steffen Kriewald, Anna-Lena Lamprecht, Dominik Reusser, Markus Wrobel, Tiziana Margaria
2013 — conf
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond.
Festschrift for Dave Schmidt
Johannes Neubauer, Bernhard Steffen, Tiziana Margaria
2013 — conf
Property-Driven Benchmark Generation.
SPIN
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
2013 J jnl
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.
J. Integr. Des. Process. Sci.
Tiziana Margaria, Steve Boßelmann, Bertold Kujath
2013 J jnl
Simplicity in IT: The Power of Less.
Computer
Tiziana Margaria, Mike Hinchey
2013 J jnl
Simplicity in IT: a Chance for a New Kind of Design and Process Science.
J. Integr. Des. Process. Sci.
Tiziana Margaria, Barry D. Floyd
2013 J jnl
Simplifying Translation Validation via Model Extrapolation.
J. Integr. Des. Process. Sci.
Falk Howar, Tiziana Margaria, Christian Wagner
2013 — ed.
Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings
ICSOB
Georg Herzwurm, Tiziana Margaria
2012 J jnl
A constraint-based variability modeling framework.
Int. J. Softw. Tools Technol. Transf.
Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2012 — conf
Automated Learning Setups in Automata Learning.
ISoLA (1)
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
2012 — conf
Automated continuous quality assurance.
FormSERA@ICSE
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
2012 — ch.
Customer-Oriented Business Process Management: Vision and Obstacles.
Conquering Complexity
Tiziana Margaria, Steve Boßelmann, Markus Doedt, Barry D. Floyd, Bernhard Steffen
2012 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2012 — ed.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2012 — ed.
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
ISoLA Workshops
Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
2012 — conf
Processes and Data Integration in the Networked Healthcare.
ISoLA (2)
Andrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche
2012 — conf
Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.
ISoLA (1)
Anna-Lena Lamprecht, Tiziana Margaria
2012 — ch.
Service-Orientation: Conquering Complexity with XMDD.
Conquering Complexity
Tiziana Margaria, Bernhard Steffen
2012 — conf
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.
ISoLA (2)
Tiziana Margaria, Steve Boßelmann, Bertold Kujath
2012 — conf
Simplicity principles for plug-in development: the jABC approach.
TOPI@ICSE
Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria
2012 Misc ed.
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China
TASE
Tiziana Margaria, Zongyan Qiu, Hongli Yang
2012 — ch.
The XMDD Approach to the Semantic Web Services Challenge.
Semantic Web Services, Advancement through Evaluation
Tiziana Margaria, Christian Kubczak, Bernhard Steffen
2011 J jnl
Assuring property conformance of code generators via model checking.
Formal Aspects Comput.
Sven Jörges, Tiziana Margaria, Bernhard Steffen
2011 — conf
Automata Learning with On-the-Fly Direct Hypothesis Construction.
ISoLA Workshops
Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
2011 — conf
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.
EternalS@FET
Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2011 C conf
Constraint-oriented Variability Modeling.
SEW
Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria
2011 J jnl
Editorial.
Formal Aspects Comput.
Daniel Kroening, Tiziana Margaria, Jim Woodcock
2011 B conf
Formal Methods in the Era of Service-Oriented Design.
COMPSAC
Tiziana Margaria
2011 J jnl
Game-Based Model Checking for Reliable Autonomy in Space.
J. Aerosp. Comput. Inf. Commun.
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
2011 — conf
IT Simply Works: Simplicity and Embedded Systems Design.
COMPSAC Workshops
Tiziana Margaria, Barry D. Floyd, Bernhard Steffen
2011 A conf
Next Generation LearnLib.
TACAS
Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
2011 J jnl
Semantics-based composition of EMBOSS services.
J. Biomed. Semant.
Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
2011 C conf
Special Session on "Simplification through Change of Perspective".
SEW
Tiziana Margaria, Bernhard Steffen
2011 — conf
Synthesis-Based Variability Control: Correctness by Construction.
FMCO
Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2011 — conf
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.
ISoLA Workshops
Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
2010 J jnl
An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services.
Prax. Inf.verarb. Kommun.
Niklas Blum, Tiziana Margaria
2010 — ch.
Bioinformatics: Processes and Workflows.
Encyclopedia of Software Engineering
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2010 J jnl
Constraint-Guided Workflow Composition Based on the EDAM Ontology
CoRR
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria
2010 — conf
Constraint-Guided Workflow Composition Based on the EDAM Ontology.
SWAT4LS
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria
2010 J jnl
Evolution support in heterogeneous service-oriented landscapes.
J. Braz. Comput. Soc.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak
2010 — ed.
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
ISoLA (1)
Tiziana Margaria, Bernhard Steffen
2010 — ed.
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
ISoLA (2)
Tiziana Margaria, Bernhard Steffen
2010 — ch.
Round-Trip Engineering.
Encyclopedia of Software Engineering
Bernhard Steffen, Tiziana Margaria, Christian Wagner
2010 J jnl
Second-Order Value Numbering.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tiziana Margaria, Bernhard Steffen, Christian Topnik
2010 J jnl
Service-oriented Access to Next Generation Networks - from Service Creation to Execution.
Mob. Networks Appl.
Niklas Blum, Irina Boldea, Thomas Magedanz, Tiziana Margaria
2010 J jnl
Simplicity as a Driver for Agile Innovation.
Computer
Tiziana Margaria, Bernhard Steffen
2010 Misc conf
Synthesis-Based Loose Programming.
QUATIC
Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
2010 J jnl
Verified software: theories, tools and experiments.
Int. J. Softw. Tools Technol. Transf.
Daniel Kroening, Tiziana Margaria
2009 J jnl
A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering.
Int. J. Semantic Comput.
Bernd J. Krämer, Tiziana Margaria
2009 — ch.
An Approach to Discovery with miAamics and jABC.
Semantic Web Services Challenge
Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar
2009 B conf
Analysis and Code Model Extraction for C/C++ Source Code.
ICECCS
Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm
2009 — ch.
Automatic Generation of the SWS- Challenge Mediator with jABC/ABC.
Semantic Web Services Challenge
Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen
2009 J jnl
Bio-jETI: a framework for semantics-based service composition.
BMC Bioinform.
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2009 — conf
Building Code Generators with Genesys: A Tutorial Introduction.
GTTSE
Sven Jörges, Bernhard Steffen, Tiziana Margaria
2009 — ch.
Business Process Modeling in the jABC.
Handbook of Research on Business Process Modeling
Tiziana Margaria, Bernhard Steffen
2009 — ch.
Comparison: Handling Preferences with DIANE and miAamics.
Semantic Web Services Challenge
Ulrich Küster, Birgitta König-Ries, Tiziana Margaria, Bernhard Steffen
2009 — ch.
Comparison: Mediation on WebML/WebRatio and jABC/jETI.
Semantic Web Services Challenge
Marco Brambilla, Stefano Ceri, Emanuele Della Valle, Federico M. Facca, Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler
2009 — conf
Component-Oriented Behavior Extraction for Autonomic System Design.
Self-Healing and Self-Adaptive Systems
Tiziana Margaria, Marco Bakera, Christian Wagner
2009 — conf
Component-Oriented Behavior Extraction for Autonomic System Design.
NASA Formal Methods
Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen
2009 J jnl
Continuous Model-Driven Engineering.
Computer
Tiziana Margaria, Bernhard Steffen
2009 J jnl
Dynamic testing via automata learning.
Int. J. Softw. Tools Technol. Transf.
Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria
2009 B conf
Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations.
ICECCS
Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria
2009 B conf
From Bio-jETI Process Models to Native Code.
ICECCS
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2009 J jnl
Guest Editor's introduction.
Int. J. Softw. Tools Technol. Transf.
Mike Hinchey, Tiziana Margaria, Bernhard Steffen
2009 J jnl
LearnLib: a framework for extrapolating behavioral models.
Int. J. Softw. Tools Technol. Transf.
Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria
2009 — conf
Maintenance, or the 3rd dimension of eXtreme model-driven design.
ICSM
Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria
2009 J jnl
Preface.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Mieke Massink
2009 — book
Semantic Web Services Challenge, Results from the First Year.
Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba
2009 — conf
Semantics-Based Composition of EMBOSS Services with Bio-jETI.
SWAT4LS
Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
2009 — ch.
Service-oriented Mediation with jABC/jETI.
Semantic Web Services Challenge
Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Ralf Nagel
2009 — ch.
Status, Perspectives, and Lessons Learned.
Semantic Web Services Challenge
Charles Petrie, Ulrich Küster, Tiziana Margaria, Michal Zaremba, Holger Lausen, Srdjan Komazec
2009 Misc conf
Synthesizing Semantic Web Service Compositions with jMosel and Golog.
ISWC
Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen
2009 — conf
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts.
GI Jahrestagung
Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann
2009 B conf
Test your Strategy: Graphical Construction of Strategies for Connect-Four.
ICECCS
Marco Bakera, Sven Jörges, Tiziana Margaria
2009 — conf
The Role of Models in Self-adaptive and Self-healing Systems.
Self-Healing and Self-Adaptive Systems
Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Tiziana Margaria, Josu Martinez, Christian Müller-Schloer, Roland Reichle
2009 J jnl
Tool-supported enhancement of diagnosis in model-driven verification.
Innov. Syst. Softw. Eng.
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
2009 — conf
Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems.
GI Jahrestagung
Tiziana Margaria, Christian Wagner, Marco Bakera
2008 — conf
Abductive Synthesis of the Mediator Scenario with jABC and GEM.
EON
Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth
2008 C conf
Agile IT: Thinking in User-Centric Models.
ISoLA
Tiziana Margaria, Bernhard Steffen
2008 A conf
Anything You Want to Ask about Software Reliability Engineering.
ISSRE
Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong
2008 J jnl
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes.
BMC Bioinform.
Tiziana Margaria, Christian Kubczak, Bernhard Steffen
2008 J jnl
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.
BMC Bioinform.
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich
2008 J jnl
Genesys: service-oriented construction of property conform code generators.
Innov. Syst. Softw. Eng.
Sven Jörges, Tiziana Margaria, Bernhard Steffen
2008 C conf
High Service Availability in MaTRICS for the OCS.
ISoLA
Markus Bajohr, Tiziana Margaria
2008 — conf
Hybrid test of web applications with webtest.
TAV-WEB
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
2008 C ed.
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
ISoLA
Tiziana Margaria, Bernhard Steffen
2008 J jnl
Plug and Play with FMICS-jETI: Beyond Scripting and Coding.
ERCIM News
Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen
2008 — conf
Policy expression and checking in XACML, WS-Policies, and the jABC.
TAV-WEB
Martin Karusseit, Tiziana Margaria, Holger Willebrandt
2008 J jnl
Preface.
Theor. Comput. Sci.
Tiziana Margaria, Bernhard Steffen
2008 C conf
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.
ISoLA
Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt
2008 A ed.
Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
ICSOC
Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria
2008 — conf
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI.
ISBRA
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2008 J jnl
Software engineering and formal methods.
Commun. ACM
Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
2008 — conf
Supporting Process Development in Bio-jETI by Model Checking and Synthesis.
SWAT4LS
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2008 — conf
Synthesizing the Mediator with jABC/ABC.
EON
Tiziana Margaria
2008 J jnl
The SHADOWS Story on Implementation of Self-Healing Systems.
ERCIM News
Marco Bakera, Tiziana Margaria
2008 B conf
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level.
ICECCS
Tiziana Margaria
2008 C conf
The jABC Approach to Rigorous Collaborative Development of SCM Applications.
ISoLA
Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh
2007 — conf
An Approach to Discovery with miAamics and jABC.
Web Intelligence/IAT Workshops
Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen
2007 — conf
Dynamic Testing Via Automata Learning.
Haifa Verification Conference
Harald Raffelt, Bernhard Steffen, Tiziana Margaria
2007 J jnl
Foreword.
Theor. Comput. Sci.
Maura Cerioli, Tiziana Margaria, Michel Wermelinger
2007 J jnl
Introduction to the special section on fundamental approaches to software engineering.
Int. J. Softw. Tools Technol. Transf.
Michel Wermelinger, Tiziana Margaria, Maura Cerioli
2007 C conf
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.
SEW
Tiziana Margaria, Bernhard Steffen
2007 — conf
Middleware: just another level for orchestration.
MNCNA
Tiziana Margaria, Bernhard Steffen
2007 — conf
SWS Challenge - Status, Perspectives, Lessons Learned So Far.
ICEIS (4)
Charles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba
2007 J jnl
Service Is in the Eyes of the Beholder.
Computer
Tiziana Margaria
2007 — conf
Service-Oriented Mediation with jETI/jABC: Verification and Export.
Web Intelligence/IAT Workshops
Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat
2007 B conf
Software Process Improvement - EuroSPI 2007 Conference.
EuroSPI
Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz
2007 B ed.
Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings
EuroSPI
Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz
2007 B conf
The LearnLib in FMICS-jETI.
ICECCS
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
2007 — conf
The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison.
ICEIS (4)
Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou
2007 C conf
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.
ISoLA
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
2006 C conf
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms.
ISoLA
Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen
2006 C conf
Comparative Analysis of Tools for Automated Software Re-engineering Purposes.
ISoLA
Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm
2006 — conf
Completing and Adapting Models of Biological Processes.
BICC
Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006 — conf
Continuous Engineering of Embedded systems.
DIPES
Bernhard Steffen, Tiziana Margaria
2006 B conf
Data-Flow Analysis as Model Checking Within the jABC.
CC
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2006 C conf
Datenflussanalyse als Modelchecking im jABC.
Software Engineering
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2006 J jnl
Editorial.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Tiziana Margaria, Gabriele Taentzer
2006 — conf
Enhanced Requirements-Based Programming for Embedded Systems Design.
MBEES
Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006 A* conf
FormulaBuilder: a tool for graph-based modelling and generation of formulae.
ICSE
Sven Jörges, Tiziana Margaria, Bernhard Steffen
2006 J jnl
Guest Editorial.
Trans. SDPS
Tiziana Margaria
2006 C ed.
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
ISoLA
Tiziana Margaria, Bernhard Steffen
2006 J jnl
MaTRICS: A service-based management tool for remote intelligent configuration of systems.
Innov. Syst. Softw. Eng.
Markus Bajohr, Tiziana Margaria
2006 — conf
Model-Driven Development with the jABC.
Haifa Verification Conference
Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak
2006 B conf
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC.
ICECCS
Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen
2006 C conf
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.
ISoLA
Markus Bajohr, Tiziana Margaria, Bernhard Steffen
2006 C conf
Service Engineering: Linking Business and IT.
SEW
Tiziana Margaria, Bernhard Steffen
2006 J jnl
Service Engineering: Linking Business and IT.
Computer
Tiziana Margaria, Bernhard Steffen
2006 J jnl
Special Section on "Leveraging Formal Methods".
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Bernhard Steffen
2006 J jnl
The FMICS View on the Verified Software Repository.
Trans. SDPS
Alvaro E. Arenas, Juan Bicarregui, Tiziana Margaria
2006 C conf
The FMICS-jETI Platform: Status and Perspectives.
ISoLA
Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat
2006 — conf
ViDoC - Visual Design of Optimizing Compilers.
Program Analysis and Compilation
Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
2006 — conf
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str).
SPIN
Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen
2005 — conf
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints.
MBEES
Tiziana Margaria, Bernhard Steffen
2005 A conf
Analyzing second-order effects between optimizations for system-level test-based model generation.
ITC
Tiziana Margaria, Harald Raffelt, Bernhard Steffen
2005 J jnl
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
Int. J. Parallel Program.
Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen
2005 — conf
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service.
WWV
Martin Karusseit, Tiziana Margaria
2005 — conf
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service.
WWV
Martin Karusseit, Tiziana Margaria
2005 — conf
From the How to the What.
VSTTE
Tiziana Margaria, Bernhard Steffen
2005 J jnl
Introductory paper.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria
2005 J jnl
Knowledge-based relevance filtering for efficient system-level test-based model generation.
Innov. Syst. Softw. Eng.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen
2005 — conf
MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems.
ICPS
Markus Bajohr, Tiziana Margaria
2005 C ed.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005
FMICS
Tiziana Margaria, Mieke Massink
2005 — conf
Remote Integration and Coordination of Verification Tools in JETI.
ECBS
Tiziana Margaria, Ralf Nagel, Bernhard Steffen
2005 — conf
Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services.
WRAC
Tiziana Margaria, Bernhard Steffen
2005 C conf
Second-Order Semantic Web.
SEW
Tiziana Margaria, Bernhard Steffen
2005 A conf
Service-Oriented Design: The Roots.
ICSOC
Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
2005 A conf
Service-Oriented Design: The jABC Approach.
Service Oriented Computing
Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
2005 B conf
Taming Interface Specifications.
CONCUR
Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
2005 J jnl
Web services-based tool-integration in the ETI platform.
Softw. Syst. Model.
Tiziana Margaria
2005 A conf
jETI: A Tool for Remote Tool Integration.
TACAS
Tiziana Margaria, Ralf Nagel, Bernhard Steffen
2004 — conf
Efficient test-based model generation for legacy reactive systems.
HLDVT
Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen
2004 B ed.
Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings
FASE
Michel Wermelinger, Tiziana Margaria
2004 — ed.
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
ISoLA (Preliminary proceedings)
Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß
2004 J jnl
Lightweight coarse-grained coordination: a scalable system-level approach.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Bernhard Steffen
2004 C conf
Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?.
ISORC
Tiziana Margaria
2003 — conf
Components, Features, and Agents in the ABC.
Objects, Agents, and Features
Tiziana Margaria
2003 J jnl
Introductory paper: scalability aspects of validation.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Wang Yi
2003 J jnl
Preface by the section editor.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria
2003 A conf
Test-Based Model Generation For Legacy Systems.
ITC
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
2003 — conf
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.
Petri Net Technology for Communication-Based Systems
Volker Braun, Tiziana Margaria, Bernhard Steffen
2002 — conf
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences.
I3E
Tiziana Margaria, Martin Karusseit
2002 — conf
Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
SPIN
Tiziana Margaria, Oliver Niese, Bernhard Steffen
2002 B conf
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
FASE
Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide
2002 — conf
Model Generation for Legacy Systems.
RISSEF
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
2002 C conf
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.
FMICS
Tiziana Margaria, Bernhard Steffen
2002 — conf
System level testing of virtual switch (re-)configuration over IP.
ETW
Tiziana Margaria, Oliver Niese, Bernhard Steffen, Andrei Erochok
2002 — conf
The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools.
GraBaTs
Tiziana Margaria
2001 — conf
Automated regression testing of CTI-systems.
ETW
Oliver Niese, Tiziana Margaria, Andreas Hagerer, Bernhard Steffen, Georg Brune, Werner Goerigk, Hans-Dieter Ide
2001 — conf
Coarse-Granular Model Checking in Practice.
SPIN
Bernhard Steffen, Tiziana Margaria, Volker Braun
2001 — ed.
Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings
CHARME
Tiziana Margaria, Thomas F. Melham
2001 J jnl
Incremental Requirement Specification for Evolving Systems.
Nord. J. Comput.
Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
2001 B conf
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
FASE
Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide
2001 A ed.
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
TACAS
Tiziana Margaria, Wang Yi
2000 — conf
Incremental Requirement Specification for Evolving Systems.
FIW
Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
1999 — conf
METAFrame in Practice: Design of Intelligent Network Services.
Correct System Design
Bernhard Steffen, Tiziana Margaria
1999 A conf
The ETI Online Service in Action.
TACAS
Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
1998 — conf
Automatic Error Location for IN Service Definition.
Services and Visualization: Towards User-Friendly Design
Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
1998 B conf
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.
FASE
Tiziana Margaria, Bernhard Steffen
1998 — conf
Flexible and Reliable Process Model Properties: An Integrated Approach.
FM-Trends
Tiziana Margaria, Volker Gruhn
1998 — conf
Formal Methods and Customized Visualization: A Fruitful Symbiosis.
Services and Visualization: Towards User-Friendly Design
Tiziana Margaria, Volker Braun
1998 J jnl
Integrating Printed and Online Information.
Int. J. Softw. Tools Technol. Transf.
Thomas Friese, Tiziana Margaria, Alfred Hofmann
1998 — ed.
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers
Services and Visualization: Towards User-Friendly Design
Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga
1997 — conf
A formal requirements engineering method for specification, synthesis, and verification.
SEE
Michael von der Beeck, Tiziana Margaria, Bernhard Steffen
1997 J jnl
Editorial.
Int. J. Softw. Tools Technol. Transf.
Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
1997 A conf
Graphs in METAFrame: The Unifying Power of Polymorphism.
TACAS
Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen
1997 J jnl
Integrating Tools in the ETI Platform.
Int. J. Softw. Tools Technol. Transf.
Volker Braun, Tiziana Margaria, Carsten Weise
1997 J jnl
Interacting with ETI: A User Session.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Volker Braun, Jürgen Kreileder
1997 A conf
MOSEL: A FLexible Toolset for Monadic Second-Order Logic.
TACAS
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
1997 A* conf
MOSEL: A Sound and Efficient Tool for M2L(Str).
CAV
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
1997 B conf
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques.
PACT
Volker Braun, Tiziana Margaria, Bernhard Steffen, Friedrich-Karl Bruhns
1997 J jnl
The Electronic Tool Integration Platform: Concepts and Design.
Int. J. Softw. Tools Technol. Transf.
Bernhard Steffen, Tiziana Margaria, Volker Braun
1996 A conf
A Constraint-Oriented Service Creation Environment.
TACAS
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß
1996 J jnl
Foreword.
Softw. Concepts Tools
Tiziana Margaria, Bernhard Steffen
1996 A conf
Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits.
TACAS
Tiziana Margaria
1996 J jnl
Heterogeneous Analysis and Verification for Distributed Systems.
Softw. Concepts Tools
Bernhard Steffen, Tiziana Margaria, Andreas Claßen
1996 — conf
Incremental Formalization.
AMAST
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
1996 J jnl
Incremental Formalization: A Key to Industrial Success.
Softw. Concepts Tools
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
1996 J jnl
Method Engineering for Real-Life Concurrent Systems.
ACM Comput. Surv.
Bernhard Steffen, Tiziana Margaria
1996 A* conf
The METAFrame'95 Environment.
CAV
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
1996 J jnl
Tools Get Formal Methods into Practice.
ACM Comput. Surv.
Bernhard Steffen, Tiziana Margaria
1996 A ed.
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings
TACAS
Tiziana Margaria, Bernhard Steffen
1995 B conf
An Approach to Intelligent Software Library Management.
DASFAA
Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski
1995 B conf
The Fixpoint-Analysis Machine.
CONCUR
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
1995 — conf
The META-Frame: An Environment for Flexible Tool Management.
TAPSOFT
Bernhard Steffen, Tiziana Margaria, Andreas Claßen
1995 A ed.
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings
TACAS
Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen
1994 — conf
A Pragmatic Approach to Software Synthesis.
Workshop on Interface Definition Languages
Burkhard Freitag, Tiziana Margaria, Bernhard Steffen
1993 — conf
Continuous Real Time Models in Practice.
RTS
Carsten Weise, Tiziana Margaria
1992 — conf
Efficient RT-Level Verification by Theorem Proving.
IFIP Congress (1)
Tiziana Margaria
1992 — conf
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level.
TPCD
Tiziana Margaria
1991 — conf
Resolution-based correctness proofs of synchronous circuits.
EURO-DAC
Paolo Camurati, Tiziana Margaria, Paolo Prinetto
1990 J jnl
The OTTER environment for resolution-based proof of hardware correctness.
Microprocessing and Microprogramming
Paolo Camurati, Tiziana Margaria, Paolo Prinetto
1989 J jnl
Systolic array description in F
Microprocessing and Microprogramming
Paolo Camurati, Tiziana Margaria, Paolo Prinetto