Anna Ingolfsdottir
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Verifierad e-postadress på ru.is
TitelCiteras avÅr
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
3182007
A domain equation for bisimulation
S Abramsky
Information and Computation 92 (2), 161-218, 1991
2411991
Allegro version 2
DF Gudbjartsson, T Thorvaldsson, A Kong, G Gunnarsson, A Ingolfsdottir
Nature genetics 37 (10), 1015-1016, 2005
2222005
Characteristic formulas for processes with divergence
B Steffen, A Ingólfsdóttir
Information and Computation 110 (1), 149-163, 1994
1161994
A theory of communicating processes with value passing
M Hennessy, A Ingólfsdóttir
Information and computation 107 (2), 202-236, 1993
911993
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
571996
A symbolic approach to value-passing processes
A Ingolfsdottir, H Lin
Handbook of Process Algebra, 427-478, 2001
512001
Finite equational bases in process algebra: Results and open questions
L Aceto, W Fokkink, A Ingolfsdottir, B Luttik
Processes, terms and cycles: steps on the road to infinity, 338-367, 2005
482005
A menagerie of non-finitely based process semantics over BPA*–from ready simulation to completed traces
L Aceto, W Fokkink, A Ingólfsdóttir
Mathematical Structures in Computer Science 8 (3), 193-230, 1998
381998
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
372014
Communicating processes with value-passing and assignments
M Hennessy, A Ingólfsdóttir
Formal Aspects of Computing 5 (5), 432-466, 1993
371993
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
L Aceto, M Cimini, A Ingólfsdóttir, AH Reynisson, SH Sigurdarson, ...
arXiv preprint arXiv:1108.0228, 2011
332011
The complexity of checking consistency of pedigree information and related problems
L Aceto, JA Hansen, A Ingólfsdóttir, J Johnsen, J Knudsen
Journal of Computer Science and Technology 19 (1), 42, 2004
322004
The algorithmics of bisimilarity
L Aceto, A Ingolfsdottir, J Srba
Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2011
312011
Characteristic formulae for timed automata
L Aceto, A Ingólfsdóttir, ML Pedersen, J Poulsen
RAIRO-Theoretical Informatics and Applications 34 (6), 565-584, 2000
292000
Ready to preorder: get your BCCSP axiomatization for free!
L Aceto, W Fokkink, A Ingólfsdóttir
International Conference on Algebra and Coalgebra in Computer Science, 65-79, 2007
282007
Monitorability for the Hennessy–Milner logic with recursion
A Francalanza, L Aceto, A Ingolfsdottir
Formal Methods in System Design 51 (1), 87-116, 2017
272017
Characteristic formulae for fixed-point semantics: a general framework
L Aceto, A Ingolfsdottir, PB Levy, J Sack
Mathematical Structures in Computer Science 22 (2), 125-173, 2012
262012
Nested semantics over finite trees are equationally hard
L Aceto, W Fokkink, R Van Glabbeek, A Ingólfsdóttir
Information and Computation 191 (2), 203-232, 2004
262004
On verifying hennessy-milner logic with recursion at runtime
A Francalanza, L Aceto, A Ingólfsdóttir
Runtime Verification, 71-86, 2015
252015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20