Karl J. Åström & Björn Wittenmark (2013):
Adaptive Control,
2nd edition,
Dover Books on Electrical Engineering.
Dover Publications.
Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber & Joseph Sifakis (2016):
A general framework for architecture composability.
Formal Aspects of Computing 28(2),
pp. 207–231,
doi:10.1007/s00165-015-0349-8.
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen & Joseph Sifakis (2011):
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Software 28(3),
pp. 41–48,
doi:10.1109/MS.2011.27.
Simon Bliudze, Sébastien Furic, Joseph Sifakis & Antoine Viel (2017):
Rigorous design of cyber-physical systems.
Software & Systems Modeling,
pp. 1–24,
doi:10.1007/s10270-017-0642-5.
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith & Josef Widder (2015):
Decidability of Parameterized Verification.
Synthesis Lectures on Distributed Computing Theory.
Morgan & Claypool Publishers,
doi:10.2200/S00658ED1V01Y201508DCT013.
Vinton G. Cerf (2017):
Take Two Aspirin and Call Me in the Morning.
Commun. ACM 60(9),
pp. 6–6,
doi:10.1145/3130331.
Edmund M. Clarke, E. Allen Emerson & Joseph Sifakis (2009):
Model Checking: Algorithmic Verification and Debugging.
Commun. ACM 52(11),
pp. 74–84,
doi:10.1145/1592761.1592781.
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley & Joseph Sifakis (2005):
QoS Control for Optimality and Safety.
In: Proceedings of the 5th ACM International Conference on Embedded Software,
EMSOFT '05.
ACM,
New York, NY, USA,
pp. 90–99,
doi:10.1145/1086228.1086247.
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis & Loïc Strus (2008):
Symbolic quality control for multimedia applications.
Real-Time Systems 40(1),
pp. 1–43,
doi:10.1007/s11241-008-9049-2.
Richard A. De Millo, Richard J. Lipton & Alan J. Perlis (1979):
Social Processes and Proofs of Theorems and Programs.
Commun. ACM 22(5),
pp. 271–280,
doi:10.1145/359104.359106.
Rocco De Nicola, Alessandro Maggi & Joseph Sifakis (2018):
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper).
ArXiv e-prints arXiv:1805.03724 [cs:FL].
Available at https://arxiv.org/abs/1805.03724.
Rim El Ballouli, Saddek Bensalem, Marius Bozga & Joseph Sifakis (2018):
DR-BIPProgramming Dynamic Reconfigurable Systems.
Technical Report TR-2018-3.
Verimag Research Report.
Darrell Etherington (2018):
Uber self-driving test car involved in accident resulting in pedestrian death.
TechCrunch article.
Available at http://tcrn.ch/2GJjrYT.
[Online; accessed 03-June-2018].
Steven M. German & A. Prasad Sistla (1992):
Reasoning About Systems with Many Processes.
J. ACM 39(3),
pp. 675–735,
doi:10.1145/146637.146681.
Samuel Greengard (2016):
Cybersecurity Gets Smart.
Commun. ACM 59(5),
pp. 29–31,
doi:10.1145/2898969.
Nicolas Halbwachs (1993):
Synchronous Programming of Reactive Systems.
Springer, Boston, MA,
doi:10.1007/978-1-4757-2231-4.
Ivar Jacobson & Ed Seidewitz (2014):
A New Software Engineering.
Commun. ACM 57(12),
pp. 49–54,
doi:10.1145/2677034.
Nidhi Kalra & Susan M. Paddock (2016):
Driving to Safety: How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability?.
Technical Report RR-1478-RC.
RAND Corporation,
Santa Monica, Calif.,
doi:10.7249/RR1478.
Available at https://www.rand.org/pubs/research_reports/RR1478.html.
[Online; accessed 03-June-2018].
Timothy B. Lee (2018):
Intel's Mobileye wants to dominate driverless carsbut there's a problem.
Ars Technica article.
Available at https://arstechnica.com/?post_type=post&p=1310863.
[Online; accessed 03-June-2018].
Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione & Antony Tang (2013):
What Industry Needs from Architectural Languages: A Survey.
IEEE Transactions on Software Engineering 39(6),
pp. 869–891,
doi:10.1109/TSE.2012.74.
National Highway Traffic Safety Administration (2016):
Federal Automated Vehicles Policy, Accelerating the Next Revolution In Roadway Safety.
United States Department of Transportation,
Washington, D.C., United States.
Available at http://www.safetyresearch.net/Library/Federal_Automated_Vehicles_Policy.pdf.
Alfred Ng (2018):
Google, Microsoft find another Spectre, Meltdown flaw.
CNET article.
Available at https://cnet.co/2kfledW.
[Online; accessed 03-June-2018].
Shai Shalev-Shwartz, Shaked Shammah & Amnon Shashua (2017):
On a Formal Model of Safe and Scalable Self-driving Cars.
ArXiv e-prints arXiv:1708.06374v2 [cs.RO].
Available at https://arxiv.org/abs/1708.06374v2.
Joseph Sifakis (2013):
Rigorous System Design.
Foundations and Trendsin Electronic Design Automation 6(4),
pp. 293–362,
doi:10.1561/1000000034.
Joseph Sifakis (2015):
System Design Automation: Challenges and Limitations.
Proceedings of the IEEE 103(11),
pp. 2093–2103,
doi:10.1109/JPROC.2015.2484060.
Stefanos Skalistis & Alena Simalatsar (2017):
Near-optimal deployment of dataflow applications on many-core platforms with real-time guarantees.
In: Design, Automation and Test in Europe Conference Exhibition (DATE), 2017,
pp. 752–757,
doi:10.23919/DATE.2017.7927090.
David A. Watt, Brian A. Wichmann & William Findlay (1987):
Ada Language and Methodology.
Prentice Hall International (UK) Ltd.,
Hertfordshire, UK.
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat & Per Stenström (2008):
The Worst-case Execution-time ProblemOverview of Methods and Survey of Tools.
ACM Trans. Embed. Comput. Syst. 7(3),
pp. 36:1–36:53,
doi:10.1145/1347375.1347389.
Ali Zolghadri (2012):
Advanced model-based FDIR techniques for aerospace systems: Today challenges and opportunities.
Progress in Aerospace Sciences 53,
pp. 18–29,
doi:10.1016/j.paerosci.2012.02.004.