RALib: A LearnLib extension for inferring EFSMs Sofia Cassel Falk Howar Bengt Jonsson

Source URL: www.falkhowar.de

• Formal languages
• Finite-state machine
• Algorithm
• Regular expression
• Mathematics
• Machine learning
• Computer programming
• Philosophy of mathematics

Cyclic Dependencies in Modular Performance Analysis Bengt Jonsson Computer Engineering and Networks Lab. ETH Zurich, Switzerland

Source URL: user.it.uu.se

RALib: A LearnLib extension for inferring EFSMs Sofia Cassel Falk Howar Bengt Jonsson

Source URL: www.faculty.ece.vt.edu

Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson

Source URL: user.it.uu.se

• Theoretical computer science
• Algorithm
• Mathematical logic
• Mathematics
• ReedSolomon error correction
• Discrete mathematics
• Formal methods

Protokoll ViS styrelsemöte 22 mars 2011 i Linköping (nr 1) Närvarande: Katharina Sjögren Edström, Lars Skärgren, Hans Melén, Elisabeth Andreasson, Thomas Norgren, Owe Liedgren, Bengt Jönsson, Jonas Jonsson, Carol

Source URL: www.visnet.se

Protokoll Årsmöte ViS, Folkets hus i Stockholm Närvarande: Bo-Göran Dahlberg, Mölndal; Ronny Spångberg, Nordanstig; Kajsa Pösö, Luleå; Bengt Jönsson, Södertälje; Thomas Norgren, Söderh

Source URL: www.visnet.se

Protokoll vid styrelsemöte 5-6 december 2012 i Stockholm Närvarande: Jonas Jonsson (5 december och förmiddagen 6 december), Hans Melén, Lotta Sandin, Tarja Suominen (5 december), Bengt Jönsson, Ronny Spångberg (fm

Source URL: www.visnet.se

Protokoll styrelsemöte 9 december 2014 i Stockholm Närvarande: Elisabeth Andreasson, Katharina Sjögren Edström, Bengt Jönsson, Jonas Jonsson, Staffan Ström, Hans Melén, Lotta Sandin, Caroline Waldenström 1. Möt

Source URL: www.visnet.se

Protokoll styrelsemöte onsdag 18 april på Lernia i Stockholm Närvarande: Jonas Jonsson, Katharina Sjögren Edström (halva mötet), Tomas Stens, Elisabeth Andreasson, Bengt Jönsson (till kl 14), Tarja Suominen (halva

Source URL: www.visnet.se

Protokoll styrelsens strategimöte 14 – 15 juni i Stockholm Närvarande: Jonas Jonsson, Bengt Jönsson, Caroline Waldenström, Hans Melén (dag ett), Tomas Stens (dag ett), Ronny Spångberg (dag två), Tarja Suominen (

Source URL: www.visnet.se