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 × Belgium
1 × Germany
1 × India
2 × Italy
2 × Norway
3 × USA
Collaborated with:
K.J.Sullivan S.Malek M.B.Cohen A.Sadeghi C.Tang S.H.Son Y.Song J.Wang M.Hammad E.Kang D.Jackson E.Kouroshfar M.Mirakhorli L.Xiao Y.Cai N.Mansoor J.A.Saddler B.Silva S.Farritor B.R.Schmerl J.Gennari J.Cámara D.Garlan
Talks about:
architectur (9) softwar (5) android (4) analysi (4) model (4) synthesi (3) approach (3) specif (3) formal (3) platform (2)

Person: Hamid Bagheri

DBLP DBLP: Bagheri:Hamid

Contributed to:

FM 20152015
ICSE 20152015
MSR 20152015
ICSE 20142014
ICSE 20132013
GPCE 20122012
SEKE 20122012
ICSE 20112011
SEKE 20112011
ASE 20102010
MoDELS (2) 20102010
FSE 20162016
ASE 20182018
ESEC/FSE 20182018
ECSA 20162016
ICSA 20172017

Wrote 16 papers:

FM-2015-BagheriKMJ #android #bound #design #detection #protocol #verification
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification (HB, EK, SM, DJ), pp. 73–89.
ICSE-v2-2015-SadeghiBM #analysis #android #security #using
Analysis of Android Inter-App Security Vulnerabilities Using COVERT (AS, HB, SM), pp. 725–728.
MSR-2015-KouroshfarMBXMC #architecture #case study #evolution #quality
A Study on the Role of Software Architecture in the Evolution and Quality of Software (EK, MM, HB, LX, SM, YC), pp. 246–257.
ICSE-2014-BagheriTS #automation #dynamic analysis #named
TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
ICSE-2013-BagheriS #bottom-up #development #modelling
Bottom-up model-driven development (HB, KJS), pp. 1221–1224.
GPCE-2012-BagheriS #architecture #framework #named #platform #synthesis
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.
SEKE-2012-BagheriSS #named #synthesis #trade-off
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
ICSE-2011-Bagheri #approach #architecture #formal method #platform #synthesis
A formal approach to software synthesis for architectural platforms (HB), pp. 1143–1145.
SEKE-2011-BagheriS #approach #architecture #formal method
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture (HB, KJS), pp. 770–775.
ASE-2010-BagheriSS #architecture #independence
Architectural style as an independent variable (HB, YS, KJS), pp. 159–162.
MoDELS-v2-2010-BagheriS #architecture #development #modelling #named
Monarch: Model-Based Development of Software Architectures (HB, KJS), pp. 376–390.
FSE-2016-BagheriM #alloy #analysis #evolution #named #performance #specification
Titanium: efficient analysis of evolving alloy specifications (HB, SM), pp. 27–38.
ASE-2018-WangBC #alloy #approach #specification
An evolutionary approach for analyzing Alloy specifications (JW, HB, MBC), pp. 820–825.
ESEC-FSE-2018-MansoorSSBCF #case study #experience #modelling #product line #testing
Modeling and testing a family of surgical robots: an experience report (NM, JAS, BS, HB, MBC, SF), pp. 785–790.
ECSA-2016-SchmerlGSBMCG #analysis #android #architecture #modelling #security
Architecture Modeling and Analysis of Security in Android Systems (BRS, JG, AS, HB, SM, JC, DG), pp. 274–290.
ICSA-2017-HammadBM #android #architecture
Determination and Enforcement of Least-Privilege Architecture in Android (MH, HB, SM), pp. 59–68.

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.