BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Denmark
1 × India
1 × Portugal
1 × Sweden
1 × Switzerland
2 × France
2 × The Netherlands
3 × Canada
3 × Italy
3 × USA
Collaborated with:
U.Montanari M.Roveri A.Marconi P.Traverso R.Kazhamiakin G.L.Ferrari M.Y.Vardi D.Sangiorgi A.Fuxman J.Mylopoulos A.Bucchiarone A.Cimatti R.Sebastiani S.Gnesi G.Ristori D.Yankelevich C.A.Mezzina L.Liu A.Gehlert A.Metzger K.Pohl G.Ferro E.M.Clarke E.Giunchiglia F.Giunchiglia A.Tacchella
Talks about:
servic (5) requir (5) verif (4) process (3) model (3) check (3) base (3) web (3) framework (2) composit (2)

Person: Marco Pistore

DBLP DBLP: Pistore:Marco

Contributed to:

SAC 20132013
SAC 20102010
SFM 20092009
ICSM 20072007
SEFM 20062006
SFM-Moby 20052005
EDOC 20042004
SEFM 20042004
LICS 20032003
RE 20032003
CAV 20022002
FoSSaCS 20022002
VMCAI 20022002
RE 20012001
TACAS 19991999
CAV 19981998
TACAS 19971997
CAV 19961996
ESOP 19961996

Wrote 19 papers:

SAC-2013-BucchiaroneMMP #adaptation #concept #framework
A conceptual framework for collective adaptive systems (AB, AM, CAM, MP), pp. 1935–1936.
SAC-2010-GehlertBKMPP #adaptation #verification
Exploiting assumption-based verification for the adaptation of service-based applications (AG, AB, RK, AM, MP, KP), pp. 2430–2437.
SFM-2009-MarconiP #composition #synthesis #web #web service
Synthesis and Composition of Web Services (AM, MP), pp. 89–157.
ICSM-2007-TraversoP #exclamation
Agree or Change! Making Services Evolve (PT, MP), pp. 2–3.
SEFM-2006-MarconiPT #automation #composition #data flow #requirements #specification #web #web service
Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.
SFM-2005-MontanariP #automaton
History-Dependent Automata: An Introduction (UM, MP), pp. 1–28.
EDOC-2004-KazhamiakinPR #framework #process #requirements
A Framework for Integrating Business Processes and Business Requirements (RK, MP, MR), pp. 9–20.
SEFM-2004-KazhamiakinPR #case study #requirements #using #verification #web #web service
Formal Verification of Requirements using SPIN: A Case Study on Web Services (RK, MP, MR), pp. 406–415.
LICS-2003-PistoreV #infinity
The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
RE-2003-FuxmanLPRM #requirements #specification
Specifying and Analyzing Early Requirements: Some Experimental Results (AF, LL, MP, MR, JM), p. 105–?.
CAV-2002-CimattiCGGPRST #model checking
NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
FoSSaCS-2002-FerrariMP #algebra #calculus
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.
VMCAI-2002-CimattiPRS #encoding #ltl #model checking #satisfiability
Improving the Encoding of LTL Model Checking into SAT (AC, MP, MR, RS), pp. 196–207.
RE-2001-FuxmanMPT #model checking #requirements #specification
Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.
TACAS-1999-MontanariP #finite #verification #π-calculus
Finite State Verification for the Asynchronous π-Calculus (UM, MP), pp. 255–269.
CAV-1998-FerrariGMPR #mobile #process #verification
Verifying Mobile Processes in the HAL Environment (GLF, SG, UM, MP, GR), pp. 511–515.
TACAS-1997-FerrariFGMPR #automation #mobile #process #verification
An Automated Based Verification Environment for Mobile Processes (GLF, GF, SG, UM, MP, GR), pp. 275–289.
CAV-1996-PistoreS #algorithm #refinement #π-calculus
A Partition Refinement Algorithm for the π-Calculus (MP, DS), pp. 38–49.
ESOP-1996-MontanariPY #equivalence #performance
Efficient Minimization up to Location Equivalence (UM, MP, DY), pp. 265–279.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.