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 × Croatia
1 × Denmark
1 × Finland
1 × Hungary
1 × South Africa
1 × The Netherlands
2 × Australia
2 × Brazil
2 × Norway
3 × France
3 × Spain
5 × Italy
7 × USA
Collaborated with:
S.Guinea R.Heckel M.Pezzè M.Miraz P.Spoletini L.Mainetti C.Ghezzi S.Thöne D.Varró V.P.L.Manna L.Pasquale P.Plebani M.Rossi G.Denaro G.Quattrocchi A.Shahzada E.Quintarelli P.Paolini V.Pereira M.E.Delamaro M.M.P.Kallehbasti G.Ripa P.L.Lanzi N.A.M.Maiden P.Sawyer L.Mottola A.Maurino S.Modafferi S.Colazzo A.Orso G.Taentzer A.Radjenovic R.F.Paige A.Motta D.S.Kolovos A.Mocci M.Monga V.Rafe A.T.Rahmani F.Garzotto A.Leva C.Quinton R.Rabiser M.Vierhauser P.Grünbacher X.Ma J.Lü L.Goix J.Aliprandi D.Archetti N.D.Matragkas G.Blohm N.D.Matragkas H.Muccini K.E.Harper R.Heinrich J.Bosch N.Plouzeau O.Zimmermann V.Cortellessa
Talks about:
graph (9) transform (8) system (8) model (8) servic (7) architectur (6) softwar (5) formal (5) dynam (5) base (5)

♂ Person: Luciano Baresi

DBLP DBLP: Baresi:Luciano

Facilitated 9 volumes:

ESEC/FSE 2013Ed
ESEC/FSE 2013PrCh
ASE 2010ExpertReviewPa
ASE 2010PrBoard
ICMT 2010PrCo
ICMT 2009PrCo
ICMT 2008PrCo
FASE 2006Ed
FASE 2006PrCh

Contributed to:

ECSA 20152015
ICEIS v2 20152015
ICSE 20152015
ICSE 20152015
SPLC 20152015
SPLC 20142014
WICSA 20142014
RE 20132013
ECMFA 20122012
ECMFA 20122015
ESEC/FSE 20112011
WICSA 20112011
ICSE 20102010
ICST 20102010
RE 20102010
CAiSE 20082008
GT-VMT 20082008
RE 20082008
CAiSE 20072007
GT-VC 20072008
ICSE 20072007
SEKE 20072007
ICGT 20062006
ICSE 20062006
SAC 20052005
ICGT 20042004
WICSA 20042004
CBSE 20032002
ESEC/FSE 20032003
FASE 20022002
ICGT 20022002
SEKE 20022002
AGTIVE 19991999
ICSE 19971997
FSE 20162016
ESEC/FSE 20192019
GT-VMT 20012001
CBSE 20162016

Wrote 40 papers:

