Carnegie Mellon University

Jaspreet Bhatia

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Jaspreet Bhatia's current publication list can be found on her CMU webpage: http://www.cs.cmu.edu/~jbhatia/

Paulo Casanova

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Architecture-Based Run-Time Fault Diagnosis, Paulo Casanova, Bradley Schmerl, David Garlan and Rui Abreu, Published: Lecture Notes in Computer Science, 2011, Volume 6903/2011, 261-277, DOI: 10.1007/978-3-642-23798-0_29

Paulo Casanova, David Garlan, Bradley Schmerl and Rui Abreu. Diagnosing architectural run-time failures. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 20-21 May

Vishal Dwivedi

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Resolving Data Mismatches in End-User Compositions. Perla Velasco-Elizondo, Vishal Dwivedi, David Garlan, Bradley Schmerl and Jose Maria Fernandes. To appear. Fourth International Symposium on End-User Development (ISEUD), 2013, Denmark

End User Architecting. Vishal Dwivedi. In the Doctoral Symposium at Fourth International Symposium on End-User Development (ISEUD), 2013, Denmark

Foundations and Tools for End-User Architecting. David Garlan,Vishal Dwivedi,Ivan Ruchkin and Bradley Schmerl. In Proc. 17th Monterey Workshop, Oxford, 2012, UK

An Architectural Approach to End User Orchestrations. Vishal Dwivedi, Perla Velasco Elizondo, Jose Maria Fernandes, David Garlan and Bradley Schmerl. In Proc. European Conference on Software Architecture (ECSA), 2011, p 370-378

SORASCS: A Case Study in SOA-based Platform Design for Socio-Cultural Analysis. Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael Bigrigg, and Kathleen M. Carley. In Proc. 33rd International Conference of Software Engineering (ICSE), 2011, p 643-652

