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
- 2025
[e47]Tiziana Margaria
, Bernhard Steffen:
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. Lecture Notes in Computer Science 15219, Springer 2025, ISBN 978-3-031-73708-4 [contents]- 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]Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria:
Foundations of Semantics and Model Checking in a Software Engineering Course. FMSEE&T@FM 2015: 19-26 - [c127]Anna-Lena Lamprecht, Tiziana Margaria:
Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education. ICCS 2015: 1927-1936 - [c126]Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria:
User-level synthesis: treating product lines as systems of constraints. SPLC 2015: 427-431 - [c125]Anna-Lena Lamprecht, Tiziana Margaria:
Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge. SWAT4LS 2015: 216-217 - [p14]Tiziana Margaria-Steffen, Steve Boßelmann, Alexander Wickert:
Der Business Model Developer - Entwicklung eines Tools zur Erstellung und Analyse von Geschäftsmodellen. Dienstleistungspotenziale und Geschäftsmodelle in der Personalisierten Medizin 2015: 95-115 - [e26]Andreas Bollin, Tiziana Margaria, Isabelle Perseil:
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. CEUR Workshop Proceedings 1385, CEUR-WS.org 2015 [contents] - [e25]Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer, Roman Spanek, Martin Rimnac:
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015, the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015) , Pec pod Snezkou, Czech Republic, January 24-29, 2015. CEUR Workshop Proceedings 1326, CEUR-WS.org 2015 [contents] - [e24]Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer:
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings. Lecture Notes in Computer Science 8939, Springer 2015, ISBN 978-3-662-46077-1 [contents] - 2014
- [j61]Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria:
Simplicity-first model-based plug-in development. Softw. Pract. Exp. 44(3): 277-297 (2014) - [j60]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16(4): 335-337 (2014) - [j59]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-driven benchmark generation: synthesizing programs of realistic structure. Int. J. Softw. Tools Technol. Transf. 16(5): 465-479 (2014) - [j58]Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria:
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16(5): 543-558 (2014) - [c124]Mike Hinchey, Tiziana Margaria:
Evolving Critical Systems - Track Introduction. ISoLA (1) 2014: 1-3 - [c123]Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria:
Prototype-Driven Development of Web Applications with DyWA. ISoLA (1) 2014: 56-72 - [c122]Samih Al-Areqi, Steffen Kriewald, Anna-Lena Lamprecht, Dominik Reusser, Markus Wrobel, Tiziana Margaria:
Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform. ISoLA (2) 2014: 420-435 - [c121]Tiziana Margaria, Christoph Rasche:
Processes and Data Integration in the Networked Healthcare - (Track Introduction). ISoLA (2) 2014: 524-525 - [c120]Tiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender:
Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal. ISoLA (2) 2014: 526-544 - [c119]Steve Boßelmann, Tiziana Margaria:
Domain-Specific Business Modeling with the Business Model Developer. ISoLA (2) 2014: 545-560 - [p13]Anna-Lena Lamprecht, Tiziana Margaria:
Scientific Workflows and XMDD. Process Design for Natural Scientists 2014: 1-13 - [p12]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Modeling and Execution of Scientific Workflows with the jABC Framework. Process Design for Natural Scientists 2014: 14-29 - [p11]Anna-Lena Lamprecht, Alexander Wickert, Tiziana Margaria:
Lessons Learned. Process Design for Natural Scientists 2014: 45-64 - [e23]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 8802, Springer 2014, ISBN 978-3-662-45233-2 [contents] - [e22]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 8803, Springer 2014, ISBN 978-3-662-45230-1 [contents] - [e21]Anna-Lena Lamprecht, Tiziana Margaria:
Process Design for Natural Scientists - An Agile Model-Driven Approach. Communications in Computer and Information Science 500, Springer 2014, ISBN 978-3-662-45005-5 [contents] - 2013
- [j57]Tiziana Margaria, Mike Hinchey:
Simplicity in IT: The Power of Less. Computer 46(11): 23-25 (2013) - [j56]Tiziana Margaria, Barry D. Floyd:
Simplicity in IT: a Chance for a New Kind of Design and Process Science. J. Integr. Des. Process. Sci. 17(3): 1-7 (2013) - [j55]Tiziana Margaria, Steve Boßelmann, Bertold Kujath:
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. J. Integr. Des. Process. Sci. 17(3): 25-45 (2013) - [j54]Falk Howar, Tiziana Margaria, Christian Wagner:
Simplifying Translation Validation via Model Extrapolation. J. Integr. Des. Process. Sci. 17(3): 71-91 (2013) - [c118]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-Driven Benchmark Generation. SPIN 2013: 341-357 - [c117]Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. Festschrift for Dave Schmidt 2013: 259-283 - [e20]Georg Herzwurm, Tiziana Margaria:
Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings. Lecture Notes in Business Information Processing 150, Springer 2013, ISBN 978-3-642-39335-8 [contents] - 2012
- [j53]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. 14(5): 511-530 (2012) - [c116]Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria:
Simplicity principles for plug-in development: the jABC approach. TOPI@ICSE 2012: 7-12 - [c115]Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. FormSERA@ICSE 2012: 37-43 - [c114]Anna-Lena Lamprecht, Tiziana Margaria:
Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. ISoLA (1) 2012: 47-63 - [c113]Andrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche:
Processes and Data Integration in the Networked Healthcare. ISoLA (2) 2012: 67-69 - [c112]Tiziana Margaria, Steve Boßelmann, Bertold Kujath:
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. ISoLA (2) 2012: 70-72 - [c111]Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607 - [p10]Tiziana Margaria, Bernhard Steffen:
Service-Orientation: Conquering Complexity with XMDD. Conquering Complexity 2012: 217-236 - [p9]Tiziana Margaria, Christian Kubczak, Bernhard Steffen:
The XMDD Approach to the Semantic Web Services Challenge. Semantic Web Services, Advancement through Evaluation 2012: 233-248 - [p8]Tiziana Margaria, Steve Boßelmann, Markus Doedt, Barry D. Floyd, Bernhard Steffen:
Customer-Oriented Business Process Management: Vision and Obstacles. Conquering Complexity 2012: 407-429 - [e19]Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen:
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. Communications in Computer and Information Science 336, Springer 2012, ISBN 978-3-642-34780-1 [contents] - [e18]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 7609, Springer 2012, ISBN 978-3-642-34025-3 [contents] - [e17]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 7610, Springer 2012, ISBN 978-3-642-34031-4 [contents] - [e16]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. IEEE Computer Society 2012, ISBN 978-0-7695-4751-0 [contents] - 2011
- [j52]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(S-1): S5 (2011) - [j51]Daniel Kroening, Tiziana Margaria, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(5): 585-588 (2011) - [j50]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
Assuring property conformance of code generators via model checking. Formal Aspects Comput. 23(5): 589-606 (2011) - [j49]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Game-Based Model Checking for Reliable Autonomy in Space. J. Aerosp. Comput. Inf. Commun. 8(4): 100-114 (2011) - [c110]Tiziana Margaria, Barry D. Floyd, Bernhard Steffen:
IT Simply Works: Simplicity and Embedded Systems Design. COMPSAC Workshops 2011: 194-199 - [c109]Tiziana Margaria:
Formal Methods in the Era of Service-Oriented Design. COMPSAC 2011: 452-453 - [c108]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. EternalS@FET 2011: 1-15 - [c107]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Synthesis-Based Variability Control: Correctness by Construction. FMCO 2011: 69-88 - [c106]Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria:
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops 2011: 232-247 - [c105]Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops 2011: 248-260 - [c104]Tiziana Margaria, Bernhard Steffen:
Special Session on "Simplification through Change of Perspective". SEW 2011: 67-68 - [c103]Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria:
Constraint-oriented Variability Modeling. SEW 2011: 77-83 - [c102]Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria:
Next Generation LearnLib. TACAS 2011: 220-223 - 2010
- [j48]Tiziana Margaria, Bernhard Steffen:
Simplicity as a Driver for Agile Innovation. Computer 43(6): 90-92 (2010) - [j47]Tiziana Margaria, Bernhard Steffen, Christian Topnik:
Second-Order Value Numbering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j46]Tiziana Margaria, Bernhard Steffen, Christian Kubczak:
Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1): 35-47 (2010) - [j45]Niklas Blum, Irina Boldea, Thomas Magedanz, Tiziana Margaria:
Service-oriented Access to Next Generation Networks - from Service Creation to Execution. Mob. Networks Appl. 15(3): 356-365 (2010) - [j44]Niklas Blum, Tiziana Margaria:
An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services. Prax. Inf.verarb. Kommun. 33(1): 16-20 (2010) - [j43]Daniel Kroening, Tiziana Margaria:
Verified software: theories, tools and experiments. Int. J. Softw. Tools Technol. Transf. 12(6): 405-408 (2010) - [c101]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Synthesis-Based Loose Programming. QUATIC 2010: 262-267 - [c100]Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria:
Constraint-Guided Workflow Composition Based on the EDAM Ontology. SWAT4LS 2010 - [e15]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 6415, Springer 2010, ISBN 978-3-642-16557-3 [contents] - [e14]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 6416, Springer 2010, ISBN 978-3-642-16560-3 [contents] - [r2]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Bioinformatics: Processes and Workflows. Encyclopedia of Software Engineering 2010: 118-130 - [r1]Bernhard Steffen, Tiziana Margaria, Christian Wagner:
Round-Trip Engineering. Encyclopedia of Software Engineering 2010: 1044-1055 - [i6]Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria:
Constraint-Guided Workflow Composition Based on the EDAM Ontology. CoRR abs/1012.1640 (2010)
2000 – 2009
- 2009
- [j42]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(S-10): 8 (2009) - [j41]Tiziana Margaria, Bernhard Steffen:
Continuous Model-Driven Engineering. Computer 42(10): 106-109 (2009) - [j40]Bernd J. Krämer, Tiziana Margaria:
A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Comput. 3(1): 5-30 (2009) - [j39]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5(3): 211-228 (2009) - [j38]Mike Hinchey, Tiziana Margaria, Bernhard Steffen:
Guest Editor's introduction. Int. J. Softw. Tools Technol. Transf. 11(3): 173-174 (2009) - [j37]Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria:
Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11(4): 307-324 (2009) - [j36]Tiziana Margaria, Mieke Massink:
Preface. Int. J. Softw. Tools Technol. Transf. 11(5): 355-357 (2009) - [j35]Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria:
LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5): 393-407 (2009) - [c99]Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann:
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts. GI Jahrestagung 2009: 3485-3493 - [c98]Tiziana Margaria, Christian Wagner, Marco Bakera:
Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems. GI Jahrestagung 2009: 3502-3506 - [c97]Sven Jörges, Bernhard Steffen, Tiziana Margaria:
Building Code Generators with Genesys: A Tutorial Introduction. GTTSE 2009: 364-385 - [c96]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
From Bio-jETI Process Models to Native Code. ICECCS 2009: 95-101 - [c95]Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm:
Analysis and Code Model Extraction for C/C++ Source Code. ICECCS 2009: 110-119 - [c94]Marco Bakera, Sven Jörges, Tiziana Margaria:
Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS 2009: 172-181 - [c93]Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria:
Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. ICECCS 2009: 240-247 - [c92]Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria:
Maintenance, or the 3rd dimension of eXtreme model-driven design. ICSM 2009: 483-486 - [c91]Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen:
Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods 2009: 66-75 - [c90]Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen:
Synthesizing Semantic Web Service Compositions with jMosel and Golog. ISWC 2009: 392-407 - [c89]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Semantics-Based Composition of EMBOSS Services with Bio-jETI. SWAT4LS 2009 - [p7]Tiziana Margaria, Bernhard Steffen:
Business Process Modeling in the jABC. Handbook of Research on Business Process Modeling 2009: 1-26 - [p6]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Ralf Nagel:
Service-oriented Mediation with jABC/jETI. Semantic Web Services Challenge 2009: 71-99 - [p5]Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen:
Automatic Generation of the SWS- Challenge Mediator with jABC/ABC. Semantic Web Services Challenge 2009: 119-138 - [p4]Marco Brambilla, Stefano Ceri, Emanuele Della Valle, Federico M. Facca, Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler:
Comparison: Mediation on WebML/WebRatio and jABC/jETI. Semantic Web Services Challenge 2009: 153-166 - [p3]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar:
An Approach to Discovery with miAamics and jABC. Semantic Web Services Challenge 2009: 217-234 - [p2]Ulrich Küster, Birgitta König-Ries, Tiziana Margaria, Bernhard Steffen:
Comparison: Handling Preferences with DIANE and miAamics. Semantic Web Services Challenge 2009: 265-271 - [p1]Charles Petrie, Ulrich Küster, Tiziana Margaria, Michal Zaremba, Holger Lausen, Srdjan Komazec:
Status, Perspectives, and Lessons Learned. Semantic Web Services Challenge 2009: 275-284 - [e13]Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba:
Semantic Web Services Challenge, Results from the First Year. Semantic Web And Beyond 8, Springer 2009, ISBN 978-0-387-72495-9 [contents] - [i5]Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Tiziana Margaria, Josu Martinez, Christian Müller-Schloer, Roland Reichle:
The Role of Models in Self-adaptive and Self-healing Systems. Self-Healing and Self-Adaptive Systems 2009 - [i4]Tiziana Margaria, Marco Bakera, Christian Wagner:
Component-Oriented Behavior Extraction for Autonomic System Design. Self-Healing and Self-Adaptive Systems 2009 - 2008
- [j34]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich:
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinform. 9(S-4) (2008) - [j33]Tiziana Margaria, Christian Kubczak, Bernhard Steffen:
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinform. 9(S-4) (2008) - [j32]Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria:
Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) - [j31]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4): 361-384 (2008) - [j30]Tiziana Margaria, Bernhard Steffen:
Preface. Theor. Comput. Sci. 404(3): 185 (2008) - [c88]Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth:
Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008 - [c87]Tiziana Margaria:
Synthesizing the Mediator with jABC/ABC. EON 2008 - [c86]Tiziana Margaria:
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. ICECCS 2008: 183-189 - [c85]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA 2008: 445-456 - [c84]Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt:
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA 2008: 139-154 - [c83]Tiziana Margaria, Bernhard Steffen:
Agile IT: Thinking in User-Centric Models. ISoLA 2008: 490-502 - [c82]Markus Bajohr, Tiziana Margaria:
High Service Availability in MaTRICS for the OCS. ISoLA 2008: 572-586 - [c81]Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh:
The jABC Approach to Rigorous Collaborative Development of SCM Applications. ISoLA 2008: 724-737 - [c80]Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong:
Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6 - [c79]Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten:
Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7 - [c78]Martin Karusseit, Tiziana Margaria, Holger Willebrandt:
Policy expression and checking in XACML, WS-Policies, and the jABC. TAV-WEB 2008: 20-26 - [c77]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Supporting Process Development in Bio-jETI by Model Checking and Synthesis. SWAT4LS 2008 - [e12]Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria:
Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Lecture Notes in Computer Science 5364, 2008, ISBN 978-3-540-89647-0 [contents] - [e11]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Communications in Computer and Information Science 17, Springer 2008, ISBN 978-3-540-88478-1 [contents] - [i3]Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
Plug and Play with FMICS-jETI: Beyond Scripting and Coding. ERCIM News 2008(73) (2008) - [i2]Marco Bakera, Tiziana Margaria:
The SHADOWS Story on Implementation of Self-Healing Systems. ERCIM News 2008(75) (2008) - 2007
- [j29]Tiziana Margaria:
Service Is in the Eyes of the Beholder. Computer 40(11): 33-37 (2007) - [j28]Michel Wermelinger, Tiziana Margaria, Maura Cerioli:
Introduction to the special section on fundamental approaches to software engineering. Int. J. Softw. Tools Technol. Transf. 9(5-6): 415-416 (2007) - [j27]Maura Cerioli, Tiziana Margaria, Michel Wermelinger:
Foreword. Theor. Comput. Sci. 376(3): 137-138 (2007) - [c76]Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz:
Software Process Improvement - EuroSPI 2007 Conference. EuroSPI 2007: 1-6 - [c75]Harald Raffelt, Bernhard Steffen, Tiziana Margaria:
Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152 - [c74]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat:
Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147 - [c73]Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen:
An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160 - [c72]Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker:
The LearnLib in FMICS-jETI. ICECCS 2007: 340-352 - [c71]Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou:
The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) 2007: 422-429 - [c70]Charles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba:
SWS Challenge - Status, Perspectives, Lessons Learned So Far. ICEIS (4) 2007: 447-452 - [c69]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97 - [c68]Tiziana Margaria, Bernhard Steffen:
Middleware: just another level for orchestration. MNCNA 2007: 4 - [c67]Tiziana Margaria, Bernhard Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226 - [e10]Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz:
Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4764, Springer 2007, ISBN 978-3-540-74765-9 [contents] - 2006
- [j26]Tiziana Margaria, Bernhard Steffen:
Service Engineering: Linking Business and IT. Computer 39(10): 45-55 (2006) - [j25]Julia Padberg, Tiziana Margaria, Gabriele Taentzer:
Editorial. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j24]Markus Bajohr, Tiziana Margaria:
MaTRICS: A service-based management tool for remote intelligent configuration of systems. Innov. Syst. Softw. Eng. 2(2): 99-111 (2006) - [j23]Tiziana Margaria:
Guest Editorial. Trans. SDPS 10(4): 1 (2006) - [j22]Alvaro E. Arenas, Juan Bicarregui, Tiziana Margaria:
The FMICS View on the Verified Software Repository. Trans. SDPS 10(4): 47-54 (2006) - [j21]Tiziana Margaria, Bernhard Steffen:
Special Section on "Leveraging Formal Methods". Int. J. Softw. Tools Technol. Transf. 8(6): 467-469 (2006) - [c66]Tiziana Margaria, Oliver Rüthing, Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159 - [c65]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104 - [c64]Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak:
Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108 - [c63]Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176 - [c62]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818 - [c61]Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Completing and Adapting Models of Biological Processes. BICC 2006: 43-54 - [c60]Bernhard Steffen, Tiziana Margaria:
Continuous Engineering of Embedded systems. DIPES 2006: 45-54 - [c59]Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen:
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. ISoLA 2006: 303-308 - [c58]Markus Bajohr, Tiziana Margaria, Bernhard Steffen:
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. ISoLA 2006: 317-324 - [c57]Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat:
The FMICS-jETI Platform: Status and Perspectives. ISoLA 2006: 402-407 - [c56]Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm:
Comparative Analysis of Tools for Automated Software Re-engineering Purposes. ISoLA 2006: 433-440 - [c55]Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES 2006: 43-52 - [c54]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130 - [c53]Tiziana Margaria, Bernhard Steffen:
Service Engineering: Linking Business and IT. SEW 2006: 33-36 - [c52]Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen:
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298 - [e9]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4313, Springer 2006, ISBN 3-540-48928-2 [contents] - 2005
- [j20]Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen:
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. Int. J. Parallel Program. 33(6): 585-611 (2005) - [j19]Tiziana Margaria, Harald Raffelt, Bernhard Steffen:
Knowledge-based relevance filtering for efficient system-level test-based model generation. Innov. Syst. Softw. Eng. 1(2): 147-156 (2005) - [j18]Tiziana Margaria:
Web services-based tool-integration in the ETI platform. Softw. Syst. Model. 4(2): 141-156 (2005) - [j17]Tiziana Margaria:
Introductory paper. Int. J. Softw. Tools Technol. Transf. 7(4): 293-296 (2005) - [c51]Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck:
Taming Interface Specifications. CONCUR 2005: 548-561 - [c50]Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436 - [c49]Markus Bajohr, Tiziana Margaria:
MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems. ICPS 2005: 457-460 - [c48]Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß:
Service-Oriented Design: The Roots. ICSOC 2005: 450-464 - [c47]Tiziana Margaria, Harald Raffelt, Bernhard Steffen:
Analyzing second-order effects between optimizations for system-level test-based model generation. ITC 2005: 7 - [c46]Tiziana Margaria, Bernhard Steffen:
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. MBEES 2005: 51-62 - [c45]Tiziana Margaria, Bernhard Steffen:
Second-Order Semantic Web. SEW 2005: 219-227 - [c44]Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562 - [c43]Tiziana Margaria, Bernhard Steffen:
From the How to the What. VSTTE 2005: 448-459 - [c42]Tiziana Margaria, Bernhard Steffen:
Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268 - [c41]Martin Karusseit, Tiziana Margaria:
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. WWV 2005: 9-25 - [c40]Martin Karusseit, Tiziana Margaria:
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. WWV 2005: 101-118 - [e8]Tiziana Margaria, Mieke Massink:
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. ACM 2005 [contents] - [i1]Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß:
Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005 - 2004
- [j16]Tiziana Margaria, Bernhard Steffen:
Lightweight coarse-grained coordination: a scalable system-level approach. Int. J. Softw. Tools Technol. Transf. 5(2-3): 107-123 (2004) - [c39]Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen:
Efficient test-based model generation for legacy reactive systems. HLDVT 2004: 95-100 - [c38]Tiziana Margaria:
Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. ISORC 2004: 113-120 - [e7]Michel Wermelinger, Tiziana Margaria:
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. Lecture Notes in Computer Science 2984, Springer 2004, ISBN 3-540-21305-8 [contents] - [e6]Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Technical Report TR-2004-6, Department of Computer Science, University of Cyprus 2004 [contents] - 2003
- [j15]Tiziana Margaria:
Preface by the section editor. Int. J. Softw. Tools Technol. Transf. 4(3): 266-270 (2003) - [j14]Tiziana Margaria, Wang Yi:
Introductory paper: scalability aspects of validation. Int. J. Softw. Tools Technol. Transf. 5(1): 1-3 (2003) - [c37]Tiziana Margaria:
Components, Features, and Agents in the ABC. Objects, Agents, and Features 2003: 154-174 - [c36]Volker Braun, Tiziana Margaria, Bernhard Steffen:
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382 - [c35]Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980 - 2002
- [c34]Tiziana Margaria, Oliver Niese, Bernhard Steffen, Andrei Erochok:
System level testing of virtual switch (re-)configuration over IP. ETW 2002: 67-72 - [c33]Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE 2002: 336-340 - [c32]Tiziana Margaria, Martin Karusseit:
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. I3E 2002: 497-511 - [c31]Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Model Generation for Legacy Systems. RISSEF 2002: 167-183 - [c30]Tiziana Margaria, Oliver Niese, Bernhard Steffen:
Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253 - [c29]Tiziana Margaria:
The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools. GraBaTs 2002: 32-46 - [c28]Tiziana Margaria, Bernhard Steffen:
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. FMICS 2002: 66-83 - 2001
- [j13]Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. 8(1): 65-87 (2001) - [c27]Oliver Niese, Tiziana Margaria, Andreas Hagerer, Bernhard Steffen, Georg Brune, Werner Goerigk, Hans-Dieter Ide:
Automated regression testing of CTI-systems. ETW 2001: 51-57 - [c26]Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE 2001: 233-248 - [c25]Bernhard Steffen, Tiziana Margaria, Volker Braun:
Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312 - [e5]Tiziana Margaria, Thomas F. Melham:
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. Lecture Notes in Computer Science 2144, Springer 2001, ISBN 3-540-42541-1 [contents] - [e4]Tiziana Margaria, Wang Yi:
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. Lecture Notes in Computer Science 2031, Springer 2001, ISBN 3-540-41865-2 [contents] - 2000
- [c24]Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162
1990 – 1999
- 1999
- [c23]Bernhard Steffen, Tiziana Margaria:
METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415 - [c22]Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen:
The ETI Online Service in Action. TACAS 1999: 439-443 - 1998
- [j12]Thomas Friese, Tiziana Margaria, Alfred Hofmann:
Integrating Printed and Online Information. Int. J. Softw. Tools Technol. Transf. 2(2): 202 (1998) - [c21]Tiziana Margaria, Bernhard Steffen:
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204 - [c20]Tiziana Margaria, Volker Gruhn:
Flexible and Reliable Process Model Properties: An Integrated Approach. FM-Trends 1998: 213-227 - [c19]Tiziana Margaria, Volker Braun:
Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207 - [c18]Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo:
Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237 - [e3]Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga:
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers. Lecture Notes in Computer Science 1385, Springer 1998, ISBN 3-540-64367-2 [contents] - 1997
- [j11]Rance Cleaveland, Tiziana Margaria, Bernhard Steffen:
Editorial. Int. J. Softw. Tools Technol. Transf. 1(1-2): 1-5 (1997) - [j10]Bernhard Steffen, Tiziana Margaria, Volker Braun:
The Electronic Tool Integration Platform: Concepts and Design. Int. J. Softw. Tools Technol. Transf. 1(1-2): 9-30 (1997) - [j9]Volker Braun, Tiziana Margaria, Carsten Weise:
Integrating Tools in the ETI Platform. Int. J. Softw. Tools Technol. Transf. 1(1-2): 31-48 (1997) - [j8]Tiziana Margaria, Volker Braun, Jürgen Kreileder:
Interacting with ETI: A User Session. Int. J. Softw. Tools Technol. Transf. 1(1-2): 49-63 (1997) - [c17]Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger:
MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451 - [c16]Volker Braun, Tiziana Margaria, Bernhard Steffen, Friedrich-Karl Bruhns:
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques. PACT 1997: 91-106 - [c15]Michael von der Beeck, Tiziana Margaria, Bernhard Steffen:
A formal requirements engineering method for specification, synthesis, and verification. SEE 1997: 131-144 - [c14]Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS 1997: 112-129 - [c13]Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger:
MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202 - 1996
- [j7]Bernhard Steffen, Tiziana Margaria:
Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996) - [j6]Bernhard Steffen, Tiziana Margaria:
Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996) - [j5]Bernhard Steffen, Tiziana Margaria, Andreas Claßen:
Heterogeneous Analysis and Verification for Distributed Systems. Softw. Concepts Tools 17(1): 13-25 (1996) - [j4]Tiziana Margaria, Bernhard Steffen:
Foreword. Softw. Concepts Tools 17(2): 49 (1996) - [j3]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization: A Key to Industrial Success. Softw. Concepts Tools 17(2): 78- (1996) - [c12]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization. AMAST 1996: 608-611 - [c11]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
The METAFrame'95 Environment. CAV 1996: 450-453 - [c10]Tiziana Margaria:
Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. TACAS 1996: 258-277 - [c9]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421 - [e2]Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055, Springer 1996, ISBN 3-540-61042-1 [contents] - 1995
- [c8]Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria:
The Fixpoint-Analysis Machine. CONCUR 1995: 72-87 - [c7]Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski:
An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78 - [c6]Bernhard Steffen, Tiziana Margaria, Andreas Claßen:
The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792 - [e1]Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents] - 1994
- [c5]Burkhard Freitag, Tiziana Margaria, Bernhard Steffen:
A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58 - 1993
- [c4]Carsten Weise, Tiziana Margaria:
Continuous Real Time Models in Practice. RTS 1993: 8-13 - 1992
- [c3]Tiziana Margaria:
Efficient RT-Level Verification by Theorem Proving. IFIP Congress (1) 1992: 696-702 - [c2]Tiziana Margaria:
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. TPCD 1992: 59-75 - 1991
- [c1]Paolo Camurati, Tiziana Margaria, Paolo Prinetto:
Resolution-based correctness proofs of synchronous circuits. EURO-DAC 1991: 11-15 - 1990
- [j2]Paolo Camurati, Tiziana Margaria, Paolo Prinetto:
The OTTER environment for resolution-based proof of hardware correctness. Microprocessing and Microprogramming 30(1-5): 421-428 (1990)
1980 – 1989
- 1989
- [j1]Paolo Camurati, Tiziana Margaria, Paolo Prinetto:
Systolic array description in F2. Microprocessing and Microprogramming 27(1-5): 171-178 (1989)
Coauthor Index
[e47] [i7] [c182] [c179] [e45] [e44] [e43] [e42] [j69] [e41] [e40] [j66] [p20] [e39] [e38] [e37] [p19] [p18] [c153] [c150] [e35] [e34] [e33] [e32] [c147] [e31] [j62] [c136] [c135] [c134] [e28] [e27] [c126] [j61] [j59] [j58] [c123] [p12] [e23] [e22] [c118] [c117] [j53] [c116] [c115] [c111] [p10] [p9] [p8] [e19] [e18] [e17] [j52] [j50] [j49] [c110] [c108] [c107] [c106] [c105] [c104] [c102] [j48] [j47] [j46] [c101] [c100] [e15] [e14] [r2] [r1] [i6] [j42] [j41] [j39] [j38] [j37] [j35] [c97] [c96] [c92] [c91] [c90] [c89] [p7] [p6] [p5] [p4] [p3] [p2] [j34] [j33] [j31] [j30] [c85] [c84] [c83] [c81] [c79] [c77] [e11] [i3] [c75] [c74] [c73] [c72] [c71] [c69] [c68] [c67] [j26] [j21] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c55] [c54] [c53] [c52] [e9] [j20] [j19] [c51] [c50] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [i1] [j16] [c39] [e6] [c36] [c35] [c34] [c33] [c31] [c30] [c28] [j13] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c18] [e3] [j11] [j10] [c16] [c15] [c14] [j7] [j6] [j5] [j4] [j3] [c12] [c11] [c9] [e2] [c8] [c7] [c6] [e1] [c5]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
