This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS 1 On Perception an

Source URL: www.lenders.ch

• Aviation
• Avionics
• Transport
• Human behavior
• Air traffic control
• Aircraft instruments
• Aviation safety
• Aviation law
• Controllerpilot data link communications
• Automatic dependent surveillance broadcast
• Aviation communication
• Airport

Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems

Source URL: dream.inf.ed.ac.uk

• Abstract data types
• Queue
• Double-ended queue
• Dequeue
• Statistical theory
• Probability and statistics
• Economy

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

Source URL: cgi.csc.liv.ac.uk

• Software engineering
• Java Pathfinder
• Computer programming
• Computing
• Const
• Obfuscation
• Assembly languages
• Programming language syntax
• Java
• P-code machine

Constructing Plan Trees for Simulated Penetration Testing Dorin Shmaryahu Information Systems Engineering Ben Gurion University Israel

Source URL: icaps16.icaps-conference.org

• Security engineering
• Mathematics
• Computing
• Dynamic programming
• Partially observable Markov decision process
• Stochastic control
• Theoretical computer science
• Heuristic
• Automated planning and scheduling
• Shortest path problem
• Mathematical optimization
• Computer security

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• RungeKutta methods
• Mathematical analysis
• Numerical analysis
• Mathematics
• Differential calculus
• Euler method
• Stiff equation
• Numerical integration
• Truncation error
• BogackiShampine method
• Affine arithmetic
• Integral

Automatic Verification of Real-Time Systems with Rich Data Ernst-Rudiger ¨ Olderog

Source URL: www.avacs.org

• Avionics
• Aircraft collision avoidance systems
• Warning systems
• Traffic collision avoidance system
• European Train Control System
• Carrier-sense multiple access with collision avoidance
• Communicating sequential processes
• Real-time strategy
• Transport
• Safety
• Technology

Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Control theory
• Applied mathematics
• Systems science
• Mathematics

Protecting Bare-metal Embedded Systems With Privilege Overlays Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗ Pur

Source URL: www.ieee-security.org

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’18) Errata Slip In the paper “Exploiting a Natural Network Effect for Scalable, Fine-grained Clock Synchronization” by

Source URL: www.usenix.org

• Synchronization
• Clock synchronization
• Clocks
• Granularity
• Fairness measure
• Clock signal

How the level of global warming affects impacts and/or risks associated with the Reasons for Concern (RFCs) and selected natural, managed and human systems Five Reasons For Concern (RFCs) illustrate the impacts and risks

Source URL: ipcc.ch

• Climatology
• Climate change
• Physical geography
• Effects of global warming
• Reasons for concern
• Global warming