D3S Seminar – Department Meeting

The D3S Seminar is a regular meeting event of the department members and guest speakers. It is also a regular course Advanced Topics in Distributed and Component-Based Systems I, II (NSWI057, NSWI058). This course is recommended for Ph.D. and advanced graduate students.

Regular meetings take place on Tuesdays at 14:00 in S11 and Wednesdays at 9:00 in S5 (if not noted otherwise in the schedule below).

We recommend subscribing to the seminar mailing list to receive announcements on special seminars, schedule updates and other important news.

Scheduled Seminars

2017-02-22 09:00 in S5: Tutorial on formal methods II.

Jan Kofroň

abstract to be announced

2017-02-28 14:00 in S11: MutRex: a mutation-based generator of fault detecting strings for regular expressions

Paolo Arcaini

Regular expressions permit to describe set of strings using a pattern-based syntax. Writing a correct regex that exactly captures the desired set of strings is difficult, also because a regex is seldom syntactically incorrect, and so it is rare to detect faults at parse time. We propose a fault-based approach for generating tests for regexes. We identify fault classes representing possible mistakes a user can make when writing a regex, and we introduce the notion of distinguishing string, i.e., a string that is able to witness a fault. We provide a tool, based on the automata representation of regexes, for generating distinguishing strings exposing the faults introduced in mutated versions of a regex under test. The basic generation process is improved by two techniques, namely monitoring and collecting. Experiments show that the approach produces compact test suites having a guaranteed fault detection capability, differently from other test generation approaches.

2017-03-14 14:00 in S11: Context-sensitive XSS

Antonín Steinhauser

Cross-site scripting bugs are not always caused by missing sanitization of user inputs. Sometimes the inputs are sanitized, but the sanitization is incompatible with output context of the sanitized value. That can leave the application vulnerable as if no sanitization was used, but it's impossible to discover these bugs with traditional taint tracking. We propose an extension of dynamic taint tracking for web applications that can successfully discover these context-sensitive cross-site scripting bugs.

2017-05-16 14:00 in S11: topic to be announced

Rima Al Ali

abstract to be announced

Past Seminars (one year back)

You can also view a verbose list of all past seminars.

Date Title Speaker(s) Details
2017-01-10 Tutorial on performance evaluation: comparing alternatives Vojtěch Horký
2016-12-21 Property-directed Symbolic Model Checking of Safety Properties Jakub Daniel
2016-12-14 Atos training course Steffen Becker
(TU Chemnitz)
2016-12-13 Time Series Analysis to Architecture Modes in Smart Cyber Physical Systems Rima Al Ali
2016-12-06 Abstract Interpretation of Programs with Strings Vlastimil Dort
2016-11-22 Partial Variable Assignment Interpolants Martin Blicha
2016-11-16 Overview of the RoboCup Rescue Simulation challenge Jiří Vinárek
2016-11-15 gRPC - A solution for RPCs by Google Jan Tattermusch
2016-11-09 Tutorial on performance evaluation experiments in managed environments Petr Tůma
2016-11-01 Tutorial on formal methods I. Jan Kofroň
2016-10-25 Automated ensemble formation based on high-level DSL description and domain data Filip Krijt
2016-10-19 Nagini: Verifying Python Programs in Viper Marco Eilers
(ETH Zürich)
2016-10-19 Viper - A Verification Infrastructure for Permission-based Reasoning Malte Schwerhoff
(ETH Zürich)
2016-10-05 News in Java Petr Hnětynka
2016-06-28 String Analysis for Code Contracts Vlastimil Dort
2016-06-22 Narrowing the Uncertainty Gap between Software Models and Performance Results Catia Trubiani
(GSSI, Italy)
2016-06-14 Self-Adaptive Software Systems Danny Weyns
(Katholieke Universiteit Leuven and Linnaeus University Sweden)
2016-06-01 Processes of Software Development and Maintenance Václav Rajlich
(Wayne State University, US)
2016-05-31 Autonomous Agent Behaviour Modelled in PRISM Ruth Hoffmann
(University of Glasgow, UK)
2016-05-24 SMT-based automatic proof of ASM model refinement Paolo Arcaini
2016-05-04 Benchmarking Dependability of Virtual and Cloud Environments Samuel Kounev
2016-04-26 Engineering Scalable Cloud Systems Steffen Becker
(TU Chemnitz, Germany)
2016-04-13 Report on paper: Ironclad Apps: End-to-End Security via Automated Full-System Verification Isidoro Grisanti
2016-04-12 Rules selection & Robot Soccer Strategies Václav Svatoň
(Technical University of Ostrava)
2016-03-29 Automatic Detection and Removal of Conformance Faults in Feature Models Paolo Arcaini
2016-03-23 Statistical Approach to Architecture Modes in Smart Cyber Physical Systems Rima Al Ali
2016-03-22 Performance Awareness and Experimental Evaluation in Computer Science Petr Tůma
2016-03-15 Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems (Rehearsal talk) Jiří Vinárek
2016-03-08 Architecture Homeostasis in siCPS Dominik Škoda
2016-03-02 Truffle Development Updates Jaroslav Tulach
2016-03-01 ROS simulations Vladimír Matěna
2016-02-24 Checking LTL properties of infinite-state systems via reduction to safety Jakub Daniel
2016-02-23 Analysis of Overhead in Dynamic Java Performance Monitoring Vojtěch Horký
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  • How to find us?
Modified on 2016-05-04