RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

Source URL: www.eziobartocci.com

• Theoretical computer science
• Helmut Veith
• Formal methods
• TU Wien
• Institute for Applied Information Processing and Communications
• Software engineering
• Verification
• Formal verification
• Computing

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

Source URL: cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

AerieTM 24 Clutch Teradactyl® makes complex large department backup of heterogeneous environments easy to protect with a simple 4U rack mounted appliance. Operating systems, file systems, and network attached storage a

Source URL: www.teradactyl.com

• Backup software
• System software
• Utility software
• Computing
• Backup
• Incremental backup
• NetApp
• Veeam Backup & Replication
• Backup Exec

Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Non-volatile memory
• Computer memory
• Computer architecture
• Flash memory
• Wear leveling
• Solid-state drive
• Flash file system
• Dd
• Page

Computer Science_BS_Information Systems.pdf

Source URL: catalog.southernct.edu

• Course
• Curricula

NuCypher: A proxy re-encryption network to empower privacy in decentralized systems Michael Egorov,∗ David Nuñez,† and MacLane Wilkison‡ NuCypher (Dated: June 19, 2018) NuCypher is a decentralized Key Management S

Source URL: www.nucypher.com

• Cryptography
• Public-key cryptography
• Key management
• Public key infrastructure
• Proxy re-encryption
• Identity-based cryptography
• Encryption
• Symmetric-key algorithm
• Key generation
• Integrated Encryption Scheme
• Hybrid cryptosystem
• Cipher

March 8, 2018 Ms. Lynn Hemmings Senior Chief, Pensions, Financial Systems Division Finance Canada 90 Elgin Street Ottawa ON K1A 0G5

Source URL: www.acpm.com

Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen

Source URL: www.cs.ox.ac.uk

• Estimation theory
• Probability and statistics
• Statistics
• Graph theory
• Markov chain
• Parameter
• Machine learning
• Probability distribution fitting
• Parametric model
• Twisting properties

Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen

Source URL: www.tik.ee.ethz.ch

• Electrical engineering
• Network flow problem
• Clock synchronization
• Clocks
• Synchronization
• Distributed computing
• Clock skew
• Time-Triggered Protocol
• Distributed algorithm
• Flow network
• Physics
• Electromagnetism

AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinator

Source URL: www.avacs.org

• Systems science
• Design for X
• Engineering
• University of Freiburg
• System of systems
• Systems engineering
• Systems theory
• Reliability engineering