| Publication | Date of Publication | Type |
|---|
| Introducing complexity to formal testing | 2020-01-31 | Paper |
| Optimal timer-based caching policies for general arrival processes | 2018-06-29 | Paper |
| Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs | 2017-11-10 | Paper |
| Testing restorable systems: formal definition and heuristic solution based on river formation dynamics | 2014-11-11 | Paper |
| Comparing Problem Solving Strategies for NP-hard Optimization Problems | 2013-07-31 | Paper |
| A centralized and a decentralized method to automatically derive choreography-conforming web service systems | 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 | 2010-05-26 | Paper |
| A General Testability Theory | 2009-10-22 | Paper |
| A Formal Approach to Heuristically Test Restorable Systems | 2009-08-20 | Paper |
| Formally transforming user-model testing problems into implementer-model testing problems and viceversa | 2009-07-29 | Paper |
| Assessing the Expressivity of Formal Specification Languages | 2009-04-28 | Paper |
| Implementation Relations for Stochastic Finite State Machines | 2009-03-12 | Paper |
| Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems | 2009-03-11 | Paper |
| Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts | 2009-03-11 | Paper |
| Using River Formation Dynamics to Design Heuristic Algorithms | 2009-02-17 | Paper |
| Testing Finite State Machines Presenting Stochastic Time and Timeouts | 2008-08-28 | Paper |
| SPAMR: Extending PAMR with Stochastic Time | 2008-08-28 | Paper |
| A Formal Methodology to Test Complex Heterogeneous Systems | 2008-07-03 | Paper |
| A Brief Introduction to $\mathcal{THOTL}$ | 2008-07-03 | Paper |
| Formal Specification of Multi-agent Systems by Using EUSMs | 2008-07-01 | Paper |
| Formal Testing of Systems Presenting Soft and Hard Deadlines | 2008-07-01 | Paper |
| \(\mathcal {HOTL}\): Hypotheses and observations testing logic | 2008-02-04 | Paper |
| Formal testing from timed finite state machines | 2008-02-04 | Paper |
| A Logic for Assessing Sets of Heterogeneous Testing Hypotheses | 2007-05-02 | Paper |
| Customized Testing for Probabilistic Systems | 2007-05-02 | Paper |
| Conformance Testing Relations for Timed Systems | 2007-05-02 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Specification, testing and implementation relations for symbolic-probabilistic systems | 2006-04-28 | Paper |
| Formal Approaches to Software Testing | 2005-12-02 | Paper |
| Formal specification of multi-agent e-barter systems | 2005-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045843 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046000 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422061 | 2003-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409862 | 2003-07-01 | Paper |
