Concepedia

Patrizia Asirelli

PA

6

Publications

201

Citations

6

H-Index

1979

Active since

Affiliations

University of Florence(Current)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Patrizia Asirelli is an author at University of Florence specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceAutomated ReasoningVerificationSoftware DesignSoftware AnalysisSystems EngineeringDesign

Publications per year

1979–2011

6

Publications

6

Formal Description of Variability in Product Families

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi et al. · 2011 · 92 citations

Engineering, Modal Logic, Formal Verification +19

Integrity constraints in logic databases

Patrizia Asirelli, Michelle De Santis, Maurizio Martelli · The Journal of Logic Programming · 1985 · 43 citations

Engineering, Data Integrity, Automated Reasoning +7

Deontic Logics for Modeling Behavioural Variability.

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi et al. · Florence Research (University of Florence) · 2009 · 20 citations · Full text

A deontic logical framework for modelling product families

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi et al. · Florence Research (University of Florence) · 2010 · 18 citations · Full text

Engineering, Verification, Model Checking +20

A flexible environment for program development based on a symbolic interpreter

Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi et al. · International Conference on Software Engineering · 1979 · 14 citations

Engineering, Symbolic Interpreter, Software Engineering +21

Rows per page

1–5 of 6