bloomberg/bqplot: Plotting library for IPython/Jupyter Notebooks https://github.com/bloomberg/bqplot [Online; accessed 25-May-2018] Fuzz typechecker for Z http://spivey.oriel.ox.ac.uk/corner/Fuzz [Online; accessed 25-May-2018] The Haskell 98 Report: Literate Comments https://www.haskell.org/onlinereport/literate.html [Online; accessed 25-May-2018] How to Write Doc Comments for the Javadoc Tool http://www.oracle.com/technetwork/java/javase/documentation/index-137868.html [Online; accessed 25-May-2018] Jupyter Notebook EPTCS Style Exporter https://gitlab.cas.mcmaster.ca/parksj6/pstate-jupyter-eptcs-exporter [Online; accessed 25-May-2018] jupyter-widgets/ipywidgets: Interactive widgets for the Jupyter Notebook https://github.com/jupyter-widgets/ipywidgets [Online; accessed 25-May-2018] jupyterlab/jupyterlab: JupyterLab computational environment https://github.com/jupyterlab/jupyterlab [Online; accessed 25-May-2018] matplotlib/jupyter-matplotlib: Matplotlib Jupyter Extension https://github.com/matplotlib/jupyter-matplotlib [Online; accessed 25-May-2018] A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper) - Source Notebook https://gitlab.cas.mcmaster.ca/lime/pstate-jupyter/blob/master/docs/submission.ipynb [Online; accessed 25-May-2018] Overview of Basic Features - Maple Programming Help https://www.maplesoft.com/support/help/Maple/view.aspx?path=worksheet [Online; accessed 25-May-2018] Project Jupyter http://jupyter.org/ [Online; accessed 25-May-2018] React - A JavaScript library for building user interfaces https://reactjs.org/ [Online; accessed 25-May-2018] Redux https://redux.js.org/ [Online; accessed 25-May-2018] TypeScript - JavaScript that scales https://www.typescriptlang.org/ [Online; accessed 25-May-2018] Ulix OS – The Literate Operating System http://ulixos.org/ [Online; accessed 25-May-2018] Wolfram Language & System Documentation Center http://reference.wolfram.com/language/#NotebookDocumentsAndPresentation [Online; accessed 25-May-2018] Bruno Dutertre 2014 Yices 2.2 Armin Biere Roderick Bloem Computer-Aided Verification (CAV'2014) Lecture Notes in Computer Science 8559 Springer 737–744 10.1007/978-3-319-08867-9_49 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
http://sites.google.com/site/lccretargetablecompiler/
Konstantinos G. Kakoulis Ioannis G. Tollis 1997 An algorithm for labeling edges of hierarchical drawings Giuseppe DiBattista Graph Drawing Springer, Berlin, Heidelberg 169–180 10.1007/3-540-63938-1_60 Andreas Klein 2013 Stream Ciphers Springer
London
10.1007/978-1-4471-5079-4
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. F. Loizides B. Schmidt Positioning and Power in Academic Publishing: Players, Agents and Agendas IOS Press 87–90 10.3233/978-1-61499-649-1-87 Donald E. Knuth 1984 Literate programming Computer Journal 27 2 97–111 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 Ganesh Gopalakrishnan Shaz Qadeer Computer Aided Verification Lecture Notes in Computer Science 6806 Springer 585–591 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
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 Radovan Stojanovi\'c Lech Jóżwiak Budimir Lutovac Embedded Computing (MECO), 2nd Mediterranean Conference on IEEE Press 29–32 10.1109/MECO.2013.6601339 Bojan Nokovic Emil Sekerinski 2014 Verification and Code Generation for Timed Transitions in pCharts Bipin C. Desai C3S2E '14: Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering ACM 3:1–3:10 10.1145/2641483.2641522 Bojan Nokovic Emil Sekerinski 2015 A Holistic Approach in Embedded System Development 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 72–85 10.4204/EPTCS.187.6 http://eptcs.web.cse.unsw.edu.au/paper.cgi?FIDE2015.6 Bojan Nokovic Emil Sekerinski 2015 Model-based WCET Analysis with Invariants 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 1–15 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 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 313–319 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 Anca Molnos Christian Fabre Model-Implementation Fidelity in Cyber Physical System Design Springer International Publishing 175–199 10.1007/978-3-319-47307-9_7 Emil Sekerinski 2009 Design Verification with State Invariants Kevin Lano UML 2 Semantics and Applications John Wiley & Sons 317–347 10.1002/9780470522622 http://onlinelibrary.wiley.com/doi/10.1002/9780470522622.ch13/summary