posted by user: iliasger || 1957 views || tracked by 2 users: [display]

CTSE 2015 : 1st International Workshop on Control Theory for Software Engineering


When Aug 31, 2015 - Aug 31, 2015
Where Bergamo, Italy
Abstract Registration Due Jun 5, 2015
Submission Deadline Jun 15, 2015
Notification Due Jun 29, 2015
Final Version Due Jul 15, 2015
Categories    control theory   software engineering

Call For Papers

1st International Workshop on Control Theory for Software Engineering (CTSE)
co-located with ESEC-FSE 2015

Bergamo, Italy - Monday August 31, 2015

Self-adaptive software systems are establishing themselves as systems that continuously assure software requirements in spite of dynamic, unpredictable, and uncertain execution environments. Nonetheless, most of the current approaches lack the formal grounding needed to guarantee the effectiveness, robustness, and dependability of the adaptation mechanisms. Control Theory has developed a broad set of mathematical techniques for adapting physical plants. Although the parallel between the two adaptation problems is self-evident, a Control Theory for Software Engineering places unprecedented challenges for both disciplines. Software engineers are required to abstract system behaviors into mathematical models suitable for control and to devise broadly applicable development processes taking "controllability" as a first class concern. Control Theory, used to deal mostly with unchangeable physical laws and limited measurable quantities, has to readjust to a new playground where the "physics" of virtual environments is often a design choice, calling for a paradigm shift from classic control. This workshop aims to provide a forum for researchers active in the two disciplines, fostering the definition of software adaptation methodologies with control theoretical formal guarantees.

Call for Papers
We invite high–quality submissions describing original and unpublished results on the use of control theoretical concepts for the design of software systems. We welcome theoretical, experimental, industrial, empirical, case study, position, and challenge papers, as well as multi-disciplinary work bringing results from other disciplines for the solution of problems related to software control and uncertainty management. We encourage the authors to facilitate reproducibility of their results by making available or describing relevant data sets and tools. Papers must not have been previously published or be currently submitted elsewhere. If accepted, the paper must be personally presented at the workshop by one of the authors. The accepted papers will be included in the proceedings of ESEC-FSE 2015 ( edited by ACM SIGSOFT.

Topics of interest
The topics of interest include, but are not limited to:

- Challenges in applying Control Theory for Software Engineering
- Experience on the application of control for software systems
- Event-based control for software systems
- Equation-based control for software systems
- Control methodologies and techniques for software
- Design patterns and architectures for control
- Verification and Validation of controlled systems
- Mathematical modeling of software for control
- Modeling of time and uncertainty for software
- Model identification and continuous learning
- Controller synthesis for stochastic behavioral models
- Control strategies for dependable approximate computing
- Distributed and collaborative software control
- Control theoretical solutions for resource provisioning and energy awareness
- Development processes for controllable software
- Control theoretical solutions for software intensive cyber-physical systems

Important dates
Abstract submission May 29, 2015
Papers submission June 5, 2015
Authors notification June 29, 2015
Camera-ready submission July 15, 2015

Submission Guidelines
We solicit two types of submissions: full research papers (up to 8 pages including references) describing novel ongoing work to solve relevant problems, and short position papers (up to 4 pages including references) focusing on open challenges and opportunities.
All submissions must be prepared in ACM conference format and comply with the format requirements of ESEC-FSE 15 (
Papers are to be submitted via EasyChair at

Organization Committee
Program Co-Chairs:
Antonio Filieri, University of Stuttgart, DE
Martina Maggio, Lund University, SE

Publicity Chair
Ilias Gerostathopoulos, Charles University, CZ

Program Committee
Javier Camara, Carnegie Mellon University, US
Nicolas D'Ippolito, University of Buenos Aires, AR
David Garlan, Carnegie Mellon University, US
Carlo Ghezzi, Politecnico di Milano, IT
Henry Hoffmann, University of Chicago, US
Samuel Kounev, University of Wurzburg, DE
Filip Krikava, University of Lille/INRIA, FR
Marta Kwiatkowska, Oxford University, UK
Alberto Leva, Politecnico di Milano, IT
Marin Litoiu, York University, CA
Sasa Misailovic, Massachussets Institute of Technology, US
Alessandro Vittorio Papadopoulos, Lund University, SE
David Parker, University of Birmingham, UK
Anders Robertsson, Lund University, SE
Eric Rutten, INRIA Grenoble, FR
Sebastian Uchitel, University of Buenos Aires, AR
Thomas Vogel, Hasso-Plattner-Institut, DE
Danny Weyns, Linnaeus University, SE

Related Resources

SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ASE 2019   Automated Software Engineering
ICoCTA 2020   2020 International Conference on Control Theory and Applications (ICoCTA 2020)
EI-CSECI 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
IEEE-TEM 2019   IEEE Transactions on Engineering Management: Special Issue Smart Services and Software Platforms
ISSRE 2019   The 30th International Symposium on Software Reliability Engineering (ISSRE) - IEEE
IT 2019   8th International Conference on Information Theory
PMAE--Ei, Scopus 2019   2019 2nd International conference on Progress in Mechanical and Aerospace Engineering (PMAE 2019)--Ei Compendex and Scopus
CSECI 2019-Ei Compendex & Scopus 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
SCOPUS-WPCE 2019   2019 4th International Conference on Water Pollution Control Engineering (WPCE 2019)