Tiziana Margaria

Kashif Naseer Qureshi

Gwanggil Jeon

IEEE Trans. Comput. Soc. Syst., August, 2023

From Data Science to Modular Workflows Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Digital Humanities and Cultural Heritage in AI and IT-Enabled Environments.

[BibT_eX]

[DOI]

Ciara Breathnach

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Model Driven Development for AI-Based Healthcare Systems: A Review.

[BibT_eX]

[DOI]

Colm Brandon

Amandeep Singh

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Challenges for AI in Healthcare Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Digitalisation for organisations in industry 4.0: A working example.

[BibT_eX]

[DOI]

Stephen Ryan

Proceedings of the International Conference on Exploring Service Science, 2023

BC4ECO - Using Visual Tools for a Shared Understanding and Pedagogical Approach across an Interdisciplinary Consortium.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

Experiences from the first delivery of a new immersive software engineering course: mathematical foundations and data analytics.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

Curating History Datasets and Training Materials as OER: An Experience.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

CNN-based Human Activity Recognition on Edge Computing Devices.

[BibT_eX]

[DOI]

Amandeep Singh

Florenc Demrozi

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2023

2022

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.

[BibT_eX]

[DOI]

Axel Legay

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

Exploiting optimised communities in directed weighted graphs for link prediction.

[BibT_eX]

[DOI]

Faima Abbasi

Muhammad Muzammal

Kashif Naseer Qureshi

Charalampos Z. Patrikakis

Noël Crespi

Online Soc. Networks Media, 2022

Digitally Cloning the Physical.

[BibT_eX]

[DOI]

Roberto Minerva

IT Prof., 2022

Active Behavior Mining for Digital Twins Extraction.

[BibT_eX]

[DOI]

IT Prof., 2022

Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets.

[BibT_eX]

[DOI]

Amandeep Singh

Olga Minguett

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

Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain.

[BibT_eX]

[DOI]

Colm Brandon

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

Executable Documentation: Test-First in Action.

[BibT_eX]

[DOI]

Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

