University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

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

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

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

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

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

• Computer memory
• Computer data storage
• Embedded Linux
• Data management
• Computing
• Non-volatile memory
• Flash file system
• Flash memory
• Data
• UBIFS
• File system
• JFFS2

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Distributed computing
• Benchmark
• Standard Performance Evaluation Corporation
• Data center
• Kunle Olukotun
• Christos Kozyrakis

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

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system