Tiziana Margaria

According to our database1, Tiziana Margaria authored at least 233 papers between 1991 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Guest Editorial: Special Section on Computing Education & Learning Technologies.
IEEE Trans. Emerging Topics Comput., 2018

From Computational Thinking to Constructive Design with Simple Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Domain-specific design of patient classification in cancer-related cachexia research.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Predicate Abstraction and Such...
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Message from the CELT 2018 Symposium Co-Chairs.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
Generating Real-time Decision Systems with the new miAamics.
ECEASST, 2017

Computing Camps for Girls - A First-Time Experience at the University of Limerick.
Proceedings of the Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing, 2017

Towards a Theory of Simplicity in Agile Software Development: A Qualitative Study.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Analyzing ambient assisted living solutions: A research perspective.
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Foreword.
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.
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.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

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

Knowledge Management for Inclusive System Evolution.
Trans. Found. Mastering Chang., 2016

Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.
Proceedings of the MODELSWARD 2016, 2016

Meta-Level Reuse for Mastering Domain Specialization.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Synthesis from a Practical Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

ALEX: Mixed-Mode Learning of Web Applications at Ease.
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.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

SEcube™: An open-source security platform in a single SoC.
Proceedings of the 2016 International Conference on Design and Technology of Integrated Systems in Nanoscale Era, 2016

Message from the CELT Organizing Committee.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Messge from the ECPE Organizing Committee.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Summer Computing Camp Using ChainReaction and jABC.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Automatic Synthesis of Bioconductor Pipelines: A Domain Modeling Challenge.
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.
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.
Proceedings of the International Conference on Computational Science, 2015

Foundations of Semantics and Model Checking in a Software Engineering Course.
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?
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.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Which IT Governance for Distributed Intelligent Cyber-Physical Systems?
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

On the Use of XMDD in Software Development Education.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

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

Modeling and Execution of Scientific Workflows with the jABC Framework.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Scientific Workflows and XMDD.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

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

Tailored generation of concurrent benchmarks.
STTT, 2014

Program verification and testing technologies.
STTT, 2014

Simplicity-first model-based plug-in development.
Softw., Pract. Exper., 2014

Prototype-Driven Development of Web Applications with DyWA.
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).
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Evolving Critical Systems - Track Introduction.
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.
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.
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.
J. Integrated Design & Process Science, 2013

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.
J. Integrated Design & Process Science, 2013

Simplifying Translation Validation via Model Extrapolation.
J. Integrated Design & Process Science, 2013

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond.
Proceedings of the Semantics, 2013

Simplicity in IT: The Power of Less.
IEEE Computer, 2013

Property-Driven Benchmark Generation.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012
A constraint-based variability modeling framework.
STTT, 2012

Processes and Data Integration in the Networked Healthcare.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Automated Learning Setups in Automata Learning.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated continuous quality assurance.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Simplicity principles for plug-in development: the jABC approach.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Service-Orientation: Conquering Complexity with XMDD.
Proceedings of the Conquering Complexity, 2012

The XMDD Approach to the Semantic Web Services Challenge.
Proceedings of the Semantic Web Services, Advancement through Evaluation, 2012

Customer-Oriented Business Process Management: Vision and Obstacles.
Proceedings of the Conquering Complexity, 2012

2011
Game-Based Model Checking for Reliable Autonomy in Space.
JACIC, 2011

Editorial.
Formal Asp. Comput., 2011

Assuring property conformance of code generators via model checking.
Formal Asp. Comput., 2011

Semantics-based composition of EMBOSS services.
J. Biomedical Semantics, 2011

Next Generation LearnLib.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Constraint-oriented Variability Modeling.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Special Session on "Simplification through Change of Perspective".
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Automata Learning with On-the-Fly Direct Hypothesis Construction.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Synthesis-Based Variability Control: Correctness by Construction.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.
Proceedings of the Eternal Systems - First International Workshop, 2011

IT Simply Works: Simplicity and Embedded Systems Design.
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.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Round-Trip Engineering.
Proceedings of the Encyclopedia of Software Engineering, 2010

Bioinformatics: Processes and Workflows.
Proceedings of the Encyclopedia of Software Engineering, 2010

Verified software: theories, tools and experiments.
STTT, 2010

An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services.
Praxis der Informationsverarbeitung und Kommunikation, 2010

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

Evolution support in heterogeneous service-oriented landscapes.
J. Braz. Comp. Soc., 2010

Second-Order Value Numbering.
ECEASST, 2010

