Data-Flow Analysis as Model Checking Within the jABC. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (CC, 2006)

Datenflussanalyse als Modelchecking im jABC. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (Software Engineering, 2006)

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (ISBRA, 2008)

Supporting Process Development in Bio-jETI by Model Checking and Synthesis. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (SWAT4LS, 2008)

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen; Alexander Sczyrba; Sven Hartmeier; Robert Giegerich (BMC Bioinform., 2008)

From Bio-jETI Process Models to Native Code. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (ICECCS, 2009)

Semantics-Based Composition of EMBOSS Services with Bio-jETI. - Anna-Lena Lamprecht; Stefan Naujokat; Tiziana Margaria; Bernhard Steffen (SWAT4LS, 2009)

Bio-jETI: a framework for semantics-based service composition. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (BMC Bioinform., 2009)

Tools in Scientific Workflow Composition. - Joost N. Kok; Anna-Lena Lamprecht; Mark D. Wilkinson (ISoLA (1), 2010)

Synthesis-Based Loose Programming. - Anna-Lena Lamprecht; Stefan Naujokat; Tiziana Margaria; Bernhard Steffen (QUATIC, 2010)

Constraint-Guided Workflow Composition Based on the EDAM Ontology. - Anna-Lena Lamprecht; Stefan Naujokat; Bernhard Steffen; Tiziana Margaria (SWAT4LS, 2010)

Bioinformatics: Processes and Workflows. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (Encyclopedia of Software Engineering, 2010)

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. - Anna-Lena Lamprecht; Tiziana Margaria; Ina Schaefer; Bernhard Steffen (EternalS@FET, 2011)

Synthesis-Based Variability Control: Correctness by Construction. - Anna-Lena Lamprecht; Tiziana Margaria; Ina Schaefer; Bernhard Steffen (FMCO, 2011)

Tailoring Process Synthesis to Domain Characteristics. - Stefan Naujokat; Anna-Lena Lamprecht; Bernhard Steffen (ICECCS, 2011)

Constraint-oriented Variability Modeling. - Ina Schaefer; Anna-Lena Lamprecht; Tiziana Margaria (SEW, 2011)

Semantics-based composition of EMBOSS services. - Anna-Lena Lamprecht; Stefan Naujokat; Tiziana Margaria; Bernhard Steffen (J. Biomed. Semant., 2011)

Loose Programming with PROPHETS. - Stefan Naujokat; Anna-Lena Lamprecht; Bernhard Steffen (FASE, 2012)

Simplicity principles for plug-in development: the jABC approach. - Stefan Naujokat; Anna-Lena Lamprecht; Bernhard Steffen; Sven Jörges; Tiziana Margaria (TOPI@ICSE, 2012)

Bioscientific Data Processing and Modeling. - Joost N. Kok; Anna-Lena Lamprecht; Fons J. Verbeek; Mark D. Wilkinson (ISoLA (2), 2012)

Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. - Anna-Lena Lamprecht; Tiziana Margaria (ISoLA (1), 2012)

A constraint-based variability modeling framework. - Sven Jörges; Anna-Lena Lamprecht; Tiziana Margaria; Ina Schaefer; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2012)

Variability Management beyond Feature Models. - Anna-Lena Lamprecht; Stefan Naujokat; Ina Schaefer (Computer, 2013)

User-Level Workflow Design - A Bioinformatics Perspective. - Anna-Lena Lamprecht (Springer, 2013)

Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform. - Samih Al-Areqi; Steffen Kriewald; Anna-Lena Lamprecht; Dominik Reusser; Markus Wrobel; Tiziana Margaria (ISoLA (2), 2014)

Track Introduction: Scientific Workflows. - Joost N. Kok; Anna-Lena Lamprecht; Kenneth J. Turner; Katy Wolstencroft (ISoLA (2), 2014)

Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal. - Tiziana Margaria; Barry D. Floyd; Rodolfo Gonzalez Camargo; Anna-Lena Lamprecht; Johannes Neubauer; Marilia Seelaender (ISoLA (2), 2014)

jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows. - Alexander Wickert; Anna-Lena Lamprecht (ISoLA (2), 2014)

Simplicity-first model-based plug-in development. - Stefan Naujokat; Johannes Neubauer; Anna-Lena Lamprecht; Bernhard Steffen; Sven Jörges; Tiziana Margaria (Softw. Pract. Exp., 2014)

Scientific Workflows and XMDD. - Anna-Lena Lamprecht; Tiziana Margaria (Process Design for Natural Scientists, 2014)

