UB Paderborn / Katalog / Suche / in CDI

A Petri Net Based Approach for Reliability Prediction of Web Services

Lecture notes in computer science, 2006, p.116-125

2006

Volltextzugriff (PDF)

Reverse Observation Equivalence Between Labelled State Transition Systems

Lecture notes in computer science, 2005, p.204-219

2005

Volltextzugriff (PDF)

2/3 Alternating Simulation Between Interface Automata

Formal Methods and Software Engineering, 2005, p.173-187

2005

Volltextzugriff (PDF)

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata

Formal Methods and Software Engineering, 2004, p.259-273

2004

Volltextzugriff (PDF)

Compositional Verification of UML Dynamic Models

14th Asia-Pacific Software Engineering Conference (APSEC'07), 2007, p.286-293

2007

Volltextzugriff (PDF)

Security Goals Assurance Based on Software Active Monitoring

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011, p.70-79

2011

Volltextzugriff (PDF)

An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007, p.57-66

2007

Volltextzugriff (PDF)

Active Monitoring for Control Systems under Anticipatory Semantics

2010 10th International Conference on Quality Software, 2010, p.318-325

2010

Volltextzugriff (PDF)

Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph

2008 The 9th International Conference for Young Computer Scientists, 2008, p.118-123

2008

Volltextzugriff (PDF)

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 2008, p.331-334

2008

Volltextzugriff (PDF)

PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network

Embedded Software and Systems, p.530-539

Volltextzugriff (PDF)

SADE: A Development Environment for Adaptive Multi-Agent Systems

Principles of Practice in Multi-Agent Systems, p.516-524

Volltextzugriff (PDF)

A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications

2008 The 9th International Conference for Young Computer Scientists, 2008, p.2325-2329

2008

Volltextzugriff (PDF)

Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology

2008 The 9th International Conference for Young Computer Scientists, 2008, p.1777-1782

2008

Volltextzugriff (PDF)

Design of Some Artificial Immune Operators in Software Test Cases Generation

2008 The 9th International Conference for Young Computer Scientists, 2008, p.2302-2307

2008

Volltextzugriff (PDF)

An Interface Theory Based Approach to Verification of Web Services

30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006, Vol.2, p.139-144

2006

Volltextzugriff (PDF)

Test selection from UML Statecharts

Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393), 1999, p.273-279

1999

Volltextzugriff (PDF)

Modelling multi-agent systems with soft genes, roles, and agents

Lecture notes in computer science, 2004, p.231-245

2004

Volltextzugriff (PDF)

A Formal Specification and Method for MAS as a Distributed System

Advanced Parallel Processing Technologies, 2003, p.189-193

2003

Volltextzugriff (PDF)

Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow

Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005, p.451-455

2005

Volltextzugriff (PDF)

Improved method to generate path-wise test data

Journal of computer science and technology, 2003-03, Vol.18 (2), p.235-240

2003

Volltextzugriff (PDF)

Generating test oracle for role binding in multi-agent systems

Tenth Asia-Pacific Software Engineering Conference, 2003, 2003, p.108-114

2003

Volltextzugriff (PDF)

Verifying automata specification of distributed probabilistic real-time systems

Journal of computer science and technology, 1998-11, Vol.13 (6), p.588-596

1998

Volltextzugriff (PDF)

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents

Agent-Oriented Software Engineering IV, p.231-245

Volltextzugriff (PDF)

Towards Formal Interfaces for Web Services with Transactions

Advanced Internet Based Systems and Applications, p.292-304

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

A Petri Net Based Approach for Reliability Prediction of Web Services

Reverse Observation Equivalence Between Labelled State Transition Systems

2/3 Alternating Simulation Between Interface Automata

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata

Compositional Verification of UML Dynamic Models

Security Goals Assurance Based on Software Active Monitoring

An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style

Active Monitoring for Control Systems under Anticipatory Semantics

Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network

SADE: A Development Environment for Adaptive Multi-Agent Systems

A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications

Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology

Design of Some Artificial Immune Operators in Software Test Cases Generation

An Interface Theory Based Approach to Verification of Web Services

Test selection from UML Statecharts

Modelling multi-agent systems with soft genes, roles, and agents

A Formal Specification and Method for MAS as a Distributed System

Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow

Improved method to generate path-wise test data

Generating test oracle for role binding in multi-agent systems

Verifying automata specification of distributed probabilistic real-time systems

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents

Towards Formal Interfaces for Web Services with Transactions

Suchergebnisse filtern