Simplicity as a Driver for Agile Innovation.
IEEE Computer, 2010

Constraint-Guided Workflow Composition Based on the EDAM Ontology.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Synthesis-Based Loose Programming.
Proceedings of the Quality of Information and Communications Technology, 2010

2009
LearnLib: a framework for extrapolating behavioral models.
STTT, 2009

Dynamic testing via automata learning.
STTT, 2009

Preface.
STTT, 2009

Guest Editor's introduction.
STTT, 2009

Tool-supported enhancement of diagnosis in model-driven verification.
ISSE, 2009

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering.
Int. J. Semantic Computing, 2009

Continuous Model-Driven Engineering.
IEEE Computer, 2009

Bio-jETI: a framework for semantics-based service composition.
BMC Bioinformatics, 2009

Semantics-Based Composition of EMBOSS Services with Bio-jETI.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Synthesizing Semantic Web Service Compositions with jMosel and Golog.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.
Proceedings of the First NASA Formal Methods Symposium, 2009

Maintenance, or the 3rd dimension of eXtreme model-driven design.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Analysis and Code Model Extraction for C/C++ Source Code.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

From Bio-jETI Process Models to Native Code.
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.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Test your Strategy: Graphical Construction of Strategies for Connect-Four.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Building Code Generators with Genesys: A Tutorial Introduction.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Component-Oriented Behavior Extraction for Autonomic System Design using Games.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.
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.
Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

Status, Perspectives, and Lessons Learned.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Comparison: Handling Preferences with DIANE and miAamics.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

An Approach to Discovery with miAamics and jABC.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Service-oriented Mediation with jABC/jETI.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Comparison: Mediation on WebML/WebRatio and jABC/jETI.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

2008
Preface.
Theor. Comput. Sci., 2008

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

Plug and Play with FMICS-jETI: Beyond Scripting and Coding.
ERCIM News, 2008

The SHADOWS Story on Implementation of Self-Healing Systems.
ERCIM News, 2008

Software engineering and formal methods.
Commun. ACM, 2008

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

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.
BMC Bioinformatics, 2008

Supporting Process Development in Bio-jETI by Model Checking and Synthesis.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences ( SWAT4LS ) Edinburgh, 2008

Hybrid test of web applications with webtest.
Proceedings of the 2008 Workshop on Testing, 2008

Policy expression and checking in XACML, WS-Policies, and the jABC.
Proceedings of the 2008 Workshop on Testing, 2008

Anything You Want to Ask about Software Reliability Engineering.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Agile IT: Thinking in User-Centric Models.
Proceedings of the Leveraging Applications of Formal Methods, 2008

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.
Proceedings of the Leveraging Applications of Formal Methods, 2008

The jABC Approach to Rigorous Collaborative Development of SCM Applications.
Proceedings of the Leveraging Applications of Formal Methods, 2008

High Service Availability in MaTRICS for the OCS.
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.
Proceedings of the Bioinformatics Research and Applications, 2008

The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Synthesizing the Mediator with jABC/ABC.
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.
Proceedings of the 6th International Workshop on Evaluation of Ontology-based Tools and the Semantic Web Service Challenge (EON-SWSC-2008), 2008

2007
Foreword.
Theor. Comput. Sci., 2007

Introduction to the special section on fundamental approaches to software engineering.
STTT, 2007

Service Is in the Eyes of the Beholder.
IEEE Computer, 2007

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Middleware: just another level for orchestration.
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.
Proceedings of the ISoLA 2007, 2007

SWS Challenge - Status, Perspectives, Lessons Learned So Far.
Proceedings of the ICEIS 2007, 2007

The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison.
Proceedings of the ICEIS 2007, 2007

The LearnLib in FMICS-jETI.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

An Approach to Discovery with miAamics and jABC.
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.
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.
Proceedings of the Hardware and Software: Verification and Testing, 2007

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

2006
Special Section on "Leveraging Formal Methods".
STTT, 2006

Guest Editorial.
Transactions of the SDPS, 2006

The FMICS View on the Verified Software Repository.
Transactions of the SDPS, 2006

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

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service.
Electr. Notes Theor. Comput. Sci., 2006

Editorial.
ECEASST, 2006

Service Engineering: Linking Business and IT.
IEEE Computer, 2006

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str).
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Service Engineering: Linking Business and IT.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Datenflussanalyse als Modelchecking im jABC.
Proceedings of the Software Engineering 2006, 2006

