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