DIME Days (ISoLA 2022 Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Digital Thread in Smart Manufacturing.

[BibT_eX]

[DOI]

Dirk Pesch

Alan McGibney

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

Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing.

[BibT_eX]

[DOI]

Ivan Guevara

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

Engineering of Digital Twins for Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges.

[BibT_eX]

[DOI]

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

Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

CensusIRL: Historical census data preparation with MDD support.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

Künstliche Intelligenz im Gesundheitswesen als Kernkompetenz? Status quo, Entwicklungslinien und disruptives Potenzial.

[BibT_eX]

[DOI]

Adriana A. Reinecke

Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

2021

Formal Methods Boost Experimental Performance for Explainable AI.

[BibT_eX]

[DOI]

IT Prof., 2021

DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread.

[BibT_eX]

[DOI]

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

PETchain: A Blockchain-Based Privacy Enhancing Technology.

[BibT_eX]

[DOI]

Kashif Naseer Qureshi

IEEE Access, 2021

A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain.

[BibT_eX]

[DOI]

Bandar Alamri

Proceedings of the 11th IFIP International Conference on New Technologies, 2021

Towards Living Canvases.

[BibT_eX]

[DOI]

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

The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS.

[BibT_eX]

[DOI]

Ivan Guevara

Stephen Ryan

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

DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories.

[BibT_eX]

[DOI]

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

Integrating External Services in DIME.

[BibT_eX]

[DOI]

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

DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

Transcribathons as Practice-Based Learning for Historians and Computer Scientists.

[BibT_eX]

[DOI]

Ciara Breathnach

Rachel Murphy

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Towards Engineering Digital Twins by Active Behaviour Mining.

[BibT_eX]

[DOI]

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2020

eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Education and Information Technologies, 2020

Modeling of Games and Game Strategies.

[BibT_eX]

[DOI]

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

Welcome to Formal Methods in Industry.

[BibT_eX]

[DOI]

Joseph Kiniry

IT Prof., 2020

Towards Explainability in Machine Learning: The Formal Methods Way.

[BibT_eX]

[DOI]

IT Prof., 2020

Testing Interconnected Systems with Behavior Mining.

[BibT_eX]

[DOI]

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

Engineering of Digital Twins for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs.

[BibT_eX]

[DOI]

Salim Saay

Proceedings of the 20th IEEE International Conference on Advanced Learning Technologies, 2020

General controllers evolved through grammatical evolution with a divergent search.

[BibT_eX]

[DOI]

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Preserving Patients' Privacy in Medical IoT Using Blockchain.

[BibT_eX]

[DOI]

Bandar Alamri

Proceedings of the Edge Computing - EDGE 2020, 2020

Model-Driven-Design of NREn Bridging Application: Case Study AfgREN.

[BibT_eX]

[DOI]

Salim Saay

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design.

[BibT_eX]

[DOI]

Marina Marchisio

Matteo Sacchet

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Towards Automatic Data Cleansing and Classification of Valid Historical Data An Incremental Approach Based on MDD.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

OER: Six Perspectives on Global Misconceptions and Challenges.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

Towards an Understanding of Value Creation in Agile Software Development.

[BibT_eX]

[DOI]

Geraldo Torres G. Neto

Roberta A. de A. Fagundes

Proceedings of the XV Brazilian Symposium on Information Systems, 2019

The Digital Thread in Industry 4.0.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

A Model-Driven and Generative Approach to Holistic Security.

[BibT_eX]

[DOI]

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018

Guest Editorial: Special Section on Computing Education & Learning Technologies.

[BibT_eX]

[DOI]

Fabrizio Lamberti

Henry C. B. Chan

IEEE Trans. Emerg. Top. Comput., 2018

From Computational Thinking to Constructive Design with Simple Models.

[BibT_eX]

[DOI]

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

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Alexander Wickert

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

Predicate Abstraction and Such...

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Message from the CELT 2018 Symposium Co-Chairs.

[BibT_eX]

[DOI]

Henry C. B. Chan

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 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

Models, Mindsets, Meta: The What, the How, and the Why Not?

[BibT_eX]

[DOI]

Susanne Graf

Kim G. Larsen

Proceedings of the Models, Mindsets, 2018

Making Sense of Complex Applications: Constructive Design, Features, and Questions.

[BibT_eX]

[DOI]

Proceedings of the Models, Mindsets, 2018

2017

Generating Real-time Decision Systems with the new miAamics.

[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

Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study.

[BibT_eX]

[DOI]

José Adson O. G. da Cunha

Hermano P. Moura

Proceedings of the Agile Methods - 8th Brazilian Workshop, 2017

Towards a Theory of Simplicity in Agile Software Development: A Qualitative Study.

[BibT_eX]

[DOI]

José Adson O. G. da Cunha

Hermano P. Moura

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Analyzing ambient assisted living solutions: A research perspective.

[BibT_eX]

[DOI]

Ashalatha Kunnappilly

Axel Legay

Cristina Cerschi Seceleanu

Louis-Marie Traonouez

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

Foreword.

[BibT_eX]

[DOI]

Eugeni Isern

Miquel Roca

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

A fully model-based approach to the design of the SEcube™ community web app.

[BibT_eX]

[DOI]

Dennis Kühn

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

Practical implications from a preliminary theory of simplicity in agile software development based on a qualitative study.

[BibT_eX]

[DOI]

José Adson O. G. da Cunha

Hermano P. Moura

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

Service Model Innovation in Hospitals: Beyond Expert Organizations.

[BibT_eX]

[DOI]

Proceedings of the Service Business Model Innovation in Healthcare and Hospital Management, 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

Guided Business Modeling and Analysis for Business Professionals.

[BibT_eX]

[DOI]

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

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

Knowledge Management for Inclusive System Evolution.

[BibT_eX]

[DOI]

LNCS Trans. Found. Mastering Chang., 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

Meta-Level Reuse for Mastering Domain Specialization.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Synthesis from a Practical Perspective.

[BibT_eX]

[DOI]

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

ALEX: Mixed-Mode Learning of Web Applications at Ease.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 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

SEcube™: An open-source security platform in a single SoC.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Design and Technology of Integrated Systems in Nanoscale Era, 2016

Message from the CELT Organizing Committee.

[BibT_eX]

[DOI]

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

Messge from the ECPE Organizing Committee.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 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

Comprehensible people recognition using the Kinect's face and skeleton model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation, 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

Why caring about leading-edge software engineering in healthcare and assistive technology applications?

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

Software as a High-Tech Weapon in Ireland's Strategy.

[BibT_eX]

[DOI]

Clare McInerney

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

Which IT Governance for Distributed Intelligent Cyber-Physical Systems?

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 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

Der Business Model Developer - Entwicklung eines Tools zur Erstellung und Analyse von Geschäftsmodellen.

[BibT_eX]

[DOI]

Tiziana Margaria-Steffen

Alexander Wickert

Proceedings of the Dienstleistungspotenziale und Geschäftsmodelle in der Personalisierten Medizin, 2015

2014

Lessons Learned.

[BibT_eX]

[DOI]

Alexander Wickert

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

Property-driven benchmark generation: synthesizing programs of realistic structure.

[BibT_eX]

[DOI]

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

Tailored generation of concurrent benchmarks.

[BibT_eX]

[DOI]

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

Program verification and testing technologies.

[BibT_eX]

[DOI]

Zongyan Qiu

Hongli Yang

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

Simplicity-first model-based plug-in development.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2014

Prototype-Driven Development of Web Applications with DyWA.

[BibT_eX]

[DOI]

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

Processes and Data Integration in the Networked Healthcare - (Track Introduction).

[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]

Rodolfo Gonzalez Camargo

Johannes Neubauer

Marilia Seelaender

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

Evolving Critical Systems - Track Introduction.

[BibT_eX]

[DOI]

Mike Hinchey

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

Domain-Specific Business Modeling with the Business Model Developer.

[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

Simplicity in IT: a Chance for a New Kind of Design and Process Science.

[BibT_eX]

[DOI]

J. Integr. Des. Process. Sci., 2013

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.

[BibT_eX]

[DOI]

Bertold Kujath

J. Integr. Des. Process. Sci., 2013

Simplifying Translation Validation via Model Extrapolation.

[BibT_eX]

[DOI]

Falk Howar

J. Integr. Des. Process. Sci., 2013

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond.

[BibT_eX]

[DOI]

Johannes Neubauer

Proceedings of the Semantics, 2013

Simplicity in IT: The Power of Less.

[BibT_eX]

[DOI]

Andrea Braun von Reinersdorff

Mike Hinchey

Computer, 2013

Property-Driven Benchmark Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

A constraint-based variability modeling framework.

[BibT_eX]

[DOI]

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

Processes and Data Integration in the Networked Healthcare.

[BibT_eX]

[DOI]

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

Automated Learning Setups in Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 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

Automated continuous quality assurance.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 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

Service-Orientation: Conquering Complexity with XMDD.

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

The XMDD Approach to the Semantic Web Services Challenge.

[BibT_eX]

[DOI]

Christian Kubczak

Proceedings of the Semantic Web Services, Advancement through Evaluation, 2012

Customer-Oriented Business Process Management: Vision and Obstacles.

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

2011

Game-Based Model Checking for Reliable Autonomy in Space.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2011

Editorial.

[BibT_eX]

[DOI]

Daniel Kroening

Jim Woodcock

Formal Aspects Comput., 2011

Assuring property conformance of code generators via model checking.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

Semantics-based composition of EMBOSS services.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2011

Next Generation LearnLib.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Constraint-oriented Variability Modeling.

[BibT_eX]

[DOI]

Ina Schaefer

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

Special Session on "Simplification through Change of Perspective".

[BibT_eX]

[DOI]

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

Automata Learning with On-the-Fly Direct Hypothesis Construction.

[BibT_eX]

[DOI]

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

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 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

IT Simply Works: Simplicity and Embedded Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Formal Methods in the Era of Service-Oriented Design.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Round-Trip Engineering.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

Bioinformatics: Processes and Workflows.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

Verified software: theories, tools and experiments.

[BibT_eX]

[DOI]

Daniel Kroening

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

An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services.

[BibT_eX]

[DOI]

Niklas Blum

Prax. Inf.verarb. Kommun., 2010

Service-oriented Access to Next Generation Networks - from Service Creation to Execution.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2010

Evolution support in heterogeneous service-oriented landscapes.

[BibT_eX]

[DOI]

Christian Kubczak

J. Braz. Comput. Soc., 2010

Second-Order Value Numbering.

[BibT_eX]

[DOI]

Christian Topnik

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

Simplicity as a Driver for Agile Innovation.

[BibT_eX]

[DOI]

Computer, 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

2009

LearnLib: a framework for extrapolating behavioral models.

[BibT_eX]

[DOI]

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

Dynamic testing via automata learning.

[BibT_eX]

[DOI]

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

Preface.

[BibT_eX]

[DOI]

Mieke Massink

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

Guest Editor's introduction.

[BibT_eX]

[DOI]

Mike Hinchey

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

Tool-supported enhancement of diagnosis in model-driven verification.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering.

[BibT_eX]

[DOI]

Bernd J. Krämer

Int. J. Semantic Comput., 2009

Continuous Model-Driven Engineering.

[BibT_eX]

[DOI]

Computer, 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

Synthesizing Semantic Web Service Compositions with jMosel and Golog.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Maintenance, or the 3rd dimension of eXtreme model-driven design.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Analysis and Code Model Extraction for C/C++ Source Code.

[BibT_eX]

[DOI]

Hans-Georg Pagendarm

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 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

Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations.

[BibT_eX]

[DOI]

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

Test your Strategy: Graphical Construction of Strategies for Connect-Four.

[BibT_eX]

[DOI]

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

Building Code Generators with Genesys: A Tutorial Introduction.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.

[BibT_eX]

[DOI]

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

The Role of Models in Self-adaptive and Self-healing Systems.

[BibT_eX]

[DOI]

Christian Müller-Schloer

Roland Reichle

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

Status, Perspectives, and Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Comparison: Handling Preferences with DIANE and miAamics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

An Approach to Discovery with miAamics and jABC.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Service-oriented Mediation with jABC/jETI.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Comparison: Mediation on WebML/WebRatio and jABC/jETI.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Business Process Modeling in the jABC.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Genesys: service-oriented construction of property conform code generators.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Plug and Play with FMICS-jETI: Beyond Scripting and Coding.

[BibT_eX]

[DOI]

ERCIM News, 2008

The SHADOWS Story on Implementation of Self-Healing Systems.

[BibT_eX]

[DOI]

ERCIM News, 2008

Software engineering and formal methods.

[BibT_eX]

[DOI]

Commun. ACM, 2008

Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes.

[BibT_eX]

[DOI]

Christian Kubczak

BMC Bioinform., 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

Hybrid test of web applications with webtest.

[BibT_eX]

[DOI]

Proceedings of the 2008 Workshop on Testing, 2008

Policy expression and checking in XACML, WS-Policies, and the jABC.

[BibT_eX]

[DOI]

Martin Karusseit

Holger Willebrandt

Proceedings of the 2008 Workshop on Testing, 2008

Anything You Want to Ask about Software Reliability Engineering.

[BibT_eX]

[DOI]

Norman F. Schneidewind

W. Eric Wong

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Agile IT: Thinking in User-Centric Models.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

The jABC Approach to Rigorous Collaborative Development of SCM Applications.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

High Service Availability in MaTRICS for the OCS.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 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

The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Synthesizing the Mediator with jABC/ABC.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Evaluation of Ontology-based Tools and the Semantic Web Service Challenge (EON-SWSC-2008), 2008

Abductive Synthesis of the Mediator Scenario with jABC and GEM.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Evaluation of Ontology-based Tools and the Semantic Web Service Challenge (EON-SWSC-2008), 2008

2007

Foreword.

[BibT_eX]

[DOI]

Maura Cerioli

Michel Wermelinger

Theor. Comput. Sci., 2007

Introduction to the special section on fundamental approaches to software engineering.

[BibT_eX]

[DOI]

Michel Wermelinger

Maura Cerioli

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

Service Is in the Eyes of the Beholder.

[BibT_eX]

[DOI]

Computer, 2007

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Middleware: just another level for orchestration.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Middleware for Next-Generation Converged Networks and Applications, 2007

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.

[BibT_eX]

[DOI]

Proceedings of the ISoLA 2007, 2007

SWS Challenge - Status, Perspectives, Lessons Learned So Far.

[BibT_eX]

Proceedings of the ICEIS 2007, 2007

The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison.

[BibT_eX]

Federico Michele Facca

Christina Tziviskou

Proceedings of the ICEIS 2007, 2007

The LearnLib in FMICS-jETI.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

An Approach to Discovery with miAamics and jABC.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

Service-Oriented Mediation with jETI/jABC: Verification and Export.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

Dynamic Testing Via Automata Learning.

[BibT_eX]

[DOI]

Harald Raffelt

Proceedings of the Hardware and Software: Verification and Testing, 2007

Software Process Improvement - EuroSPI 2007 Conference.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement, 14th European Conference, 2007

2006

Special Section on "Leveraging Formal Methods".

[BibT_eX]

[DOI]

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

Guest Editorial.

[BibT_eX]

[DOI]

Trans. SDPS, 2006

The FMICS View on the Verified Software Repository.

[BibT_eX]

[DOI]

Alvaro E. Arenas

Juan Bicarregui

Trans. SDPS, 2006

MaTRICS: A service-based management tool for remote intelligent configuration of systems.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2006

Editorial.

[BibT_eX]

[DOI]

Julia Padberg

Gabriele Taentzer

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

Service Engineering: Linking Business and IT.

[BibT_eX]

[DOI]

Computer, 2006

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str).

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Datenflussanalyse als Modelchecking im jABC.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2006, 2006

Enhanced Requirements-Based Programming for Embedded Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Comparative Analysis of Tools for Automated Software Re-engineering Purposes.

[BibT_eX]

[DOI]

Hans-Georg Pagendarm

Proceedings of the Leveraging Applications of Formal Methods, 2006

The FMICS-jETI Platform: Status and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Completing and Adapting Models of Biological Processes.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Cooperative Computing, 2006

Continuous Engineering of Embedded systems.

[BibT_eX]

[DOI]

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

FormulaBuilder: a tool for graph-based modelling and generation of formulae.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Model-Driven Development with the jABC.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software, 2006

Data-Flow Analysis as Model Checking Within the jABC.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 15th International Conference, 2006

ViDoC - Visual Design of Optimizing Compilers.

[BibT_eX]

[DOI]

Oliver Rüthing

Proceedings of the Program Analysis and Compilation, 2006

2005

Introductory paper.

[BibT_eX]

[DOI]

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

Web services-based tool-integration in the ETI platform.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Knowledge-based relevance filtering for efficient system-level test-based model generation.

[BibT_eX]

[DOI]

Harald Raffelt

Innov. Syst. Softw. Eng., 2005

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2005

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service.

[BibT_eX]

[DOI]

Martin Karusseit

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services.

[BibT_eX]

[DOI]

Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

From the How to the What.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

jETI: A Tool for Remote Tool Integration.

[BibT_eX]

[DOI]

Ralf Nagel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Second-Order Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Analyzing second-order effects between optimizations for system-level test-based model generation.

[BibT_eX]

[DOI]

Harald Raffelt

Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Service-Oriented Design: The Roots.

[BibT_eX]

[DOI]

Manfred Reitenspieß

Proceedings of the Service-Oriented Computing, 2005

MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Pervasive Services 2005, 2005

Remote Integration and Coordination of Verification Tools in JETI.

[BibT_eX]

[DOI]

Ralf Nagel

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Service-Oriented Design: The jABC Approach.

[BibT_eX]

[DOI]

Manfred Reitenspieß

Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005

Taming Interface Specifications.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Lightweight coarse-grained coordination: a scalable system-level approach.

[BibT_eX]

[DOI]

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

Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Efficient test-based model generation for legacy reactive systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003

Introductory paper: scalability aspects of validation.

[BibT_eX]

[DOI]

Wang Yi

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

Preface by the section editor.

[BibT_eX]

[DOI]

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

Test-Based Model Generation For Legacy Systems.

[BibT_eX]

[DOI]

Hardi Hungar

Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003

The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.

[BibT_eX]

[DOI]

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Components, Features, and Agents in the ABC.

[BibT_eX]

[DOI]

Proceedings of the Objects, 2003

2002

Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.

[BibT_eX]

[DOI]

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Graph-Based Tools, 2002

Demonstration of an Automated Integrated Test Environment for Web-Based Applications.

[BibT_eX]

[DOI]

Oliver Niese

Proceedings of the Model Checking of Software, 2002

Model Generation for Legacy Systems.

[BibT_eX]

[DOI]

Hardi Hungar

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Community Usage of the Online Conference Service: an Experience Report from three CS Conferences.

[BibT_eX]

Martin Karusseit

Proceedings of the Towards The Knowledge Society: eCommerce, 2002

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

System level testing of virtual switch (re-)configuration over IP.

[BibT_eX]

[DOI]

Proceedings of the 7th European Test Workshop, 2002

2001

Incremental Requirement Specification for Evolving Systems.

[BibT_eX]

Nord. J. Comput., 2001

Coarse-Granular Model Checking in Practice.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2001

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Automated regression testing of CTI-systems.

[BibT_eX]

[DOI]

Proceedings of the 6th European Test Workshop, 2001

1999

The ETI Online Service in Action.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

METAFrame in Practice: Design of Intelligent Network Services.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 1999

1998

Integrating Printed and Online Information.

[BibT_eX]

[DOI]

Thomas Friese

Alfred Hofmann

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

Formal Methods and Customized Visualization: A Fruitful Symbiosis.

[BibT_eX]

[DOI]

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Automatic Error Location for IN Service Definition.

[BibT_eX]

[DOI]

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Flexible and Reliable Process Model Properties: An Integrated Approach.

[BibT_eX]

[DOI]

Volker Gruhn

Proceedings of the Applied Formal Methods, 1998

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

The Electronic Tool Integration Platform: Concepts and Design.

[BibT_eX]

[DOI]

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

Interacting with ETI: A User Session.

[BibT_eX]

[DOI]

Jürgen Kreileder

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

Editorial.

[BibT_eX]

[DOI]

Rance Cleaveland

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

Integrating Tools in the ETI Platform.

[BibT_eX]

[DOI]

Carsten Weise

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

MOSEL: A FLexible Toolset for Monadic Second-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Graphs in METAFrame: The Unifying Power of Polymorphism.

[BibT_eX]

[DOI]

Michael von der Beeck

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A formal requirements engineering method for specification, synthesis, and verification.

[BibT_eX]

[DOI]

Michael von der Beeck

Proceedings of the 8th Conference on Software Engineering Environments, 1997

Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques.

[BibT_eX]

Friedrich-Karl Bruhns

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

MOSEL: A Sound and Efficient Tool for M2L(Str).

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Incremental Formalization: A Key to Industrial Success.

[BibT_eX]

Softw. Concepts Tools, 1996

Heterogeneous Analysis and Verification for Distributed Systems.

[BibT_eX]

Andreas Claßen

Softw. Concepts Tools, 1996

Foreword.

[BibT_eX]

Softw. Concepts Tools, 1996

Tools Get Formal Methods into Practice.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Method Engineering for Real-Life Concurrent Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

A Constraint-Oriented Service Creation Environment.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

The METAFrame'95 Environment.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Incremental Formalization.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

The META-Frame: An Environment for Flexible Tool Management.

[BibT_eX]

[DOI]

Andreas Claßen

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

An Approach to Intelligent Software Library Management.

[BibT_eX]

Proceedings of the Database Systems for Advanced Applications '95, 1995

The Fixpoint-Analysis Machine.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

A Pragmatic Approach to Software Synthesis.

[BibT_eX]

[DOI]

Burkhard Freitag

Proceedings of the Workshop on Interface Definition Languages, 1994

1993

Continuous Real Time Models in Practice.

[BibT_eX]

[DOI]

Carsten Weise

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level.

[BibT_eX]

Proceedings of the Theorem Provers in Circuit Design, 1992

Efficient RT-Level Verification by Theorem Proving.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Resolution-based correctness proofs of synchronous circuits.

[BibT_eX]

[DOI]

Paolo Camurati

Paolo Prinetto

Proceedings of the conference on European design automation, 1991

1990

The OTTER environment for resolution-based proof of hardware correctness.

[BibT_eX]

[DOI]

Paolo Camurati

Paolo Prinetto

Microprocessing and Microprogramming, 1990

1989

Systolic array description in F<sup>2</sup>.

[BibT_eX]

[DOI]

Paolo Camurati