Hamid Bagheri

Sebastian G. Elbaum

Justin M. Bradley

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

DelDroid: An automated approach for determination and enforcement of least-privilege architecture in android.

[BibT_eX]

[DOI]

Mahmoud Hammad

Bruno Vieira Resende e Silva

J. Syst. Softw., 2019

Shared data science infrastructure for genomics data.

[BibT_eX]

[DOI]

BMC Bioinform., 2019

Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Security and Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Software Engineering., 2019

2018

A formal approach for detection of security flaws in the android permission system.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Modeling and testing a family of surgical robots: an experience report.

[BibT_eX]

[DOI]

Niloofar Mansoor

Jonathan A. Saddler

Myra B. Cohen

Shane Farritor

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

An evolutionary approach for analyzing Alloy specifications.

[BibT_eX]

[DOI]

Jianghao Wang

Myra B. Cohen

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Efficient, Evolutionary Security Analysis of Interacting Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

A temporal permission analysis and enforcement framework for Android.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping.

[BibT_eX]

[DOI]

Chong Tang

IEEE Trans. Software Eng., 2017

Sentiment analysis of twitter data.

[BibT_eX]

[DOI]

Md Johirul Islam

CoRR, 2017

Towards designing effective data persistence through tradeoff space analysis.

[BibT_eX]

[DOI]

Chong Tang

Sarun Paisarnsrisomsuk

Proceedings of the 39th International Conference on Software Engineering, 2017

Determination and Enforcement of Least-Privilege Architecture in Android.

[BibT_eX]

[DOI]

Mahmoud Hammad

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

2016

Software architectural principles in contemporary mobile software: from conception to practice.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Model-driven synthesis of formally precise, stylized software architectures.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Titanium: efficient analysis of evolving alloy specifications.

[BibT_eX]

[DOI]

Reyhaneh Jabbarvand Behrouz

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Energy-aware test-suite minimization for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Reducing combinatorics in GUI testing of android applications.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Architecture Modeling and Analysis of Security in Android Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 10th European Conference, 2016

Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android.

[BibT_eX]

[DOI]

Reyhaneh Jabbarvand Behrouz

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

COVERT: Compositional Analysis of Android Inter-App Permission Leakage.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

A Study on the Role of Software Architecture in the Evolution and Quality of Software.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

SIG-Droid: Automated system input generation for Android applications.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Analysis of Android Inter-App Security Vulnerabilities Using COVERT.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Synthesis from Formal Partial Abstractions.

[BibT_eX]

[DOI]

CoRR, 2014

Automated detection and mitigation of inter-application security vulnerabilities in Android (invited talk).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

TradeMaker: automated dynamic analysis of synthesized tradespaces.

[BibT_eX]

[DOI]

Chong Tang

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Bottom-up model-driven development.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping.

[BibT_eX]

Sang H. Son

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Pol: specification-driven synthesis of architectural code frameworks for platform-based applications.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2012

2011

A Formal Approach for Incorporating Architectural Tactics into the Software Architecture.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A formal approach to software synthesis for architectural platforms.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Monarch: Model-Based Development of Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Architectural style as an independent variable.

[BibT_eX]

[DOI]

Yuanyuan Song

Proceedings of the ASE 2010, 2010

Architecture as an Independent Variable for Aspect-Oriented Application Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2008

An evaluation method for aspectual modeling of distributed software architectures.

[BibT_eX]

[DOI]

Seyed-Hassan Mirian-Hosseinabadi

Vajih Montaghami

Gholamreza Safi

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

An Aspect Enhanced Method of NFR Modeling in Software Architecture.

[BibT_eX]

[DOI]

Seyed-Hassan Mirian-Hosseinabadi

Hesam Chiniforooshan Esfahani

Proceedings of the 10th International Conference on Information Technology, 2007

Injecting security as aspectable NFR into Software Architecture.

[BibT_eX]

[DOI]