Bruno Dutertre (2014):
Yices 2.2.
In: Armin Biere & Roderick Bloem: Computer-Aided Verification (CAV'2014),
Lecture Notes in Computer Science 8559.
Springer,
pp. 737–744,
doi:10.1007/978-3-319-08867-9_49.
Available at http://yices.csl.sri.com/.
Christopher W. Fraser & David R. Hanson (1995):
A Retargetable C Compiler: Design and Implementation.
Addison-Wesley Longman Publishing Co., Inc.,
Boston, MA, USA.
Available at http://sites.google.com/site/lccretargetablecompiler/.
Konstantinos G. Kakoulis & Ioannis G. Tollis (1997):
An algorithm for labeling edges of hierarchical drawings.
In: Giuseppe DiBattista: Graph Drawing.
Springer, Berlin, Heidelberg,
pp. 169–180,
doi:10.1007/3-540-63938-1_60.
Thomas Kluyver, Benjamin Ragan-Kelley, Fernando Pérez, Brian E Granger, Matthias Bussonnier, Jonathan Frederic, Kyle Kelley, Jessica B Hamrick, Jason Grout & Sylvain Corlay (2016):
Jupyter Notebooks-a publishing format for reproducible computational workflows..
In: F. Loizides & B. Schmidt: Positioning and Power in Academic Publishing: Players, Agents and Agendas.
IOS Press,
pp. 87–90,
doi:10.3233/978-1-61499-649-1-87.
Donald E. Knuth (1984):
Literate programming.
Computer Journal 27(2),
pp. 97–111,
doi:10.1093/comjnl/27.2.97.
Donald E. Knuth (1986):
Computers and Typesetting Volume B: TeX: The Program.
Addison-Wesley Professional.
Marta Kwiatkowska, Gethin Norman & David Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-Time Systems.
In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification,
Lecture Notes in Computer Science 6806.
Springer,
pp. 585–591,
doi:10.1007/978-3-642-22110-1_47.
Nedialko S. Nedialkov (2006):
VNODE-LP — A Validated Solver for Initial Value Problems in Ordinary Differential Equations.
Technical Report CAS-06-06-NN.
Department of Computing and Software, McMaster University,
Hamilton, Ontario, Canada.
Available at http://www.cas.mcmaster.ca/~nedialk/vnodelp/doc/vnode.pdf.
Bojan Nokovic (2016):
Verification and Implementation of Embedded Systems from High-Level Models.
Ph.D. Thesis.
McMaster University,
Hamilton, Ontario, Canada.
Bojan Nokovic & Emil Sekerinski (2013):
pState: A Probabilistic Statecharts Translator.
In: Radovan Stojanovi\'c, Lech Jóżwiak & Budimir Lutovac: Embedded Computing (MECO), 2nd Mediterranean Conference on.
IEEE Press,
pp. 29–32,
doi:10.1109/MECO.2013.6601339.
Bojan Nokovic & Emil Sekerinski (2014):
Verification and Code Generation for Timed Transitions in pCharts.
In: Bipin C. Desai: C3S2E '14: Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering.
ACM,
pp. 3:1–3:10,
doi:10.1145/2641483.2641522.
Bojan Nokovic & Emil Sekerinski (2015):
A Holistic Approach in Embedded System Development.
In: Catherine Dubois, Paolo Masci & Dominique Méry: Proceedings Second International Workshop on Formal Integrated Development Environment,
Electronic Proceedings in Theoretical Computer Science 187.
Open Publishing Association,
pp. 72–85,
doi:10.4204/EPTCS.187.6.
Available at http://eptcs.web.cse.unsw.edu.au/paper.cgi?FIDE2015.6.
Bojan Nokovic & Emil Sekerinski (2015):
Model-based WCET Analysis with Invariants.
In: Gudmund Grov & Andrew Ireland: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, AVoCS 2015,
Electronic Communications of the EASST 72.
European Association of Software Science and Technology,
pp. 1–15,
doi:10.14279/tuj.eceasst.72.1026.
Bojan Nokovic & Emil Sekerinski (2016):
Automatic Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring.
In: Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360^2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II.
Springer International Publishing,
pp. 313–319,
doi:10.1007/978-3-319-47075-7_35.
Bojan Nokovic & Emil Sekerinski (2017):
Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application.
In: Anca Molnos & Christian Fabre: Model-Implementation Fidelity in Cyber Physical System Design.
Springer International Publishing,
pp. 175–199,
doi:10.1007/978-3-319-47307-9_7.