Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2021
[j69]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)- 2020
- [j68]Tiziana Margaria, Joseph Kiniry:
Welcome to Formal Methods in Industry. IT Prof. 22(1): 9-12 (2020) - [j67]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. 22(4): 8-12 (2020) - [c163]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 - [c162]Marina Marchisio, Tiziana Margaria, Matteo Sacchet:
Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design. COMPSAC 2020: 201-206 - [c161]Salim Saay, Tiziana Margaria:
Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. COMPSAC 2020: 1522-1527 - [c160]Bandar Alamri, Ibrahim Tariq Javed, Tiziana Margaria:
Preserving Patients' Privacy in Medical IoT Using Blockchain. EDGE 2020: 103-110 - [c159]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 - [c158]Salim Saay, Tiziana Margaria:
XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs. ICALT 2020: 45-46 - [e38]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] - [e37]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] - [e36]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
- [c157]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 - [c156]Tiziana Margaria, Alexander Schieweck:
The Digital Thread in Industry 4.0. IFM 2019: 3-24 - [c155]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 - [c154]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 - [p15]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 - [p14]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 - [e35]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
- [j66]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) - [c153]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta 2018: 3-13 - [c152]Tiziana Margaria:
Making Sense of Complex Applications: Constructive Design, Features, and Questions. Models, Mindsets, Meta 2018: 129-148 - [c151]Tiziana Margaria, Henry C. B. Chan:
Message from the CELT 2018 Symposium Co-Chairs. COMPSAC (1) 2018: 979 - [c150]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 - [c149]Tiziana Margaria:
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. FMICS 2018: 3-18 - [c148]Bernhard Steffen, Tiziana Margaria:
Predicate Abstraction and Such... FMICS 2018: 181-188 - [c147]Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria:
Domain-specific design of patient classification in cancer-related cachexia research. FormaliSE@ICSE 2018: 60-63 - [c146]Tiziana Margaria:
From Computational Thinking to Constructive Design with Simple Models. ISoLA (1) 2018: 261-278 - [c145]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 - [e34]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] - [e33]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] - [e32]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] - [e31]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
- [j65]Frederik Gossen, Tiziana Margaria:
Generating Real-time Decision Systems with the new miAamics. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017) - [c144]Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano Moura, Tiziana Margaria:
Practical implications from a preliminary theory of simplicity in agile software development based on a qualitative study. CLEI 2017: 1-10 - [c143]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 - [c142]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 - [c141]Eugeni Isern, Miquel Roca, Tiziana Margaria:
Foreword. DTIS 2017: ix - [c140]Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano Moura, Tiziana Margaria:
Towards a Theory of Simplicity in Agile Software Development: A Qualitative Study. SEAA 2017: 40-43 - [c139]Wylliams Barbosa Santos, José Adson O. G. da Cunha, Hermano Moura, Tiziana Margaria:
Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study. WBMA 2017: 3-17 - [c138]Clare McInerney, Anna-Lena Lamprecht, Tiziana Margaria:
Computing Camps for Girls - A First-Time Experience at the University of Limerick. WCCE 2017: 494-505 - [e30]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] - [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 I. Lecture Notes in Computer Science 10205, 2017, ISBN 978-3-662-54576-8 [contents] - [e28]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
- [j64]Tiziana Margaria:
Knowledge Management for Inclusive System Evolution. LNCS Trans. Found. Mastering Chang. 1: 7-21 (2016) - [j63]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) - [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 - [e27]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] - [e26]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 - [e25]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] - [e24]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] - [e23]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
- [j62]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) - [j61]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16(4): 335-337 (2014) - [j60]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) - [j59]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 - [e22]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] - [e21]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] - [e20]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
- [j58]Tiziana Margaria, Mike Hinchey:
Simplicity in IT: The Power of Less. Computer 46(11): 23-25 (2013) - [j57]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) - [j56]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) - [j55]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 - [e19]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
- [j54]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 - [c110]Anna-Lena Lamprecht, Tiziana Margaria:
Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. ISoLA (1) 2012: 47-63 - [c109]Andrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche:
Processes and Data Integration in the Networked Healthcare. ISoLA (2) 2012: 67-69 - [c108]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 - [c107]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 - [e18]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] - [e17]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] - [e16]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] - [e15]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
- [j53]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(S-1): S5 (2011) - [j52]Daniel Kroening, Tiziana Margaria, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(5): 585-588 (2011) - [j51]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
Assuring property conformance of code generators via model checking. Formal Aspects Comput. 23(5): 589-606 (2011) - [j50]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) - [c106]Tiziana Margaria, Barry D. Floyd, Bernhard Steffen:
IT Simply Works: Simplicity and Embedded Systems Design. COMPSAC Workshops 2011: 194-199 - [c105]Tiziana Margaria:
Formal Methods in the Era of Service-Oriented Design. COMPSAC 2011: 452-453 - [c104]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. EternalS@FET 2011: 1-15 - [c103]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Synthesis-Based Variability Control: Correctness by Construction. FMCO 2011: 69-88 - [c102]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 - [c101]Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops 2011: 248-260 - [c100]Tiziana Margaria, Bernhard Steffen:
Special Session on "Simplification through Change of Perspective". SEW 2011: 67-68 - [c99]Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria:
Constraint-oriented Variability Modeling. SEW 2011: 77-83 - [c98]Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria:
Next Generation LearnLib. TACAS 2011: 220-223 - 2010
- [j49]Tiziana Margaria, Bernhard Steffen:
Simplicity as a Driver for Agile Innovation. Computer 43(6): 90-92 (2010) - [j48]Tiziana Margaria, Bernhard Steffen, Christian Topnik:
Second-Order Value Numbering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j47]Tiziana Margaria, Bernhard Steffen, Christian Kubczak:
Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1): 35-47 (2010) - [j46]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) - [j45]