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 × Canada
1 × Denmark
1 × South Africa
1 × Switzerland
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
L.C.Briand C.Ghezzi W.Dou W.Binder M.L.Drago S.Krstic D.Giannakopoulou C.S.Pasareanu A.B.Fadhel C.Pautasso P.Senti J.Thomé L.K.Shar M.M.Bersani P.S.Pietro
Talks about:
base (6) pattern (4) tempor (4) servic (4) trace (4) driven (3) model (3) check (3) composit (2) specif (2)

♂ Person: Domenico Bianculli

DBLP DBLP: Bianculli:Domenico

Facilitated 3 volumes:

CBSE 2015PrCo
CBSE 2014PrCo
CBSE 2013PrCo

Contributed to:

ECMFA 20142014
FASE 20142014
SEFM 20142014
ICSE 20122012
ICSE 20112011
ICSE 20102010
ICSE 20092009
MoDELS 20172017
MoDELS 20182018
ESEC/FSE 20172017
ASE 20182018

Wrote 11 papers:

ECMFA-2014-DouBB #named #ocl
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
FASE-2014-BersaniBGKP #smt
SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.
SEFM-2014-BianculliGK #logic #metric #pipes and filters #using
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (DB, CG, SK), pp. 144–158.
ICSE-2012-BianculliGPS #case study #industrial #research #specification
Specification patterns from research to industry: A case study in service-based applications (DB, CG, CP, PS), pp. 968–976.
ICSE-2011-BianculliGP #composition #interface
Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.
ICSE-2010-BianculliBD #evaluation #middleware #named #performance
SOABench: performance evaluation of service-oriented middleware made easy (DB, WB, MLD), pp. 301–302.
ICSE-2009-BianculliBDG #framework #named #web #web service
ReMan: A pro-active reputation management infrastructure for composite Web services (DB, WB, MLD, CG), pp. 623–626.
MoDELS-2017-DouBB #approach #modelling
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties (WD, DB, LCB), pp. 323–333.
MoDELS-2018-DouBB #modelling #specification
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications (WD, DB, LCB), pp. 278–288.
ESEC-FSE-2017-ThomeSBB #injection #named
JoanAudit: a tool for auditing common injection vulnerabilities (JT, LKS, DB, LCB), pp. 1004–1008.
ASE-2018-FadhelBB #data access #modelling #policy #runtime
Model-driven run-time enforcement of complex role-based access control policies (ABF, DB, LCB), pp. 248–258.
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.