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 × 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 DBLP: Bottoni:Paolo

Contributed to:

GCM 20152015
GT-VMT 20132013
GT-VMT 20122012
GT-VMT 20112011
GCM 20102011
GT-VMT 20102010
FASE 20092009
GT-VMT 20092009
GT-VMT 20082008
ECDL 20072007
GT-VMT 20072007
GT-VMT 20062008
AGTIVE 20032003
UML 20012001
UML 20002000
AGTIVE 19991999
TAGT 19981998
HCI v2 19971997
ICPR 19961996

Wrote 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.

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.