Anna-Lena Lamprecht

Proceedings of the Encyclopedia of Education and Information Technologies, 2020

Modeling of Scientific Workflows.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Education and Information Technologies, 2020

Ontology of core concept data types for answering geo-analytical questions.

[BibT_eX]

[DOI]

J. Spatial Inf. Sci., 2020

Towards FAIR principles for research software.

[BibT_eX]

[DOI]

Victoria Dominguez Del Angel

Leyla J. García

Mateusz Kuzak

Carlos Martinez-Ortiz

Ricardo Arcila

Eva Martin Del Pico

Stephanie van de Sandt

Jon C. Ison

Paula Andrea Martínez

Salvador Capella-Gutiérrez

Data Sci., 2020

Community curation of bioinformatics software and data resources.

[BibT_eX]

[DOI]

Briefings Bioinform., 2020

APE: A Command-Line Tool and API for Automated Workflow Composition.

[BibT_eX]

[DOI]

Vedran Kasalica

Proceedings of the Computational Science - ICCS 2020, 2020

Exploring Student-Controlled Social Comparison.

[BibT_eX]

[DOI]

Proceedings of the Addressing Global Challenges and Quality Education, 2020

2019

Automated workflow composition in mass spectrometry-based proteomics.

[BibT_eX]

[DOI]

Bioinform., 2019

Workflow Discovery Through Semantic Constraints: A Geovisualization Case Study.

[BibT_eX]

[DOI]

Vedran Kasalica

Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

2018

Introduction to the special issue on "Software Business".

[BibT_eX]

[DOI]

Andrey Maglyas

J. Syst. Softw., 2018

Track Introduction - Doctoral Symposium 2018.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Domain-specific design of patient classification in cancer-related cachexia research.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Automated Composition of Scientific Workflows in Mass Spectrometry-Based Proteomics.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on e-Science, 2018

Automated Composition of Scientific Workflows: A Case Study on Geographic Data Manipulation.

[BibT_eX]

[DOI]

Vedran Kasalica

Proceedings of the 14th IEEE International Conference on e-Science, 2018

Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Preface.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017

Computing Camps for Girls - A First-Time Experience at the University of Limerick.

[BibT_eX]

[DOI]

Clare McInerney

Proceedings of the Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing, 2017

Model checking of security properties: A case study on Human-Robot Interaction processes.

[BibT_eX]

[DOI]

Giuseppe Airo Farulla

Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Modeling Directly Executable Processes for Healthcare Professionals with XMDD.

[BibT_eX]

[DOI]

Proceedings of the Service Business Model Innovation in Healthcare and Hospital Management, 2017

2016

Scientific workflows.

[BibT_eX]

[DOI]

Kenneth J. Turner

Int. J. Softw. Tools Technol. Transf., 2016

Scientific workflows with the jABC framework - A review after a decade in the field.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.

[BibT_eX]

[DOI]

Paola Giannini

Proceedings of the MODELSWARD 2016, 2016

Synthesis from a Practical Perspective.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts.

[BibT_eX]

[DOI]

Samih Al-Areqi

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

A Summer Computing Camp Using ChainReaction and jABC.

[BibT_eX]

[DOI]

Clare McInerney

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge.

[BibT_eX]

[DOI]

Proceedings of the 8th Semantic Web Applications and Tools for Life Sciences International Conference, 2015

User-level synthesis: treating product lines as systems of constraints.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

Foundations of Semantics and Model Checking in a Software Engineering Course.

[BibT_eX]

[DOI]

Henning Bordihn

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

On the Use of XMDD in Software Development Education.

[BibT_eX]

[DOI]

Johannes Neubauer

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

The Course's SIB Libraries.

[BibT_eX]

[DOI]

Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Modeling and Execution of Scientific Workflows with the jABC Framework.

[BibT_eX]

[DOI]

Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Scientific Workflows and XMDD.

[BibT_eX]

[DOI]

Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Simplicity-first model-based plug-in development.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2014

jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal.

[BibT_eX]

[DOI]

Barry D. Floyd

Rodolfo Gonzalez Camargo

Johannes Neubauer

Marilia Seelaender

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Track Introduction: Scientific Workflows.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

User-Level Workflow Design - A Bioinformatics Perspective.

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 8311, Springer, ISBN: 978-3-642-45389-2, 2013

Variability Management beyond Feature Models.

[BibT_eX]

[DOI]

Stefan Naujokat

Ina Schaefer

Computer, 2013

2012

A constraint-based variability modeling framework.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Bioscientific Data Processing and Modeling.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Simplicity principles for plug-in development: the jABC approach.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Loose Programming with PROPHETS.

[BibT_eX]

[DOI]

Stefan Naujokat

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Semantics-based composition of EMBOSS services.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2011

Constraint-oriented Variability Modeling.

[BibT_eX]

[DOI]

Ina Schaefer

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Tailoring Process Synthesis to Domain Characteristics.

[BibT_eX]

[DOI]

Stefan Naujokat

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Synthesis-Based Variability Control: Correctness by Construction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.

[BibT_eX]

[DOI]

Proceedings of the Eternal Systems - First International Workshop, 2011

2010

Bioinformatics: Processes and Workflows.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

Constraint-Guided Workflow Composition Based on the EDAM Ontology.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Synthesis-Based Loose Programming.

[BibT_eX]

[DOI]

Proceedings of the Quality of Information and Communications Technology, 2010

Tools in Scientific Workflow Composition.

[BibT_eX]

[DOI]

Joost N. Kok

Mark D. Wilkinson

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Bio-jETI: a framework for semantics-based service composition.

[BibT_eX]

[DOI]

BMC Bioinform., 2009

Semantics-Based Composition of EMBOSS Services with Bio-jETI.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

From Bio-jETI Process Models to Native Code.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.

[BibT_eX]

[DOI]

BMC Bioinform., 2008

Supporting Process Development in Bio-jETI by Model Checking and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences ( SWAT4LS ) Edinburgh, 2008

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics Research and Applications, 2008

2006

Datenflussanalyse als Modelchecking im jABC.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2006, 2006

Data-Flow Analysis as Model Checking Within the jABC.

[BibT_eX]

[DOI]