Concepedia

Anna Ingólfsdóttir

AI

47

Publications

1.2K

Citations

20

H-Index

1993

Active since

Affiliations

Reykjavík University(Current)

Aalborg University

Danish National Research Foundation

University of Malta

Eindhoven University of Technology

Anna Ingólfsdóttir is an author at Reykjavík University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationSystems EngineeringSemanticsProgram AnalysisSoftware Analysis

Publications per year

1993–2021

47

Publications

47

Characteristic Formulas for Processes with Divergence

Bernhard Steffen, Anna Ingólfsdóttir · Information and Computation · 1994 · 104 citations

Dirichlet Form, Engineering, Entropy +4

A Theory of Communicating Processes with Value Passing

Matthew Hennessy, Anna Ingólfsdóttir · Information and Computation · 1993 · 74 citations

Cognitive Science, Engineering, Automated Reasoning +8

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Árni Hermann Reynisson, Marjan Sirjani, Luca Aceto et al. · Science of Computer Programming · 2014 · 61 citations

Real-time System, Engineering, Real-time Operation +11

A Survey of Runtime Monitoring Instrumentation Techniques

Ian Cassar, Adrian Francalanza, Luca Aceto et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 55 citations · Full text

Software Maintenance, Engineering, Verification +21

Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto, Rob van Glabbeek, Wan Fokkink et al. · Information and Computation · 1996 · 54 citations · Full text

Engineering, Automated Reasoning, Prefix Iteration +6

Rows per page

1–5 of 47