UB Paderborn / Katalog / Suche / in CDI

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System

Mathematics in computer science, 2020-09, Vol.14 (3), p.591-606

2020

Volltextzugriff (PDF)

Assertion-based analysis via slicing with ABETS (system description)

Theory and practice of logic programming, 2016-09, Vol.16 (5-6), p.515-532

2016

Volltextzugriff (PDF)

An integrated framework for the diagnosis and correction of rule-based programs

Theoretical computer science, 2010-10, Vol.411 (47), p.4055-4101

2010

Volltextzugriff (PDF)

Static correction of Maude programs with assertions

The Journal of systems and software, 2019-07, Vol.153, p.64-85

2019

Volltextzugriff (PDF)

Safety enforcement via programmable strategies in Maude

Journal of logical and algebraic methods in programming, 2023-04, Vol.132, p.100849, Article 100849

2023

Volltextzugriff (PDF)

Exploring conditional rewriting logic computations

Journal of symbolic computation, 2015-07, Vol.69, p.3-39

2015

Volltextzugriff (PDF)

Verdi: An Automated Tool for Web Sites Verification

Lecture notes in computer science, 2004, p.726-729

2004

Volltextzugriff (PDF)

Assertion-based analysis via slicing with (system description)

Theory and practice of logic programming, 2016-09, Vol.16 (5-6), p.515

2016

Volltextzugriff (PDF)

Rule-based verification of Web sites

International journal on software tools for technology transfer, 2006-11, Vol.8 (6), p.565-585

2006

Volltextzugriff (PDF)

Study comparing the effect of pioglitazone in combination with either metformin or sulphonylureas on lipid profile and glycaemic control in patients with type 2 diabetes (ECLA)

Current medical research and opinion, 2011-02, Vol.27 (2), p.303-313

2011

Volltextzugriff (PDF)

Rule-based verification of Web sites : Leveraging formal methods

International journal on software tools for technology transfer (Print), 2006, Vol.8 (6), p.565-585

2006

Volltextzugriff (PDF)

A Fast Algebraic Web Verification Service

Web Reasoning and Rule Systems, p.239-248

Volltextzugriff (PDF)

Carboxyhemoglobin and methemoglobin levels as prognostic markers in acute pulmonary embolism

The American journal of emergency medicine, 2015-04, Vol.33 (4), p.563-568

2015

Volltextzugriff (PDF)

Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents

Electronic notes in theoretical computer science, 2008-07, Vol.216, p.93-109

2008

Volltextzugriff (PDF)

Re: Endogenous and exogenous factors affecting the levels of carboxyhemoglobin

The American journal of emergency medicine, 2015-09, Vol.33 (9), p.1309-1310

2015

Volltextzugriff (PDF)

A Rule-based Method to Match Software Patterns Against UML Models

Electronic notes in theoretical computer science, 2008-11, Vol.219, p.51-66

2008

Volltextzugriff (PDF)

Correction of Functional Logic Programs

Programming Languages and Systems, p.54-68

Volltextzugriff (PDF)

Fixing Web Sites Using Correction Strategies

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06), 2006, p.11-18

2006

Volltextzugriff (PDF)

Filtering of XML Documents

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06), 2006, p.19-28

2006

Volltextzugriff (PDF)

A Rewriting-based Framework for Web Sites Verification

Electronic notes in theoretical computer science, 2005-03, Vol.124 (1), p.41-61

2005

Volltextzugriff (PDF)

A Minimalist Visual Notation for Design Patterns and Antipatterns

Fifth International Conference on Information Technology: New Generations (itng 2008), 2008, p.51-56

2008

Volltextzugriff (PDF)

XML Semantic Filtering via Ontology Reasoning

2008 Third International Conference on Internet and Web Applications and Services, 2008, p.482-487

2008

Volltextzugriff (PDF)

A Rule-based System for Web site Verification

Electronic notes in theoretical computer science, 2006-05, Vol.157 (2), p.11-17

2006

Volltextzugriff (PDF)

Completeness of Unfolding for Rewriting Logic Theories

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010, p.116-123

2010

Volltextzugriff (PDF)

An Abstract Generic Framework for Web Site Verification

2008 International Symposium on Applications and the Internet, 2008, p.104-110

2008

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System

Assertion-based analysis via slicing with ABETS (system description)

An integrated framework for the diagnosis and correction of rule-based programs

Static correction of Maude programs with assertions

Safety enforcement via programmable strategies in Maude

Exploring conditional rewriting logic computations

Verdi: An Automated Tool for Web Sites Verification

Assertion-based analysis via slicing with (system description)

Rule-based verification of Web sites

Study comparing the effect of pioglitazone in combination with either metformin or sulphonylureas on lipid profile and glycaemic control in patients with type 2 diabetes (ECLA)

Rule-based verification of Web sites : Leveraging formal methods

A Fast Algebraic Web Verification Service

Carboxyhemoglobin and methemoglobin levels as prognostic markers in acute pulmonary embolism

Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents

Re: Endogenous and exogenous factors affecting the levels of carboxyhemoglobin

A Rule-based Method to Match Software Patterns Against UML Models

Correction of Functional Logic Programs

Fixing Web Sites Using Correction Strategies

Filtering of XML Documents

A Rewriting-based Framework for Web Sites Verification

A Minimalist Visual Notation for Design Patterns and Antipatterns

XML Semantic Filtering via Ontology Reasoning

A Rule-based System for Web site Verification

Completeness of Unfolding for Rewriting Logic Theories

An Abstract Generic Framework for Web Site Verification

Suchergebnisse filtern