| Tuesday, 2013-05-14 |
Learning in Graphical Congestion Games with Applications to Content Replication and Caching |
György Dán , Associate Professor, KTH |
| Wednesday, 2013-05-08 |
Model checking of data word |
Aiswarya Cyriac |
| Thursday, 2013-04-18 |
Automata Learning for Register Automata |
Sofia Cassel
|
| Thursday, 2013-04-11 |
Symbolic Model Checking in Multi-formalism Modelling Environments |
Kai Lampka |
| Thursday, 2013-03-14 |
Temporal Logics on Words with Multiple Data Values |
Ahmet Kara, TU Dortmund |
| Tuesday, 2013-02-21 |
Automata Minimization and Language Inclusion Checking |
Richard Mayr |
| Monday, 2013-02-18 |
Sentential Decision Diagrams |
Adnan Darwiche , UCLA |
| Monday, 2013-02-11 |
Task Scheduling using Joelle's Effects |
Stephan Brandauer |
| Monday, 2013-01-28 |
Tracking information flow in web applications |
Andrei Sabelfeld, Chalmers |
| Friday, 2012-12-21 |
Ph.D. Thesis Defence |
David Eklöv
|
| Friday, 2012-12-21 |
Lic. Thesis Defence |
Andreas Sembrant |
| Thursday, 2012-12-20 |
Portable, Scalable, per-Core Power Estimation for Intelligent Resource Management |
Sally McKee, Chalmers University |
| Thursday, 2012-12-20 |
Multi-Core Design and Optimization through Mechanistic Analytical Modeling |
Lieven Eeckhout, Ghent University |
| Thursday, 2012-12-20 |
Learning Cache Models by Measurements |
Jan Reineke, Saarland University |
| Monday, 2012-11-26 |
Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker |
Nosheen Zaza |
| Thurssday, 2012-11-15 |
Checking Weak Simulation for One-Counter Nets
|
Patrick Totzke , University of Edinburgh |
| Thursday, 2012-11-15 |
Licenciate Seminar: Extending Psi-calculi and their Formal Proofs
|
Palle Raabjerg |
| Friday, 2012-11-09 |
Aspects of Value-Based and Strategic Software and Systems Engineering Research |
Anca-Juliana Stoica |
| Wednesday, 2012-11-07 |
Interpolation and Horn Clauses |
Hossein Hojjat , EPFL Lausanne |
| Thursday, 2012-10-25 |
Verification and Fence Insertion under the TSO Memory Model
|
Carl Leonardsson |
| Thursday, 2012-10-18 |
Stream Programming for Distributed Systems
|
Andrew Santosa, University of Sydney |
| Thursday, 2012-10-11 |
Nuclear Safety Needs Computer Science Research
|
Pavel Krcal |
| Thursday, 2012-06-14 |
Understanding the Impact of Denial of Service Attacks on Virtual Machines |
Ryan Shea (Simon Fraser University, Canada) |
| Wednesday, 2012-05-30 |
Structured Aliasing |
Tobias Wrigstad |
| Wednesday, 2012-05-16 |
Charge! and Kopitiam
Efficient verification of Java-programs using higher-order separation logic in Coq. |
Jesper Bengtson |
| Thursday, 2012-04-26 |
Test generation for LTE functionality |
Olga Grinchtein |
| Tuesday, 2012-04-24 |
Taming Past LTL and Flat Counter Systems |
Arnaud Sangnier , University Paris Diderot- Paris 7, France |
| Thursday, 2012-03-22 |
The pi-calculus: origin and recent developments |
Joachim Parrow |
| Thursday, 2012-03-01 |
Scheduling of mixed-criticality real-time systems |
Pontus Ekberg |
| Thursday, 2012-02-23 |
X-ray lasers and computational nightmares |
Prof. Janos Hajdu,
Laboratory of Molecular Biophysics,
Department of Cell and Molecular Biology |
| Thursday, 2012-02-09 |
ongoing work in probabilistic programming |
Johannes Borgström |
| Thursday, 2011-12-08 |
Analytics of Social Sensing |
Prof. Tarek Abdelzaher ,
University of Illinois at Urbana Champaign |
| Tuesday, 2011-12-13 |
Encoding Synchrony |
Kirstin Peters |
| Thursday, 2011-12-01 |
Solving Scheduling Problems from High-Level Models |
Jean-Noël Monette |
| Thursday, 2011-11-24 |
Deciding Robustness against Total Store Ordering |
Roland Meyer |
| Thursday, 2011-11-10 |
Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata |
Ondrej Lengal |
| Thursday, 2011-10-27 |
Efficient Software-based Online Phase Classification |
Andreas Sembrant |
| Wednesday, 2011-10-05 |
Carrying Probabilistic Reasoning to the Infinite World: On the Verification of Infinite-State Markov Chains |
Parosh Abdulla |
| Thursday, 2011-09-29 |
A Succinct Canonical Register Automaton Model |
Sofia M. Cassel |
Tuesday, 2011-09-20
and Thursday, 2011-09-22 |
Proving correctness of Java programs using higher order separation logic |
Jesper Bengtson |
| 2011-09-14 |
1Integrating SAT, QBF and SMT Solvers with Interactive Theorem Provers |
Tjark Weber, Cambridge |
| Tuesday, 2011-08-23 |
Abstraction in Satisfiability Solvers |
Vijay D'Silva , Oxford University |
| Thursday, 2011-06-30 |
Pattern-based Verification for Multithreaded Programs |
Pierre Ganty , IMDEA Software Institute |
| Thursday, 2011-06-16 |
opaal: A Prototype Model Checker |
Mads Christian Olesen |
| Tuesday, 2011-06-14 |
The 1st Verified Software Competition: Experience Report |
Vladimir Klebanov , Karlsruhe Institute of Technology |
| Tuesday, 2011-05-31 |
Compositional Verification of Distributed Objects with Asynchronous Method Calls |
Wolfgang Ahrendt |
| Thursday, 2011-03-03 |
General Binding in Nominal Isabelle |
Christian Urban , TU Munich |
| Thursday, 2011-03-03 |
Hasse diagram Generators and Petri Nets |
Mateus de Oliveira Oliveira |
| Thursday, 2011-01-20 |
A Type and Effect System for Deadlock Avoidance in Low-level Languages |
Konstantinos Sagonas |
| Thursday, 2010-12-16 |
Semantic Subtyping with an SMT Solver |
Andrew D Gordon |
| Thursday, 2010-12-16 |
Code Rewriting Used for Thread-Modular Model Checking of Concurrent Programs Under TSO |
Carl Leonardsson |
| Thursday, 2010-12-09 |
Global Model Checking of Ordered Multi-Pushdown Systems |
Mohamed Faouzi Atig |
| Monday, 2010-11-29 |
Transactional Memory Then and Now |
Kevin Moore |
| Thursday, 2010-11-11 |
On Mereologies in Computing Science |
Dines Bjørner |
| Wednesday, 2010-10-27 |
Performance Measured by Timed Automata |
Jan Krcal |
| Thursday, 2010-10-14 |
A counter-example guided abstraction refinement scheme for parameterized verification |
Ahmed Rezine |
| Thursday, 2010-10-07 |
Collaborative Wireless Networks |
Björn Landfeldt |
| Tuesday, 2010-09-28 |
Diagrams and their role in mathematical proof |
Peter Chapman |
| Tuesday, 2010-09-28 |
Checking Roundoff Errors using Counterexample-Guided Narrowing |
Mizuhito Ogawa |
| Thursday, 2010-09-23 |
See the 2 topics |
Toshiaki Aoki |
| Tuesday, 2010-09-21 |
A Verified and Executable SLR parser generator in HOL4 |
Aditi Barthwal |
| Friday, 2010-08-20 |
On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs |
Matthias Daum |
| Thursday, 2010-06-10 |
Techniques for Automata learning and their connection to conformance testing |
Bengt Jonsson |
| Thursday, 2010-06-10 |
Parameterized Verification of Ad Hoc Networks |
Arnaud Sangnier , Università di Genova, Italy |
| Monday, 2010-05-31 |
Rule Formats for Determinism and Idempotence |
Luca Aceto , Reykjavik University, Island |
| Thursday, 2010-05-27 |
Simple and Efficient Search Procedures for Combinatorial Optimization |
Serdar Kadioglu , Brown University, USA |
| Wednesday, 2010-05-19 |
Constraint-Based Testing |
Arnaud Gotlieb , INRIA Rennes, France |
| Wednesday, 2010-05-12 |
Recent Advances in Checking Sequence Construction |
Husnu Yenigun |
| Tuesday, 2010-05-04 |
Model checking epistemic logic |
Mika Cohen |
| Thursday, 2010-04-22 |
On the verification problem for weak memory models |
Mohamed-Faouzi Atig |
| Thursday 2010-03-18 |
When Simulation Meets Antichains (on Checking Language Inclusion of NFA) |
Yu-Fang Chen ,
Academia Sinica, Taiwan |
| Wednesday 2010-03-10 |
Impact of Architecture and Technology for Extreme Scale on Software and Algorithm Design |
Jack Dongarra ,
University of Tennessee, USA |
| Wednesday 2010-03-10 |
Controlled Data and Resource Sharing in Multi-Core Platforms |
Sandhya Dwarkadas ,
University of Rochester, NY, USA |
| Thursday 2010-02-25 |
Loci: Pluggable Thread-Locality for Java-Like Languages |
Tobias Wrigstad |
| Wednesday 2010-02-17 |
Fast Adaptive Uniformization of the Chemical Master Equation |
Verena Wolf |
| Thursday 2010-02-11 |
Integrated virtualization: the silver bullet for future multi-core computing systems? |
Koen De Bosschere |
| Monday 2010-02-01 |
Automata for words and trees over infinite alphabet |
Henrik Björklund ,
University of Umeå |
| Thursday 2009-12-03 |
Owicki-Gries, thread-modular model checking and Cartesian abstraction |
Alexander Malkis ,
University of Freiburg |
| Monday 2009-11-30 |
A Compositional Theory for STM Haskell |
Johannes Borgström |
| Monday 2009-11-09 |
McErlang: a model checker for Erlang |
Clara Benac Earle ,
Universidad Politécnica de Madrid |
| Thursday 2009-10-29 |
Introduction to OpenCL
and what you should know about the differences between GPUs and CPUs |
David Black-Schaffer |
| Wednesday 2009-10-21 |
Resource utilization in data intensive embedded systems |
Thomas Gustafsson , from Jonköping Univ/Linköping Univ |
| Tuesday 2009-10-20 |
Data-driven Sensor Network Macroprogramming using ATaG |
Animesh Pathak , from INRIA |
| 2009-10-08 |
Static Detection of Race Conditions in Erlang |
Konstantinos Sagonas |
| 2009-09-24 |
Coloring the caches for predictability on multicores |
Wang Yi |
| 2009-09-17 |
Sensei-UU: a flexible wireless sensor network testbed supporting mobile nodes |
Olof Rensfelt |
Wednesday
2009-09-02 |
Self-Aware Networks and Quality of Service |
Prof. Erol Gelenbe
from Imperial College London |
| 2009-08-27 |
Wireless Sensor Network security - fighting hidden attackers |
Davor Sutic |
| 2009-08-20 |
Ex-jobb presentation: Generating Models of Communication Protocols |
Fides Aarts & Johan Uijen |
| 2009-06-04 |
UpMARC research and plans |
Erik Hagersten and Konstantinos Sagonas |
| 2009-05-14 |
Wireless Sensor Networks |
Adam Dunkels |
| 2009-05-07 |
Learning Minimal Separating DFA's for Compositional Verification |
Yu-Fang Chen |
| 2009-04-23 |
On the Role of Autonomics in Emerging Computational Ecosystems
(in relation with TDB) |
Manish Parashar |
| 2009-04-23 |
Formalizing the Logic-Automaton Connection |
Stefan Berghofer |
| 2009-03-26 |
No seminar this week. Come instead to the UpMarc inauguration |
| 2009-03-20 |
Computation on Reconfigurable Platforms |
Brittle Tsoi |
| 2009-03-12 |
Three holy grails of programming models |
Joachim Parrow |
| 2008-12-11 |
On the complexity of model checking 1-counter machines |
Richard Mayr |
| 2008-12-04 |
Software research challenges for Ericsson |
Andras Vajda,
Strategic Software Researcher, Ericsson Finland |
| 2008-11-20 |
Defect Detection and Gradual Typing of Erlang Programs |
Konstantinos Sagonas |
| 2008-11-13 |
Shape Analysis of Data-Dependent Programs |
Ran Ji |
| 2008-11-06 |
Analyzing Concurrent Algorithms under Weak Memory Orderings |
Bengt Jonsson |
| 2008-10-16 |
Adaptive Random Re-Routing for Differentiated QoS in Sensor Networks |
Edith Ngai |
| 2008-10-02 |
Multicore software development and tools -- industry experience |
Jakob Engblom, VirtuTech AB |