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: Pistore:Marco
Contributed to:
20132010
2009
2007
20062005
20042004
2003
2003
2002
2002
20022001
1999199819971996
1996Wrote 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.