Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

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

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

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

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

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

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

How Easy is Code Equivalence over GF (q)? Dimitris E. Simos (joint work with Nicolas Sendrier) Project-Team SECRET INRIA Paris-Rocquencourt

Source URL: webmath.univ-rennes1.fr

Post-Quantum CryptographyList of Accepted Papers 1. The Hardness of Code Equivalence over Fq and its Application to Code-based Cryptography Nicolas Sendrier and Dimitris E. Simos

Source URL: pqcrypto2013.xlim.fr

Scientific Report First name / Family name Dr. Dimitrios Simos

Source URL: fellowship.ercim.eu

• Cryptography
• Mathematics
• Applied mathematics
• Post-quantum cryptography
• Finite fields
• Linear code
• Coding theory
• Cryptanalysis
• Hadamard matrix
• Cipher

Scientific Report First name / Family name Dr. Dimitrios Simos

Source URL: fellowship.ercim.eu

• Cryptography
• Computing
• Security
• Engineering
• SimOS
• Computer science
• Software testing
• Institute for Applied Information Processing and Communications
• International Conference on Availability
• Reliability and Security
• Computer security
• Post-quantum cryptography

Customer Success Simics and Nasa IVV

Source URL: www.windriver.com

• Debuggers
• Simics
• Wind River Systems
• Simulation
• Logic simulation
• Application software
• Virtutech
• SimOS
• System software
• Software
• Simulation software

AWRI Grape and Wine Roadshow Langhorne Creek & Adelaide Hills Seminar Tuesday, 26 May, 2015 9:00 am – 4:00 pm Langhorne Creek Bowling Club, Sports Oval, Murray Road, Langhorne Creek

Source URL: www.grapeandwineevents.com.au

• Australian wine
• SimOS
• Fleurieu Peninsula
• Langhorne Creek
• South Australia
• Australian Wine Research Institute

CORONERS ACT, 2003 SOUTH AUSTRALIA

Source URL: www.courts.sa.gov.au

• SimOS
• Simulation software
• Lyell McEwin Hospital