Fetching the paper…
Reading the bibliography…
Research in the area of Cyber-Physical Systems (CPS) is hampered by the lack of available project environments in which to explore open challenges and to propose and rigorously evaluate solutions.
Safeware: System Safety and Computers
Nancy G. Leveson. 1995 · 1995
Earlier work this paper cites.
Requirements Engineering: a Roadmap. In Proc. of the 22nd Int’l Conf. on on Software Engineering, Future of Software Engineering Track
Bashar Nuseibeh and Steve M. Easterbrook. 2000 · 2000
Earlier work this paper cites.
Software Product Lines: Practices and Patterns
Paul C. Clements and Linda Northrop. 2001 · 2001
Earlier work this paper cites.
Evaluating real-time Java for mission-critical large-scale embedded systems. In Proc. of the 9th IEEE Real-Time and Embedded Technology and Applications Symp
D. C. Sharp, E. Pla, K. R. Luecke, and R. J. Hassan. 2003 · 2003
Earlier work this paper cites.
The Goal Structuring Notation–a safety argument notation. In WS on Assurance Cases of Dependable Systems and Networks
Tim Kelly and Rob Weaver. 2004 · 2004
Earlier work this paper cites.
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and Its Potential Impact
Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel. 2005 · 2005
Earlier work this paper cites.
Work in progress: Exploring security and privacy concepts through the development and testing of the iTrust medical records system. In Proc. of the 36th Annual Conf. on Frontiers in Education
Laurie Williams and Yonghee Shin. 2006 · 2006
Earlier work this paper cites.
Flexible and scalable consistency checking on product line variability models. In Proc. of the IEEE/ACM Int’l Conf. on Automated software engineering
Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, and Wolfgang Heider. 2010 · 2010
Earlier work this paper cites.
Detection of Feature Interactions Using Feature-aware Verification. In Proc. of the 2011 26th IEEE/ACM Int’l Conf. on Automated Software Engineering
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. 2011 · 2011
Cited alongside, same era.
Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, 2011]
Nelly Bencomo, Robert B. France, Betty H. C. Cheng, and Uwe Aßmann (Eds.). 2014 · 2011
Cited alongside, same era.
Self-adaptive software needs quantitative verification at runtime
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, and Raffaela Mirandola. 2012 · 2012
Cited alongside, same era.
Studying the Role of Humans in the Traceability Loop
Alex Dekhtyar and Jane Huffman Hayes. 2012 · 2012
Cited alongside, same era.
Assessing requirements-related risks through probabilistic goals and obstacles
Antoine Cailliau and Axel van Lamsweerde. 2013 · 2013
Cited alongside, same era.
Software traceability: trends and future directions. In Proc. of the on Future of Software Engineering
Jane Cleland-Huang, Orlena Gotel, Jane Huffman Hayes, Patrick Mäder, and Andrea Zisman. 2014 · 2014
Later among the works it cites.
Mind the gap: assessing the conformance of software traceability to relevant guidelines. In Proc. of the Int’l Conf. on Software Engineering
Patrick Rempel, Patrick Mäder, Tobias Kuschke, and Jane Cleland-Huang. 2014 · 2014
Later among the works it cites.
An Industrial Survey of Safety Evidence Change Impact Analysis Practice
Jose Luis de la Vara, Markus Borg, Krzysztof Wnuk, and Leon Moonen. 2016 · 2016
Later among the works it cites.
Assessment and cross-product prediction of software product line quality: accounting for reuse across products, over multiple releases
Thomas R. Devine, Katerina Goseva-Popstojanova, Sandeep Krishnan, and Robyn R. Lutz. 2016 · 2016
Later among the works it cites.
Automatic detection of incomplete requirements via symbolic analysis. In Proc. of the ACM/IEEE 19th Int’l Conf. on Model Driven Engineering Languages and Systems
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Using tracelab to design, execute, and baseline empirical requirements engineering experiments. In Proc. of the 21st IEEE Intn’l Requirements Eng. Conf
Jane Cleland-Huang, Adam Czauderna, and Jane Huffman Hayes. 2013 · 2013
Cited alongside, same era.
Software engineering for self-adaptive systems: A second research roadmap
Rogério De Lemos, Holger Giese, Hausi A Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, Norha M Villegas, Thomas Vogel, et al · 2013
Cited alongside, same era.
Compositional verification of a medical device system. In ACM SIGAda Annual Conf. on High integrity language technology
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, and Mats Per Erik Heimdahl. 2013 · 2013
Cited alongside, same era.
Byron DeVries and Betty H. C. Cheng. 2016 · 2016
Later among the works it cites.
The Promise Repository of Empirical Software Engineering Data"
Tim Menzies, R. Krishna, and D. Pryor. 2016 · 2016
Later among the works it cites.
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems. In Proc. of the 12th Int'l Symp. on Software Engineering for Adaptive and Self-Managing Systems
Davi Monteiro Barbosa, Romulo Gadelha De Moura Lima, Paulo Henrique Mendes Maia, and Evilasio Costa. 2017 · 2017
Later among the works it cites.
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. In Proc. of the 21st Int’l Systems and Software Product Line Conf
Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, and Frank Ortmeier. 2017 · 2017
Later among the works it cites.