| Publication | Date of Publication | Type |
|---|
Introducing complexity to formal testing
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Optimal timer-based caching policies for general arrival processes
Queueing Systems | 2018-06-29 | Paper |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
IEEE Transactions on Computers | 2017-11-10 | Paper |
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
Formal Aspects of Computing | 2014-11-11 | Paper |
Comparing problem solving strategies for NP-hard optimization problems
Fundamenta Informaticae | 2013-07-31 | Paper |
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
The Journal of Logic and Algebraic Programming | 2012-03-13 | Paper |
Applying RFD to construct optimal quality-investment trees
| 2011-02-10 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Lecture Notes in Computer Science | 2010-05-26 | Paper |
A General Testability Theory
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
A Formal Approach to Heuristically Test Restorable Systems
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Formally transforming user-model testing problems into implementer-model testing problems and viceversa
The Journal of Logic and Algebraic Programming | 2009-07-29 | Paper |
Assessing the Expressivity of Formal Specification Languages
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Implementation Relations for Stochastic Finite State Machines
Formal Methods and Stochastic Models for Performance Evaluation | 2009-03-12 | Paper |
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Using River Formation Dynamics to Design Heuristic Algorithms
Lecture Notes in Computer Science | 2009-02-17 | Paper |
Testing Finite State Machines Presenting Stochastic Time and Timeouts
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
SPAMR: Extending PAMR with Stochastic Time
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
A Formal Methodology to Test Complex Heterogeneous Systems
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
A Brief Introduction to $\mathcal{THOTL}$
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Formal Specification of Multi-agent Systems by Using EUSMs
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Formal Testing of Systems Presenting Soft and Hard Deadlines
Lecture Notes in Computer Science | 2008-07-01 | Paper |
\(\mathcal {HOTL}\): Hypotheses and observations testing logic
The Journal of Logic and Algebraic Programming | 2008-02-04 | Paper |
Formal testing from timed finite state machines
Computer Networks | 2008-02-04 | Paper |
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Customized Testing for Probabilistic Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Conformance Testing Relations for Timed Systems
Formal Approaches to Software Testing | 2007-05-02 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science | 2006-04-28 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Formal specification of multi-agent e-barter systems
Science of Computer Programming | 2005-08-03 | Paper |
scientific article; zbMATH DE number 2088914 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2088983 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1973972 (Why is no real title available?)
| 2003-09-03 | Paper |
scientific article; zbMATH DE number 1943830 (Why is no real title available?)
| 2003-07-01 | Paper |
