Concepedia

Achille Frigeri

AF

5

Publications

108

Citations

5

H-Index

2010

Active since

Affiliations

Politecnico di Milano(Current)

Institute of Electronics, Computer and Telecommunication Engineering

Achille Frigeri is an author at Politecnico di Milano specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringSatisfiabilityFormal SpecificationSemantics

Publications per year

2010–2014

5

Publications

5

Fuzzy Time in Linear Temporal Logic

Achille Frigeri, Liliana Pasquale, Paola Spoletini · ACM Transactions on Computational Logic · 2014 · 34 citations · Full text

Fuzzy Systems, Engineering, Fuzzy Modeling +21

Bounded Reachability for Temporal Logic over Constraint Systems

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti et al. · 2010 · 25 citations

Bounded Reachability, Constraint Solving, Formal Specification +15

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri et al. · 2010 · 22 citations

Engineering, Verification, Computer-aided Verification +22

Constraint LTL satisfiability checking without automata

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti et al. · Journal of Applied Logic · 2014 · 17 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +7

Expressiveness and complexity of regular pure two-dimensional context-free languages

Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini · International Journal of Computer Mathematics · 2013 · 10 citations

Rows per page

1–5 of 5