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: Baresi:Luciano
Facilitated 9 volumes:
EdPrCh
ExpertReviewPaPrBoard
PrCoPrCoPrCo
EdPrChContributed to:
2015
2015
20152015
20152014
2014
2013
20122015201120112010
20102010
2008
200820082007
20082007
2007
20062006
200520042004
20022003200220022002
19991997
2016201920012016Wrote 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.