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: Bagheri:Hamid
Contributed to:
2015
2015
201520142013
2012
201220112011
2010
2010
20162018
2018
2016
2017Wrote 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.