List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Runtime verification of contracts with Themulus | 2021-07-08 | Paper |
| Discussion on: ``Formal specification method for systems automation'' European Journal of Control | 2014-08-07 | Paper |
| Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets Science of Computer Programming | 2012-07-20 | Paper |
| Validation and verification of web services choreographies by using timed automata The Journal of Logic and Algebraic Programming | 2011-01-07 | Paper |
| A barred operational semantics for a subset of WS-CDL with time restrictions The Journal of Logic and Algebraic Programming | 2009-11-04 | Paper |
| A Petri net approach for the design and analysis of web services choreographies The Journal of Logic and Algebraic Programming | 2009-07-20 | Paper |
Research outcomes over time
This page was built for person: María Emilia Cambronero
