Joined September 2017
- Tweets 41
- Following 28
- Followers 20
- Likes 0
24 Photos and videos
22 Jun 2018
#spin_2018 And the best paper award goes to..."Star-Topology Decoupling in Spin". Congratulations to the authors!
4
10
22 Jun 2018
#spin_2018 Irina Mariuca Asavoae presenting "Context-Updates Analysis and Refinement in Chisel"
22 Jun 2018
#spin_2018 Youngmin Kwon presenting "Quantitative model checking for a controller design"
1
22 Jun 2018
#spin_2018 Lei Bu presenting "Genetic Synthesis of Concurrent Code using model checking and statistically model checking" x.com/SPIN_2018/status/10101…
1
22 Jun 2018
#spin_2018 H. Singh presenting "From SysML to Model Checkers via Model Transformation"
1
3
22 Jun 2018
#spin_2018 Tamas Tóth presenting "Lazy reachability checking for timed automata with discrete variables"
1
4
22 Jun 2018
#spin_2018 Mark Reynolds presents "A comparative study of decision diagrams for real-time model checking"
1
22 Jun 2018
#spin_2018 Yesterday Laura Panizo and Bruno Gracia did a demo of the TRIANGLE testbed extended with model-based testing
2
5
22 Jun 2018
#spin_2018 T. Abe is presenting "Local Data Race Freedom with Non-multi-Copy Atomicity"
1
2
22 Jun 2018
#spin_2018 The last invited talk "Program Verification with separation logic" by Radu Iosif
1
2
21 Jun 2018
#spin_2018 "Control strategies for off-line testing of timed systems" presented by Léo Henry
1
2
21 Jun 2018
#Spin_2018 the 2nd invited talk of the day. Rémi Delmas presents "Applying formal methods to flight control software"
1
2
21 Jun 2018
#spin_2018 T. Lange is presenting the work "Improving Generalization in Software IC3"
1
2
