Patrizia Asirelli - Concepedia

Author

Patrizia Asirelli

Also Known As

P Asirelli, P. Asirelli, Patrizia Asirelli

Publications

389

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	181
2	Computer Science	4	4	167
3	Business	1	1	14
4	Social Sciences	1	1	18
5	Industrial Engineering	1	1	14

Patrizia Asirelli

Publications

201

Citations

H-Index

Page 1

	Year	Citations
Formal Description of Variability in Product Families Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, EngineeringModal LogicFormal VerificationLinear-time Temporal LogicUncertainty Quantification	2011	92
Integrity constraints in logic databases Patrizia Asirelli, Michelle De Santis, Maurizio Martelli The Journal of Logic Programming EngineeringData IntegrityAutomated ReasoningVerificationFormal Methods	1985	43
Deontic Logics for Modeling Behavioural Variability. Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Florence Research (University of Florence)	2009	20
A deontic logical framework for modelling product families Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Florence Research (University of Florence) EngineeringVerificationModel CheckingSoftware AnalysisFormal Verification	2010	18
A flexible environment for program development based on a symbolic interpreter Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, International Conference on Software Engineering EngineeringSymbolic InterpreterSoftware EngineeringInterpreter (Computing)Software Analysis	1979	14
Design and validation of variability in product lines Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Model-checking TechniquesEngineeringIndustrial EngineeringVerificationSoftware Engineering	2011	14

Page 1