Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[j74]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)- [c174]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 - [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 - 2021
- [j73]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) - [j72]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Formal Methods Boost Experimental Performance for Explainable AI. IT Prof. 23(6): 8-12 (2021) - [c173]Tiziana Margaria, Alexander Schieweck:
Towards Engineering Digital Twins by Active Behaviour Mining. Model Checking, Synthesis, and Learning 2021: 138-163 - [c172]Ciara Breathnach, Rachel Murphy, Tiziana Margaria:
Transcribathons as Practice-Based Learning for Historians and Computer Scientists. COMPSAC 2021: 1131-1136 - [c171]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 - [c170]Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
Integrating External Services in DIME. ISoLA 2021: 41-54 - [c169]Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria:
Towards Living Canvases. ISoLA 2021: 95-116 - [c168]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 - [c167]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 - [c166]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
- [j71]Alexander Schieweck, Tiziana Margaria:
Testing Interconnected Systems with Behavior Mining. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j70]Tiziana Margaria, Joseph Kiniry:
Welcome to Formal Methods in Industry. IT Prof. 22(1): 9-12 (2020) - [j69]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. 22(4): 8-12 (2020) - [c165]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 - [c164]Marina Marchisio, Tiziana Margaria, Matteo Sacchet:
Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design. COMPSAC 2020: 201-206 - [c163]Salim Saay, Tiziana Margaria:
Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. COMPSAC 2020: 1522-1527 - [c162]Bandar Alamri, Ibrahim Tariq Javed, Tiziana Margaria:
Preserving Patients' Privacy in Medical IoT Using Blockchain. EDGE 2020: 103-110 - [c161]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 - [c160]Salim Saay, Tiziana Margaria:
XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs. ICALT 2020: 45-46 - [c159]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
- [c158]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 - [c157]Tiziana Margaria, Alexander Schieweck:
The Digital Thread in Industry 4.0. IFM 2019: 3-24 - [c156]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 - [c155]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
- [j68]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) - [c154]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta 2018: 3-13 - [c153]Tiziana Margaria:
Making Sense of Complex Applications: Constructive Design, Features, and Questions. Models, Mindsets, Meta 2018: 129-148 - [c152]Tiziana Margaria, Henry C. B. Chan:
Message from the CELT 2018 Symposium Co-Chairs. COMPSAC (1) 2018: 979 - [c151]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 - [c150]Tiziana Margaria:
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. FMICS 2018: 3-18 - [c149]Bernhard Steffen, Tiziana Margaria:
Predicate Abstraction and Such... FMICS 2018: 181-188 - [c148]Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria:
Domain-specific design of patient classification in cancer-related cachexia research. FormaliSE@ICSE 2018: 60-63 - [c147]Tiziana Margaria:
From Computational Thinking to Constructive Design with Simple Models. ISoLA (1) 2018: 261-278 - [c146]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
- [j67]Frederik Gossen, Tiziana Margaria:
Generating Real-time Decision Systems with the new miAamics. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017) - [c145]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 - [c144]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 - [c143]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 - [c142]Eugeni Isern, Miquel Roca, Tiziana Margaria:
Foreword. DTIS 2017: ix - [c141]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 - [c140]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 - [c139]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
- [j66]Tiziana Margaria:
Knowledge Management for Inclusive System Evolution. LNCS Trans. Found. Mastering Chang. 1: 7-21 (2016) - [j65]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) - [c138]Frederik Gossen, Tiziana Margaria:
Comprehensible people recognition using the Kinect's face and skeleton model. AQTR 2016: 1-6 - [c137]Anna-Lena Lamprecht, Tiziana Margaria, Clare McInerney:
A Summer Computing Camp Using ChainReaction and jABC. COMPSAC Workshops 2016: 275-280 - [c136]Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin:
Messge from the ECPE Organizing Committee. COMPSAC 2016: 281 - [c135]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 - [c134]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 - [c133]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 - [c132]Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen:
Meta-Level Reuse for Mastering Domain Specialization. ISoLA (2) 2016: 218-237 - [c131]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen:
Synthesis from a Practical Perspective. ISoLA (1) 2016: 282-302 - [c130]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 - [c129]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
- [c128]Tiziana Margaria:
Which IT Governance for Distributed Intelligent Cyber-Physical Systems? COMPSAC 2015: 46-47 - [c127]Clare McInerney, Tiziana Margaria:
Software as a High-Tech Weapon in Ireland's Strategy. COMPSAC Workshops 2015: 658-663 - [c126]Anna-Lena Lamprecht, Tiziana Margaria, Johannes Neubauer:
On the Use of XMDD in Software Development Education. COMPSAC 2015: 835-844 - [c125]Tiziana Margaria:
Why caring about leading-edge software engineering in healthcare and assistive technology applications? DTIS 2015: 1 - [c124]Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria:
Foundations of Semantics and Model Checking in a Software Engineering Course. FMSEE&T@FM 2015: 19-26 - [c123]Anna-Lena Lamprecht, Tiziana Margaria:
Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education. ICCS 2015: 1927-1936 - [c122]Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria:
User-level synthesis: treating product lines as systems of constraints. SPLC 2015: 427-431 - [c121]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
- [j64]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) - [j63]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16(4): 335-337 (2014) - [j62]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) - [j61]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) - [c120]Mike Hinchey, Tiziana Margaria:
Evolving Critical Systems - Track Introduction. ISoLA (1) 2014: 1-3 - [c119]Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria:
Prototype-Driven Development of Web Applications with DyWA. ISoLA (1) 2014: 56-72 - [c118]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 - [c117]Tiziana Margaria, Christoph Rasche:
Processes and Data Integration in the Networked Healthcare - (Track Introduction). ISoLA (2) 2014: 524-525 - [c116]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 - [c115]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
- [j60]Tiziana Margaria, Mike Hinchey:
Simplicity in IT: The Power of Less. Computer 46(11): 23-25 (2013) - [j59]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) - [j58]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) - [j57]Falk Howar, Tiziana Margaria, Christian Wagner:
Simplifying Translation Validation via Model Extrapolation. J. Integr. Des. Process. Sci. 17(3): 71-91 (2013) - [c114]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-Driven Benchmark Generation. SPIN 2013: 341-357 - [c113]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
- [j56]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) - [c112]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 - [c111]Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. FormSERA@ICSE 2012: 37-43 - <