HOME

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
summerschool2018:lecture9 [2018/04/25 17:29]
nour.assy
summerschool2018:lecture9 [2018/04/25 23:33]
nour.assy
Line 1: Line 1:
-==== Jaco van de Pol & Arnd Hartmanns, University ​of Twentethe Netherlands ​====+==== Holger HermannsSaarland ​University, ​Germany ​====
  
 ---- ----
- 
 \\ \\
  
-<​WRAP ​justify> +<​WRAP ​JUSTIFY
- +| [[https://depend.cs.uni-saarland.de/~hermanns/|{{ :​summerschool2018:​holger-hermanns.jpg?​direct&​200 }}]] |
-| [[http://wwwhome.cs.utwente.nl/~vdpol/|{{ :​summerschool2018:​jaco-vdpol.jpg?​direct&​200 }}]] | [[http://​arnd.hartmanns.name/|{{ :​summerschool2018:​arnd-hartmanns.jpg?​direct&​200 }}]] |+
  
 \\ \\ \\ \\
Line 15: Line 13:
 \\ \\ \\ \\
  
-**Title**: ​TBA+**Title**: ​Quantitative Modelling -- From Fiji to Earth Orbit
  
 \\ \\ \\ \\
  
-**Abstract**: ​TBA+**Abstract**: ​Performance,​ dependability,​ and security are notoriously difficult to get right at system design time. Yet, design decisions are known to be the prime source of difficult-to-fix embedded problems. For low budget or experimental designs it might suffice to perform some back-of the-envelope calculations,​ a few component measurements,​ a bit of spreadsheeting,​ maybe a rough Matlab model. But for mission critical or high volume applications deeper quantitative evaluations are needed early in the design process. This presentation will discuss a modest approach to deriving design-time guarantees for complex data driven behaviours, leveraging foundational insights to practical problems. The approach revolves around the stochastic timed automata formalism, and is supported by a portfolio of quantitative model checking techniques and tools. This modest approach is exemplified in the context of different power-aware embedded applications,​ ranging from stability studies of electric power grids in Europe compared to the South Pacific, to the interoperability of components in light electric vehicles, to the control of nano-satellites in low-earth orbit.
  
 \\ \\ \\ \\
  
-**Short bio**: **[[http://wwwhome.cs.utwente.nl/~vdpol/|Jaco van de Pol]]** studied Computer Science ​at Utrecht ​University, ​and received his PhD from the Faculty of Philosophy in Utrecht (1996) on Termination of Higher-order Rewrite ​Systems. ​After positions at the LMU MunichTU/​Eindhoven and CWI Amsterdam, he became full professor in Formal Methods and Tools at the University ​of Twente, being Head of the CS Department from 2014-2017. He was tool chair of TACAS 2015, and he is in the editorial board of the journals ​ SCP and STTTHe was invited professor at the lab LIPN of Université Paris 13, both in 2016 and in 2017. His research interests include symbolic methods and parallel algorithms for verification and testing. Recent achievements are in scalable multi-core NDFS and multi-core SCC algorithms, and in multi-core Decision Diagram data-structures. These high-performance and/or symbolic algorithms are implemented in the LTSmin toolset, which won several prizes. The algorithms are available through a high-level API to multiple modelling formalisms, like Timed Automata (Uppaal), Promela (SPIN), Petri-Nets (PNML), Process Algebras (mCRL2), DiVinE, and B CSP (ProB). He applied verification technology in projects on railway interlockings,​ energy aware scheduling, biological signalling networks, and socio-technical security models.+**Short bio**: **[[https://depend.cs.uni-saarland.de/~hermanns/|Holger Hermanns]]** is a full professor in computer science ​at Saarland ​University ​in Germanyheading ​the Dependable ​Systems ​and Software groupFrom April 2004 to March 2006Holger Hermanns has served as Dean of Studies ​of the Faculty ​of Mathematics and Computer Science, and has served as its Dean from April 2010 to March 2012. Afterwards ​he did his best to serve as Dean of Hearts. Holger Hermanns ​is elected member ​of Academia EuropaeaIn 2016 he got awarded an ERC Advanced Grant.
  
-\\+</​WRAP>​
  
-**[[http://​arnd.hartmanns.name/​|Arnd Hartmanns]]** is an assistant professor in the Formal Methods and Tools group at the University of Twente. His primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems (in particular Modest) and their applications in various fields. Arnd was previously a postdoc in the Formal Methods and Tools group at the University of Twente and the Dependable Systems and Software group at Saarland University, where he also completed his Ph.D. in computer science with a thesis On the Analysis of Stochastic Timed Systems in 2015. 
-</​WRAP>​ 
 \\ \\
 \\ \\
Line 34: Line 30:
 ---- ----
 |  [[https://​www.tue.nl/​|{{ :​bsr-ws2016:​tue.png?​75 }}]]  |  [[http://​tudelft.nl/​en/​|{{ :​bsr-ws2016:​tud.png?​100 }}]]  |  [[https://​www.utwente.nl/​en/​|{{ :​bsr-ws2016:​ut.png?​110 }}]]  |  [[https://​www.3tu.nl/​nirict/​en/​|{{ :​3tu-bsr:​nirict.jpg?​110 }}]]  | |  [[https://​www.tue.nl/​|{{ :​bsr-ws2016:​tue.png?​75 }}]]  |  [[http://​tudelft.nl/​en/​|{{ :​bsr-ws2016:​tud.png?​100 }}]]  |  [[https://​www.utwente.nl/​en/​|{{ :​bsr-ws2016:​ut.png?​110 }}]]  |  [[https://​www.3tu.nl/​nirict/​en/​|{{ :​3tu-bsr:​nirict.jpg?​110 }}]]  |
- 
-