ECSA-2015-BaresiS #approach #architecture
An Architecture-Centric Approach for Dynamic Smart Spaces (LB, AS), pp. 277–284.
ICEIS-v2-2015-PereiraBD #formal method #uml
Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICSE-v1-2015-BaresiKR #ltl #performance #scalability #specification #verification
Efficient Scalable Verification of LTL Specifications (LB, MMPK, MR), pp. 711–721.
ICSE-v2-2015-BaresiGGMAA #interactive #middleware #mobile #named #proximity #social
SPF: A Middleware for Social Interaction in Mobile Proximity Environments (LB, LWG, SG, VPLM, JA, DA), pp. 79–88.
SPLC-2015-QuintonRVGB #challenge #evolution #product line
Evolution in dynamic software product lines: challenges and perspectives (CQ, RR, MV, PG, LB), pp. 126–130.
SPLC-2014-Baresi #adaptation #product line #self
Self-adaptive systems, services, and product lines (LB), pp. 2–4.
WICSA-2014-BaresiGM #consistency #evolution #process #runtime
Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
RE-2013-BaresiRP #named #platform #requirements
IRET: Requirements for service platforms (LB, GR, LP), pp. 336–337.
ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification
Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
ESEC-FSE-2011-MaBGML #component #configuration management #distributed
Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.
WICSA-2011-BaresiG #architecture #component #coordination #distributed #named
A-3: An Architectural Style for Coordinating Distributed Components (LB, SG), pp. 161–170.
ICSE-2010-BaresiM #automation #generative #java #named #testing
TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICST-2010-BaresiLM #approach #java #named
TestFul: An Evolutionary Test Approach for Java (LB, PLL, MM), pp. 185–194.
RE-2010-BaresiPS #adaptation #fuzzy
Fuzzy Goals for Requirements-Driven Adaptation (LB, LP, PS), pp. 125–134.
CAiSE-2008-BaresiMP #flexibility #framework #semantics #web #web service
A Flexible and Semantic-Aware Publication Infrastructure for Web Services (LB, MM, PP), pp. 435–449.
GT-VMT-2008-BaresiGMM #abstraction #graph transformation #using #verification
Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).
RE-2008-BaresiMS #requirements
Service-Centric Systems and Requirements Engineering (LB, NAMM, PS), p. 305.
CAiSE-2007-BaresiGP #aspect-oriented #policy #process
Policies and Aspects for the Supervision of BPEL Processes (LB, SG, PP), pp. 340–354.
GT-VC-2007-BaresiRRS08 #graph transformation #model checking #performance
An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
ICSE-2007-BaresiGM #architecture #automation #on the #verification
On Accurate Automatic Verification of Publish-Subscribe Architectures (LB, CG, LM), pp. 199–208.
SEKE-2007-BaresiMM #distributed #process
Distributed BPEL Processes (LB, AM, SM), pp. 692–697.
ICGT-2006-BaresiS #alloy #graph transformation #on the #using
On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
ICSE-2006-BaresiG #named #towards #tutorial #web #web service
Tutorial: towards dynamic web services (LB, SG), pp. 1067–1068.
SAC-2005-BaresiCM #adaptation #case study #consistency #experience #modelling
First experiences on constraining consistency and adaptivity of W2000 models (LB, SC, LM), pp. 1674–1678.
SAC-2005-BaresiQ #documentation #graph transformation #xml
Graph transformation to infer schemata from XML documents (LB, EQ), pp. 642–646.
ICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
WICSA-2004-BaresiHTV #architecture #refinement
Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.
CBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling
Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
ESEC-FSE-2003-BaresiHTV #architecture #modelling #validation
Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.
FASE-2002-BaresiGMP #design #metamodelling #tool support #web
Meta-modeling Techniques Meet Web Application Design Tools (LB, FG, LM, PP), pp. 294–307.
FASE-2002-BaresiP #automation #re-engineering #visual notation
A Toolbox for Automating Visual Software Engineering (LB, MP), pp. 189–202.
ICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
SEKE-2002-BaresiDMP #debugging
Assertions to better specify the amazon bug (LB, GD, LM, PP), pp. 585–592.
AGTIVE-1999-BaresiP #analysis #graph grammar #programmable
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars (LB, MP), pp. 193–208.
ICSE-1997-BaresiOP #industrial #specification
Introducing Formal Specification Methods in Industrial Practice (LB, AO, MP), pp. 56–66.
FSE-2016-BaresiGLQ #feedback
A discrete-time feedback controller for containerized cloud applications (LB, SG, AL, GQ), pp. 217–228.
ESEC-FSE-2019-BaresiDQ #execution #parallel #symbolic computation
Symbolic execution-driven extraction of the parallel execution plans of Spark applications (LB, GD, GQ), pp. 246–256.
GT-VMT-2001-BaresiPT #graph transformation #modelling #visual notation
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001 (LB, MP, GT), pp. 325–326.
CBSE-2016-MucciniHHBPZBC
Welcome Message from the Chairs of WICSA, QoSA and CBSE (HM, KEH, RH, JB, NP, OZ, LB, VC), p. vii-viii.

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.