Concepedia

Alessandro Lapadula

AL

Statistics

Publications

5

Citations

106

H-Index

5

Active since

2007

Affiliations

University of Florence(Current)

Alessandro Lapadula is an author at University of Florence specializing in engineering, system software, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareFormal VerificationSoftware EngineeringSoftware AnalysisCloud ComputingComputer ScienceProgram Analysis

Publications per year

2007–2012

5

Publications

5

A logical verification methodology for service-oriented computing

Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula et al. · ACM Transactions on Software Engineering and Methodology · 2012 · 38 citations

Engineering, Verification, Software Engineering +19

Regulating data exchange in service oriented applications

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi · Fundamentals of Software Engineering · 2007 · 23 citations

Engineering, Data Service, Information Security +10

Using formal methods to develop WS-BPEL applications

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi · Science of Computer Programming · 2011 · 21 citations

Formal Specification, Engineering, Formal Modeling +8

Service Discovery and Negotiation With COWS

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi · Electronic Notes in Theoretical Computer Science · 2008 · 14 citations · Full text

Negotiation, Web Service Specification, Engineering +20

From Architectural to Behavioural Specification of Services

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula et al. · Electronic Notes in Theoretical Computer Science · 2009 · 10 citations · Full text

Software Maintenance, Engineering, Service Components +17

1–5 of 5