Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publications list: <<   <       >   >>  
Showing 1 - 30 (246 total)
 
1
Javier Cámara, David Garlan and Bradley Schmerl. Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. 2017. Submitted for publication.
2
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.
3
Thomas J. Glazier, Javier Cámara, Bradley Schmerl and David Garlan. Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. In Proceedings of the 3rd FoCAS Workshop on the Fundamentals of Collective Adaptive Systems, Boston, MA, USA, 21 September 2015.
4
Javier Cámara, Gabriel A. Moreno and David Garlan. Reasoning about Human Participation in Self-Adaptive Systems. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Florence, Italy, 18-19 May 2015.
5
Ivan Ruchkin, Bradley Schmerl and David Garlan. Architectural Abstractions for Hybrid Programs. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015), Montreal, QC, Canada, 4-8 May 2015. CBSE Best Paper Award.
6
Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Evaluating Trade-Offs of Human Involvement in Self-Adaptive Systems. In Ivan Mistrik, Nour Ali, John Grundy, Rick Kazman and Bradley Schmerl editors, Managing Trade-Offs in Self-Adaptive Systems, Elsevier, September 2016.
7
Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Amanda Rico and David Garlan. Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems. In Workshop on MARTCPS Models at Runtime and Networked Control for Cyber Physical Systems at IEEE World Forum on the Internet of Things, Reston, Virginia, 12-14 December 2016. Winner of the IEEE World Forum on the Internet of Things Best Paper Award.
8
Bradley Schmerl, Jeffrey Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara and David Garlan. Architecture Modeling and Analysis of Security in Android Systems. In Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Vol. 9839 of Lecture Notes in Computer Science, Springer, Copenhagen, Denmark, 30 November - 2 December 2016.
9
Ivan Ruchkin. Integration Beyond Components and Models: Research Challenges and Directions. In In Proceedings of the 3rd Architecture Centric Virtual Integration Workshop, Venice, Italy, April 2016.
10
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.
11
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. In Proceedings of the 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Würzburg, Germany, 19-22 July 2016. Selected as a best paper.
12
Bradley Schmerl, Jeffrey Gennari, Javier Cámara and David Garlan. Raindroid - A System for Run-time Mitigation of Android Intent Vulnerabilities (Poster) In Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, 19-21 April 2016.
13
Hemank Lamba, Thomas J. Glazier, Bradley Schmerl, Javier Cámara, David Garlan and Jürgen Pfeffer. A Model-based Approach to Anomaly Detection in Software Architectures (Poster) In Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, 19-21 April 2016.
14
Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and Javier Cámara. 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. To appear.
15
Gabriel A. Moreno, Alessandro V. Papadopoulos, Konstantinos Angelopoulo, Javier Cámara and Bradley Schmerl. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. 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. To appear.
16
Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley Schmerl, David Garlan and Jürgen Pfeffer. Model-based cluster analysis for identifying suspicious activity sequences in software. In Proceedings of the 3rd International Workshop on Security and Privacy Analytics (IWSPA 2017), Scottsdale, AZ, 24 March 2017.
17
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura and Marco Vieira. Robustness-Driven Resilience Evaluation of Self-Adaptive Systems. In IEEE Transactions on Dependable and Secure Computing , Vol. 14(1):50-64, 2017.
18
Ivan Ruchkin, Dio De Niz, Sagar Chaki and David Garlan. Contract-Based Integration of Cyber-Physical Analyses. In Embedded Systems Week, 12-17 October 2014.
19
Ivan Mistrik, Nour Ali, John Grundy and Bradley Schmerl editors. Managing Trade-offs in Adaptable Software Architectures. Morgan Kaufmann, August 2016.
20
Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli and Luciano Baresi. Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017. To appear.
21
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Larse Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori and Giordano Tambrrellii. Perpetual Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017. To appear.
22
Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems 3, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017. To appear.
23
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.
24
Vahe Poladian, Mary Shaw and David Garlan. Modeling Uncertainty of Predictive Inputs in Anticipatory Dynamic Configuration. In Proceedings of the International Workshop on Living with Uncertainties (IWLU'07), co-located with the 22nd International Conference on Automated Software Engineering (ASE'07),, Atlanta, GA, USA, 5 November 2007. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>.
25
Orieta Celiku, David Garlan and Bradley Schmerl. Augmenting Architectural Modeling to Cope with Uncertainty. In Proceedings of the International Workshop on Living with Uncertainties (IWLU'07), co-located with the 22nd International Conference on Automated Software Engineering (ASE'07), Atlanta, GA, USA, 5 November 2007. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>.
26
Shang-Wen Cheng and David Garlan. Handling Uncertainty in Autonomic Systems. In Proceedings of the International Workshop on Living with Uncertainties (IWLU'07), co-located with the 22nd International Conference on Automated Software Engineering (ASE'07), Atlanta, GA, USA, 5 November 2007. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>.
27
Vahe Poladian. Tailoring Configuration to User's Tasks under Uncertainty. PhD thesis, Carnegie Mellon University, April 2008. Technical Report CMU-CS-08-121.
28
David Garlan and Bradley Schmerl. Ævol: A tool for defining and planning architecture evolution. In 2009 International Conference on Software Engineering, 20-22 May 2009.
29
Pedro Caldeira Neves, Bradley Schmerl, Jorge Bernardino and Javier Cámara. Big Data in Cloud Computing: features and issues. In Proceedings of the 2016 International Conference on Internet of Things and Big Data, Rome, Italy, 23-25 April 2016.
30
Javier Cámara, Pedro Correia, Rogério de Lemos and Marco Vieira. Empirical Resilience Evaluation of an Architecture-based Self-Adaptive Software System. In Tenth International ACM Sigsoft Conference on the Quality of Software Architectures, Lille, France, 30 June - 3 July 2014. ACM SIGSOFT QoSA Distinguished Paper Award.
Feedback: ABLE Webmaster
Last modified: Fri July 25 2014 13:50:06
        BibAdmin