Modeling and Execution of Scientific Workflows with the jABC Framework. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (Process Design for Natural Scientists, 2014)

The Course's SIB Libraries. - Anna-Lena Lamprecht; Alexander Wickert (Process Design for Natural Scientists, 2014)

Lessons Learned. - Anna-Lena Lamprecht; Alexander Wickert; Tiziana Margaria (Process Design for Natural Scientists, 2014)

On the Use of XMDD in Software Development Education. - Anna-Lena Lamprecht; Tiziana Margaria; Johannes Neubauer (COMPSAC, 2015)

Foundations of Semantics and Model Checking in a Software Engineering Course. - Henning Bordihn; Anna-Lena Lamprecht; Tiziana Margaria (FMSEE&T@FM, 2015)

Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education. - Anna-Lena Lamprecht; Tiziana Margaria (ICCS, 2015)

User-level synthesis: treating product lines as systems of constraints. - Bernhard Steffen; Anna-Lena Lamprecht; Tiziana Margaria (SPLC, 2015)

Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge. - Anna-Lena Lamprecht; Tiziana Margaria (SWAT4LS, 2015)

A Summer Computing Camp Using ChainReaction and jABC. - Anna-Lena Lamprecht; Tiziana Margaria; Clare McInerney (COMPSAC Workshops, 2016)

Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts. - Samih Al-Areqi; Anna-Lena Lamprecht; Tiziana Margaria (ICCSA (3), 2016)

Synthesis from a Practical Perspective. - Sven Jörges; Anna-Lena Lamprecht; Tiziana Margaria; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2016)

Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. - Paola Giannini; Anna-Lena Lamprecht; Tiziana Margaria (MODELSWARD, 2016)

Scientific workflows with the jABC framework - A review after a decade in the field. - Anna-Lena Lamprecht; Bernhard Steffen; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2016)

Scientific workflows. - Anna-Lena Lamprecht; Kenneth J. Turner (Int. J. Softw. Tools Technol. Transf., 2016)

Modeling Directly Executable Processes for Healthcare Professionals with XMDD. - Steve Boßelmann; Alexander Wickert; Anna-Lena Lamprecht; Tiziana Margaria (Service Business Model Innovation in Healthcare and Hospital Management, 2017)

Model checking of security properties: A case study on Human-Robot Interaction processes. - Giuseppe Airo Farulla; Anna-Lena Lamprecht (DTIS, 2017)

Computing Camps for Girls - A First-Time Experience at the University of Limerick. - Clare McInerney; Anna-Lena Lamprecht; Tiziana Margaria (WCCE, 2017)

Preface. - Anna-Lena Lamprecht (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017)

Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool. - Frederik Gossen; Dennis Kühn; Tiziana Margaria; Anna-Lena Lamprecht (COMPSAC (1), 2018)

Automated Composition of Scientific Workflows: A Case Study on Geographic Data Manipulation. - Vedran Kasalica; Anna-Lena Lamprecht (eScience, 2018)

Automated Composition of Scientific Workflows in Mass Spectrometry-Based Proteomics. - Anna-Lena Lamprecht; Magnus Palmblad; Jon C. Ison; Veit Schwämmle (eScience, 2018)

Domain-specific design of patient classification in cancer-related cachexia research. - Alexander Wickert; Anna-Lena Lamprecht; Tiziana Margaria (FormaliSE@ICSE, 2018)

Track Introduction - Doctoral Symposium 2018. - Anna-Lena Lamprecht (ISoLA (2), 2018)

Introduction to the special issue on "Software Business". - Andrey Maglyas; Anna-Lena Lamprecht (J. Syst. Softw., 2018)

Workflow Discovery Through Semantic Constraints: A Geovisualization Case Study. - Vedran Kasalica; Anna-Lena Lamprecht (ICCSA (3), 2019)

Automated workflow composition in mass spectrometry-based proteomics. - Magnus Palmblad; Anna-Lena Lamprecht; Jon C. Ison; Veit Schwämmle (Bioinform., 2019)

Exploring Student-Controlled Social Comparison. - Kamil Akhuseyinoglu; Jordan Barria-Pineda; Sergey A. Sosnovsky; Anna-Lena Lamprecht; Julio Guerra 001; Peter Brusilovsky (EC-TEL, 2020)

APE: A Command-Line Tool and API for Automated Workflow Composition. - Vedran Kasalica; Anna-Lena Lamprecht (ICCS (7), 2020)

