Seuraa
Anna Ingolfsdottir
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Vahvistettu sähköpostiosoite verkkotunnuksessa ru.is
Nimike
Viittaukset
Viittaukset
Vuosi
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
4422007
A domain equation for bisimulation
S Abramsky
Information and Computation 92 (2), 161-218, 1991
2501991
Allegro version 2
DF Gudbjartsson, T Thorvaldsson, A Kong, G Gunnarsson, A Ingolfsdottir
Nature genetics 37 (10), 1015-1016, 2005
2312005
Characteristic formulas for processes with divergence
B Steffen, A Ingolfsdottir
Information and Computation 110 (1), 149-163, 1994
1291994
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ...
Science of Computer Programming 89, 41-68, 2014
1032014
A theory of communicating processes with value passing
M Hennessy, A Ingólfsdóttir
Information and computation 107 (2), 202-236, 1993
1001993
A survey of runtime monitoring instrumentation techniques
I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
arXiv preprint arXiv:1708.07229, 2017
872017
Monitorability for the Hennessy–Milner logic with recursion
A Francalanza, L Aceto, A Ingólfsdóttir
Formal Methods in System Design 51 (1), 87-116, 2017
812017
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
762017
Adventures in monitorability: from branching to linear time and back again
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
752019
A symbolic approach to value-passing processes
A Ingolfsdottir, H Lin
Handbook of Process Algebra, 427-478, 2001
662001
Axiomatizing prefix iteration with silent steps
L Aceto, R Van Glabbeek, W Fokkink, A Ingólfsdóttir
Information and Computation 127 (1), 26-40, 1996
621996
Finite equational bases in process algebra: Results and open questions
L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005
582005
The algorithmics of bisimilarity.
L Aceto, A Ingolfsdottir, J Srba
Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012
562012
On runtime enforcement via suppressions
L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:1807.01004, 2018
452018
On verifying Hennessy-Milner logic with recursion at runtime
A Francalanza, L Aceto, A Ingólfsdóttir
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
422015
A framework for parameterized monitorability
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
International Conference on Foundations of Software Science and Computation …, 2018
402018
Communicating processes with value-passing and assignments
M Hennessy, A Ingólfsdóttir
Formal Aspects of Computing 5, 432-466, 1993
391993
An operational guide to monitorability
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
International Conference on Software Engineering and Formal Methods, 433-453, 2019
382019
Monitoring for silent actions
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
382018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20