Enhanced Requirements-Based Programming for Embedded Systems Design.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Comparative Analysis of Tools for Automated Software Re-engineering Purposes.
Proceedings of the Leveraging Applications of Formal Methods, 2006

The FMICS-jETI Platform: Status and Perspectives.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Completing and Adapting Models of Biological Processes.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

Continuous Engineering of Embedded systems.
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.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Model-Driven Development with the jABC.
Proceedings of the Hardware and Software, 2006

Data-Flow Analysis as Model Checking Within the jABC.
Proceedings of the Compiler Construction, 15th International Conference, 2006

ViDoC - Visual Design of Optimizing Compilers.
Proceedings of the Program Analysis and Compilation, 2006

2005
Introductory paper.
STTT, 2005

Web services-based tool-integration in the ETI platform.
Software and System Modeling, 2005

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

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
International Journal of Parallel Programming, 2005

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service.
Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services.
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

From the How to the What.
Proceedings of the Verified Software: Theories, 2005

jETI: A Tool for Remote Tool Integration.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Second-Order Semantic Web.
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.
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.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Service-Oriented Design: The Roots.
Proceedings of the Service-Oriented Computing, 2005

MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems.
Proceedings of the International Conference on Pervasive Services 2005, 2005

Remote Integration and Coordination of Verification Tools in JETI.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Service-Oriented Design: The jABC Approach.
Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005

Taming Interface Specifications.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

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

Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?.
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.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003
Introductory paper: scalability aspects of validation.
STTT, 2003

Preface by the section editor.
STTT, 2003

Test-Based Model Generation For Legacy Systems.
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.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Components, Features, and Agents in the ABC.
Proceedings of the Objects, 2003

2002
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.
Electr. Notes Theor. Comput. Sci., 2002

The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools.
Electr. Notes Theor. Comput. Sci., 2002

Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
Proceedings of the Model Checking of Software, 2002

Model Generation for Legacy Systems.
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.
Proceedings of the Towards The Knowledge Society: eCommerce, 2002

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
Incremental Requirement Specification for Evolving Systems.
Nord. J. Comput., 2001

Coarse-Granular Model Checking in Practice.
Proceedings of the Model Checking Software, 2001

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Incremental Requirement Specification for Evolving Systems.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999
The ETI Online Service in Action.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

METAFrame in Practice: Design of Intelligent Network Services.
Proceedings of the Correct System Design, 1999

1998
Integrating Printed and Online Information.
STTT, 1998

Formal Methods and Customized Visualization: A Fruitful Symbiosis.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Automatic Error Location for IN Service Definition.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Flexible and Reliable Process Model Properties: An Integrated Approach.
Proceedings of the Applied Formal Methods, 1998

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.
FASE, 1998

1997
The Electronic Tool Integration Platform: Concepts and Design.
STTT, 1997

Interacting with ETI: A User Session.
STTT, 1997

Editorial.
STTT, 1997

Integrating Tools in the ETI Platform.
STTT, 1997

MOSEL: A FLexible Toolset for Monadic Second-Order Logic.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Graphs in METAFrame: The Unifying Power of Polymorphism.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A formal requirements engineering method for specification, synthesis, and verification.
Proceedings of the 8th Conference on Software Engineering Environments, 1997

MOSEL: A Sound and Efficient Tool for M2L(Str).
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Incremental Formalization: A Key to Industrial Success.
Software - Concepts and Tools, 1996

Heterogeneous Analysis and Verification for Distributed Systems.
Software - Concepts and Tools, 1996

Foreword.
Software - Concepts and Tools, 1996

Tools Get Formal Methods into Practice.
ACM Comput. Surv., 1996

Method Engineering for Real-Life Concurrent Systems.
ACM Comput. Surv., 1996

A Constraint-Oriented Service Creation Environment.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

The METAFrame'95 Environment.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Incremental Formalization.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
The META-Frame: An Environment for Flexible Tool Management.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

An Approach to Intelligent Software Library Management.
Proceedings of the Database Systems for Advanced Applications '95, 1995

The Fixpoint-Analysis Machine.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
A Pragmatic Approach to Software Synthesis.
Proceedings of the Workshop on Interface Definition Languages, 1994

1993
Continuous Real Time Models in Practice.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level.
Proceedings of the Theorem Provers in Circuit Design, 1992

Efficient RT-Level Verification by Theorem Proving.
Proceedings of the Algorithms, Software, Architecture, 1992

1991
Resolution-based correctness proofs of synchronous circuits.
Proceedings of the conference on European design automation, 1991


  Loading...