Community curation of bioinformatics software and data resources. - Jon C. Ison; Hervé Ménager; Bryan Brancotte; Erik Jaaniso; Ahto Salumets; Tomás Racek; Anna-Lena Lamprecht; Magnus Palmblad; Matús Kalas; Piotr Chmura; John M. Hancock; Veit Schwämmle; et al. (Briefings Bioinform., 2020)

Towards FAIR principles for research software. - Anna-Lena Lamprecht; Leyla J. García; Mateusz Kuzak; Carlos Martinez-Ortiz; Ricardo Arcila; Eva Martin Del Pico; Victoria Dominguez Del Angel; Stephanie van de Sandt; Jon C. Ison; Paula Andrea Martínez; Peter McQuilton; Alfonso Valencia; et al. (Data Sci., 2020)

Ontology of core concept data types for answering geo-analytical questions. - Simon Scheider; Rogier Meerlo; Vedran Kasalica; Anna-Lena Lamprecht (J. Spatial Inf. Sci., 2020)

Modeling of Scientific Workflows. - Anna-Lena Lamprecht; Tiziana Margaria (Encyclopedia of Education and Information Technologies, 2020)

Modeling of Games and Game Strategies. - Tiziana Margaria; Anna-Lena Lamprecht (Encyclopedia of Education and Information Technologies, 2020)

WORCS: A workflow for open reproducible code in science. - Caspar J. van Lissa; Andreas M. Brandmaier; Loek Brinkman; Anna-Lena Lamprecht; Aaron Peikert; Marijn E. Struiksma; Barbara M. I. Vreede (Data Sci., 2021)

Preface. - Sven Jörges; Anna-Lena Lamprecht; Anila Mjeda; Stefan Naujokat (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2021)

Perspectives on automated composition of workflows in the life sciences. - Anna-Lena Lamprecht; Magnus Palmblad; Jon C. Ison; Veit Schwämmle; Mohammad Sadnan Al Manir; Ilkay Altintas; Christopher J. O. Baker; Ammar Ben Hadj Amor; Salvador Capella-Gutiérrez; Paulos Charonyktakis; Michael R. Crusoe; Yolanda Gil; et al. (F1000Research, 2021)

Loose programming of GIS workflows with geo-analytical concepts. - Johannes F. Kruiger; Vedran Kasalica; Rogier Meerlo; Anna-Lena Lamprecht; Enkhbold Nyamsuren; Simon Scheider (Trans. GIS, 2021)

Foundational Competencies and Responsibilities of a Research Software Engineer. - Florian Goth; Renato Alves; Matthias Braun 005; Leyla Jael Castro; Gerasimos Chourdakis; Simon Christ; Jeremy Cohen 002; Fredo Erxleben; Jean-Noël Grad; Magnus Hagdorn; Toby Hodges; Guido Juckeland; et al. (CoRR, 2023)

Neue Fachgruppe "Research Software Engineering" gegründet. - Anna-Lena Lamprecht; Wilhelm Hasselbring; Jan Philipp Dietrich; Bernadette Fritzsch; Michael Goedicke; Lars Grunske; Carina Haupt; Stephan Janosch; Frank Löffler 001; Bernhard Rumpe; Robert Speck (Softwaretechnik-Trends, 2023)

On Managing Large Collections of Scientific Workflows. - Nourhan Elfaramawy; Fatma Deniz; Lars Grunske; Marcus Hilbrich; Timo Kehrer; Anna-Lena Lamprecht; Jan Mendling; Matthias Weidlich 001 (Modellierung (Workshops), 2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm. - 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; et al. (CoRR, 2024)

Toward Research Software Categories. - Wilhelm Hasselbring; Stephan Druskat; Jan Bernoth; Philine Betker; Michael Felderer; Stephan Ferenz; Anna-Lena Lamprecht; Jan Linxweiler; Bernhard Rumpe (CoRR, 2024)

Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing. - Anna-Lena Lamprecht (The Combined Power of Research, Education, and Dissemination, 2025)

Multidimensional Research Software Categorization. - Wilhelm Hasselbring; Stephan Druskat; Jan Bernoth; Philine Betker; Michael Felderer; Stephan Ferenz; Ben Hermann; Anna-Lena Lamprecht; Jan Linxweiler; Arnau Prat; Bernhard Rumpe; Katrin Schöning-Stierand; et al. (Comput. Sci. Eng., 2025)

Investigating Research Software Engineering: Toward RSE Research. - Michael Felderer; Michael Goedicke; Lars Grunske; Wilhelm Hasselbring; Anna-Lena Lamprecht; Bernhard Rumpe (Commun. ACM, 2025)