Experiences with Formal Engineering

Autor: Sijtema, M., Salaün, G., Schätz, B., Belinfante, Axel, Stoelinga, Mariëlle Ida Antoinette, Marinelli, L.

Publikováno v: Science of computer programming, 80(Part A), 188-209. Elsevier
16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 117-133
STARTPAGE=117;ENDPAGE=133;TITLE=16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011
Formal Methods for Industrial Critical Systems ISBN: 9783642244308
FMICS

We report on the actual industrial use of formal methods during the development of a software bus. During an internship at Neopost Inc., of 14 weeks, we developed the server component of a software bus, called the XBus, using formal methods during th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a25660d885f5f908d1d6681fafb75e32
https://doi.org/10.1007/978-3-642-24431-5_10

Linear and Branching System Metrics

Autor: J., Hilston, de Alfaro, Luca, Faella, Marco, M.Z., Kwiatkowska, Telek, M., Stoelinga, Mariëlle Ida Antoinette

Publikováno v: IEEE transactions on software engineering, 35(2):10.1109/TSE.2008.106, 258-273. IEEE

We extend the classical system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as elements of arbitrary metric spaces. Trace incl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b810f2da492b29d48f1d786cdd96b384
https://doi.org/10.1109/tse.2008.106

Robot gestures make difficult tasks easier

Autor: Jorge Gallego-Pérez, Vanessa Evers, Manja Lohse, Daphne Karreman, Reinier Rothuis

Publikováno v: CHI
CHI 2014: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1459-1466
STARTPAGE=1459;ENDPAGE=1466;TITLE=CHI 2014

Gestures are important non-verbal signals in human communication. Research with virtual agents and robots has started to add to the scientific knowledge about gestures but many questions with respect to the use of gestures in human-computer interacti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e938891e767b63910279378a7a22daa1
https://doi.org/10.1145/2556288.2557274

A linear process-algebraic format with data for probabilistic automata

Autor: Di Pierro, A., Katoen, Joost P., van de Pol, Jan Cornelis, Norman, G., Stoelinga, Mariëlle Ida Antoinette, Timmer, Mark

Publikováno v: Theoretical computer science, 413(1), 36-57. Elsevier
Theoretical Computer Science

This paper presents a novel linear process-algebraic format for probabilistic automata. The key ingredient is a symbolic transformation of probabilistic process algebra terms that incorporate data into this linear format while preserving strong proba

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d75c6869e3fa7909ff2dc40747d5684
https://research.utwente.nl/en/publications/a07d79e6-a04c-42ee-af82-93ab26c4e826

Confluence versus Ample Sets in Probabilistic Branching Time

Autor: Hansen, Henri, Timmer, Mark, Bollig, B.

Publikováno v: Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory

To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are base

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::0db67b3802b29a4d2406f6a29742c6b6
https://research.utwente.nl/en/publications/confluence-versus-ample-sets-in-probabilistic-branching-time(cd660215-3031-4c33-b59a-be0b0fc304d1).html