Travelled to:1 × Austria
1 × Canada
1 × Germany
1 × Italy
1 × The Netherlands
2 × USA
2 × United Kingdom
Collaborated with:F.Parisi-Presicce A.Fish G.Täntzer E.Guerra J.d.Lara M.Simeoni A.Saporito M.Koch N.Bianchi P.Mussio R.Navigli N.N.Mirenkov Y.Watanobe R.Yoshioka A.Malizia S.Levialdi F.Astorga-Paliza S.Pulcini G.Rezzonico M.G.Strepparava C.Spinu C.Garbay
Talks about:model (6) constraint (4) rule (4) transform (3) pattern (3) visual (3) system (3) graph (3) annot (3) base (3)
Person: Paolo Bottoni
DBLP: Bottoni:Paolo
Contributed to:
2015
20132012201120112010
200920092008
200720072008
2003
200120001999
1998
1997
1996Wrote 19 papers:
- GCM-2015-BottoniNP #constraints #contract #modelling #policy #using
- Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
- GT-VMT-2013-BottoniP
- Annotations on Complex Patterns (PB, FPP).
- GT-VMT-2012-BottoniP #graph #modelling
- Modeling context with graph annotations (PB, FPP).
- GT-VMT-2011-BottoniF #diagrams #specification #visual notation
- A visual language for temporal specifications based on Spider diagrams (PB, AF).
- GCM-2010-BottoniFP11 #constraints #incremental #policy
- Incremental update of constraint-compliant policy rules (PB, AF, FPP).
- GT-VMT-2010-BottoniFP #constraints #model transformation
- Preserving constraints in horizontal model transformations (PB, AF, FPP).
- FASE-2009-BottoniGL #formal method #modelling
- Formal Foundation for Pattern-Based Modelling (PB, EG, JdL), pp. 278–293.
- GT-VMT-2009-BottoniS #adaptation #diagrams #process #workflow
- Resource-based enactment and adaptation of workflows from activity diagrams (PB, AS), pp. 159–170.
- GT-VMT-2008-BottoniMWY #control flow
- Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).
- ECDL-2007-MaliziaBLA #approach #library
- A Cooperative-Relational Approach to Digital Libraries (AM, PB, SL, FAP), pp. 75–86.
- GT-VMT-2007-LaraGB #generative #graph grammar #specification
- Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules (JdL, EG, PB).
- GT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling
- Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
- AGTIVE-2003-BottoniPT #distributed #graph transformation #refactoring #specification
- Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.
- UML-2001-BottoniKPT #ocl #using #visualisation
- A Visualization of OCL Using Collaborations (PB, MK, FPP, GT), pp. 257–271.
- UML-2000-BottoniKPT #consistency #constraints #ocl #visualisation
- Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.
- AGTIVE-1999-BottoniPS #on the #representation
- On a Uniform Representation of Transformation Systems (PB, FPP, MS), pp. 63–78.
- TAGT-1998-BottoniPS #term rewriting
- From Formulae to Rewriting Systems (PB, FPP, MS), pp. 267–280.
- HCI-SEC-1997-BianchiBMRS #design #interface #modelling
- Participatory Interface Design: From Naive Models to Systems (NB, PB, PM, GR, MGS), pp. 573–576.
- ICPR-1996-BianchiBSGM #image
- A dynamical organisation for situated image interpretation (NB, PB, CS, CG, PM), pp. 228–232.