Formalizing `Traceability' for Architectural Evolutions. Liang-Jie Zhang, Vishal Dwivedi, Nianjun Zhou. In Proc. IEEE Asia-Pacific Services Computing Conference (APSCC), 2010, p: 285-292

Additional details available at: http://www.cs.cmu.edu/~vdwivedi/#Publications

Darya Melicher

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Darya's current publication list can be found on her CMU webpage.

Ashutosh Pandey

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and Javier Cara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), Buenos Aires, Argentina, 22-23 May 2017.

Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara and David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. In Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Augsburg, Germany, 12-16 September 2016.

Javier Cámara, David Garlan, Bradley Schmerl and Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation via Model Checking of Stochastic Games. In Proceedings of the 10th DADS Track of the 30th ACM Symposium on Applied Computing, Salamanca, Spain, 13-17 April 2015.

Jeffrey M. Barnes, Ashutosh Pandey, and David Garlan (2013). Automated Planning for Software Architecture Evolution. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE’13).

Ivan Ruchkin

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Amanda Rico, David Garlan. Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems. Accepted to the Workshop on Models at Runtime & Networked Control for Cyber Physical Systems (MARTCPS), 2016.

Ivan Ruchkin. Integration Beyond Components and Models: Research Challenges and Directions. In Proceedings of the 3th Architecture Centric Virtual Integration Workshop (ACVI) (in conjunction with WICSA/CompArch). Venice, Italy, 2016

Ivan Ruchkin, Ashwini Rao, Dionisio De Niz, Sagar Chaki, David Garlan, Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach, in the First ACM Workshop on Cyber-Physical Systems Security and Privacy (CPS-SPC) 2015 (in conjunction with CCS). Denver, CO.

Ivan Ruchkin, Bradley Schmerl, David Garlan, Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems, in the 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems (ACES-MB) 2015 (in conjunction with MODELS). Ottawa, Canada.

Ivan Ruchkin, Architectural and Analytic Integration of Cyber-Physical System Models, in the MODELS ACM Student Research Competition 2015. Ottawa, Canada.

Ivan Ruchkin, Towards Integration of Modeling Methods for Cyber-Physical Systems, in the MODELS Doctoral Symposium 2015. Ottawa, Canada.

Ivan Ruchkin, Dionisio De Niz, Sagar Chaki, and David Garlan, “Contract-based Integration of Cyber-physical Analyses,” in Proceedings of the 14th International Conference on Embedded Software, New York, NY, USA, Oct. 2014.

Ivan Ruchkin, Vishal Dwivedi, David Garlan, and Bradley Schmerl, “Architectural Modeling of Ozone Widget Framework End-User Compositions,” Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, Technical Report CMU-ISR-14-108, Jun. 2014.

Ivan Ruchkin, Bradley Schmerl, and David Garlan, “Architectural Abstractions for Hybrid Programs,” in Proceedings of the International Symposium on Component-Based Software Engineering, Montreal, Canada, 2015.

Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce Krogh, David Garlan, Andre Platzer, Bradley Schmerl. Supporting Heterogeneity in Cyber-Physical Systems Architectures. In IEEE Transactions on Automatic Control 2014.

Ivan Ruchkin, Dionisio De Niz, Sagar Chaki, David Garlan. ACTIVE: A Tool for Integrating Analysis Contracts. In Proceedings of the 5th Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) Workshop 2014.

David Garlan, Vishal Dwivedi, Ivan Ruchkin, and Bradley Schmerl. “Foundations and Tools for End-User Architecting.” In Large-Scale Complex IT Systems. Development, Operation and Management, 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012.

Additional details available at http://www.cs.cmu.edu/~iruchkin/publications.html

Selva Samuel

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Amanda Rico, David Garlan. Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems. Accepted to the Workshop on Models at Runtime & Networked Control for Cyber Physical Systems (MARTCPS), 2016.

Daniel Smullen

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Breaux, T.D.; Smullen, D.; Hibshi, H., "Detecting repurposing and over-collection in multi-party privacy requirements specifications," in Requirements Engineering Conference (RE), 2015 IEEE 23rd International, pp.166-175, 24-28 Aug. 2015

Mauricio Soto

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Soto et al. A deeper look into bug fixes: Patterns, replacements, deletions, and additions; MSR Challenge 2016. International Conference on Mining Software Repositories

Roykrong Sukkerd

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Roykrong Sukkerd, Javier Cámara, David Garlan and Reid Simmons. Multiscale Time Abstractions for Long-Range Planning under Uncertainty. In Proceedings of the 2nd ICSE Workshop on Software Engineering for Smart Cyberphysical Systems, Austin, Texas, 16 May 2016.

Roykrong Sukkerd, David Garlan and Reid Simmons. Task Planning of Cyber-Human Systems. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods, Vol. 9276 of LNCS, Springer, York, UK, 7-11 September 2015.

Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, and Yuriy Brun. Understanding Regression Failures through Test-Passing and Test-Failing Code Changes. In Proceedings of the New Ideas and Emerging Results Track at the 35th International Conference on Software Engineering (ICSE13), 2013.

Rijnard van Tonder

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Rijnard van Tonder and Claire Le Goues, Defending Against the Attack of the Cicro-clones, In IEEE 24th International Conference on Program Comprehension (ICPC), 2016.

Miguel Velez

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Miguel's list of publications can be found on his website.

Chu-Pan Wong

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Meng Meng, Jens Meinicke, Chu-Pan Wong, Eric Walkingshaw, and Christian Kästner. A choice of variational stacks: Exploring variational data structures. In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017.

Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, and Gunter Saake. On essential configuration complexity: Measuring interactions in highly-configurable systems. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pages 483--494, New York, NY, USA, 2016. ACM

Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, and David Lo. A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions. In Proceedings of the 13th International Conference on Mining Software Repositories (MSR). IEEE, 2016.

Chu-Pan Wong, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang, and Hong Mei. Boosting bug-report-oriented fault localization with segmentation and stack-trace analysis. In Software Maintenance and Evolution (ICSME), 2014 IEEE International Conference on, pages 181--190. IEEE, 2014.