Franco Mazzanti
Franco Mazzanti
Reasearcher, ISTI CNR, Pisa, Italy
Verifierad e-postadress på isti.cnr.it - Startsida
Titel
Citeras av
Citeras av
År
A state/event-based model-checking approach for the analysis of abstract system properties
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
Science of Computer Programming 76 (2), 119-135, 2011
762011
A model checking approach for verifying COWS specifications
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
International Conference on Fundamental Approaches to Software Engineering …, 2008
612008
VMC: a tool for product variability analysis
MH Ter Beek, F Mazzanti, A Sulova
International Symposium on Formal Methods, 450-454, 2012
592012
An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
592007
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
MH ter Beek, A Fantechi, S Gnesi, F Mazzanti
Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016
532016
On the fly model checking of communicating UML State Machines
S Gnesi, F Mazzanti
Second ACIS International Conference on Software Engineering Research …, 2004
512004
A logical verification methodology for service-oriented computing
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 1-46, 2012
472012
A model checking verification environment for UML statecharts
S Gnesi, F Mazzanti
Proceedings of XLIII Congresso Annuale AICA, 2005
442005
AGILE: Software architecture for mobility
L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ...
International Workshop on Algebraic Development Techniques, 1-33, 2002
372002
An abstract, on the fly framework for the verification of service-oriented systems
S Gnesi, F Mazzanti
Rigorous software engineering for service-oriented systems, 390-407, 2011
322011
A symbolic model checker for ACTL
A Fantechi, S Gnesi, F Mazzanti, R Pugliese, E Tronci
International Workshop on Current Trends in Applied Formal Methods, 228-242, 1998
321998
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity
M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ...
International Symposium On Leveraging Applications of Formal Methods …, 2008
292008
Formal verification of an automotive scenario in service-oriented computing
MH Ter Beek, S Gnesi, N Koch, F Mazzanti
Proceedings of the 30th international conference on Software engineering …, 2008
282008
CMC-UMC: A framework for the verification of abstract service-oriented properties
MH Ter Beek, F Mazzanti, S Gnesi
Proceedings of the 2009 ACM symposium on Applied Computing, 2111-2117, 2009
262009
On the Fly Verification of Network of Automata.
S Gnesi, F Mazzanti
PDPTA 99, 1040-1046, 1999
261999
A model-checking approach for service component architectures
J Abreu, F Mazzanti, JL Fiadeiro, S Gnesi
Formal Techniques for Distributed Systems, 219-224, 2009
252009
Formalising engineering judgement on software dependability via belief networks
L Strigini, KA Delic, F Mazzanti
Dependable Computing for Critical Applications (DCCA-6), 291-305, 1998
231998
Formalising a software safety case via belief networks
KA Delic, F Mazzanti, L Strigini
SHIP (Assessment of the Safety of Hazardous Industrial Processes in the …, 1997
231997
On the industrial uptake of formal methods in the railway domain
D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ...
International Conference on Integrated Formal Methods, 20-29, 2018
202018
From EU projects to a family of model checkers
MH ter Beek, S Gnesi, F Mazzanti
Software, Services, and Systems, 312-328, 2015
202015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20