Contact
 |
 |
|
| News archive | ||
 |
 |
|
|
|
| news item |
 |
|||
| 2013-03-25 | New paper: A Concept for Generating Simplified RESTful Interfaces by Markus Gulden and Stefan Kugele |
||
| 2013-03-07 | Four papers accepted at CAV Four papers authored at our chair were accepted at the prestigious conference of Computer Aided Verification (CAV). The papers are:
|
||
| 2012-09-26 | New paper: A Configuration Approach for IMA Systems by Visar Januzaj and Stefan Kugele and Florian Biechele and Ralf Mauersberger |
||
| 2012-06-20 | New paper: Rabinizer: Small Deterministic Automata for LTL(F,G) by Javier Esparza and Andreas Gaiser and Jan Kretinsky |
||
| 2012-02-06 | Members of the chair will give talks about their current work in an informal environment. Everybody who wants to know what people are doing at this chair is invited to attend! |
||
| 2011-10-26 | Tag der offenen Tür: Finite State Adventures Programm für Kinder von Rene Neumann und Maximilian Schlund nach dem Paper: The Theory of Finite State Adventures. Am 15. Oktober waren wir vom Lehrstuhl I7 mit einem Spiel für Kinder auf dem Tag der offenen Tür präsent. Das Ziel des Spieles ist es einen Pfad durch das Spielfeld (=Automat) zu finden und dabei bestimmte Spielregeln zu beachten: An den Pfad war die Bedingung geknüpft, dass man an mindestens zwei verschiedenen Schatztruhen vorbeikommen muss. Ferner benötigt man einen Schlüssel um durch Türen zu kommen oder ein Schwert um den Drachen zu besiegen. Das Projekt kam bei den Kindern und den Eltern sehr gut an und zeigte, dass man auch Theoretische Informatik spielerisch vermitteln kann.  
|
||
| 2011-04-04 | New paper: Seamless Testing for Models and Code by Andreas Holzer and Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and M |
||
| 2010-11-04 | JACM Publication: Newtonian program analysis The paper newtonian program analysis with the authors Javier Esparza, Stefan Kiefer and Michael Luttenberger has been published in JACM, Volume 57, Issue 6, October 2010. |
||
| 2010-10-24 | New paper: Seamless Model-Driven Development Put into Practice by Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin We |
||
| 2010-10-24 | New paper: Timely Time Estimates by Andreas Holzer and Visar Januzaj and Stefan Kugele and Michael Tautschnig |
||
| 2010-09-07 | Software verification researcher Andrey Rybalchenko ranks among the world's top young innovators. |
||
| 2010-07-14 | Lego Mindstorms NXT Lab Course/SS10: Some places still available for August/September 2010! Lego Mindstorms NXT Lab Course
|
||
| 2010-04-07 | New paper: Model-Based Generation of Fault-Tolerant Embedded Systems by Wolfgang Haberl and Stefan Kugele and Uwe Baumgarten |
||
| 2010-03-28 | New paper: Computing the Least Fixed Point of Positive Polynomial Systems by Javier Esparza and Stefan Kiefer and Michael Luttenberger |
||
| 2009-12-17 | HiWi Wanted: Building next generation software productivity tools Project: Building next generation software productivity tools
Contact: Prof. Andrey Rybalchenko Email: rybal@model.in.tum.de Web: http://www7.in.tum.de/~rybal |
||
| 2009-11-04 | New paper: Slope Testing for Activity Diagrams and Safety Critical Software by Andreas Holzer and Visar Januzaj and Stefan Kugele and Christian Schallhart and Michael Tautschnig |
||
| 2009-10-22 | New paper: Solving Systems of Positive Polynomial Equations by Stefan Kiefer |
||
| 2009-10-21 | New paper: Comparison of Algorithms for Checking Emptiness on Büchi Automata by Andreas Gaiser and Stefan Schwoon |
||
| 2009-10-05 | New paper: On the Memory Consumption of Probabilistic Pushdown Automata by Tomáš Brázdil and Javier Esparza and Stefan Kiefer |
||
| 2009-09-23 | New master thesis topic available: Model-based Security Engineering for SOA (Siemens AG) |
||
| 2009-06-16 | New paper: Towards Resource Consumption-aware Programming by Andreas Holzer and Visar Januzaj and Stefan Kugele |
||
| 2009-05-14 | Beth Prize: Tomas Brazdil has been awarded the E.W. Beth Dissertation Prize Tomas Brazdil has been awarded the E.W. Beth Dissertation Prize for the thesis 'Verification of Probabilistic Recursive Sequential Programs'. The E. W. Beth Dissertation Prize is awarded by FoLLI (the Association of Logic, Language, and Information) to outstanding dissertations in the fields of Logic, Language, and Information. |
||
| 2009-04-30 | New paper: Model Analysis via a Translation Schema to Coloured Petri Nets by Visar Januzaj and Stefan Kugele |
||
| 2009-04-30 | New paper: Reliable Operating Modes for Distributed Embedded Systems by Wolfgang Haberl and Stefan Kugele and Uwe Baumgarten |
||
| 2008-09-17 | New paper: Optimizing Automatic Deployment Using Non-functional Requirement Annotations by Stefan Kugele and Wolfgang Haberl and Michael Tautschnig and Martin Wechs |
||
| 2008-09-16 | New paper: Mapping Data-Flow Dependencies onto Distributed Embedded Systems by Stefan Kugele and Wolfgang Haberl |
||
| 2008-09-15 | by Zhonglei Wang and Wolfgang Haberl and Stefan Kugele and Michael Tautschnig |
||
| 2008-08-01 | New paper: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems by Javier Esparza and Stefan Kiefer and Stefan Schwoon |
||
| 2008-07-17 | Talk: Locales -- a Module System for an Interactive Theorem Prover Vortragsreihe Grundlagen der Informatik |
||
| 2008-07-10 | Talk: A Bit of Social Choice Theory in HOL: Arrow and Gibbard-Satterthwaite Vortragsreihe Grundlagen der Informatik |
||
| 2008-07-03 | Talk: Reachability in Recursive Markov Decision Processes Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-26 | Talk: Strategy Iteration using Non-Deterministic Strategies for Solving Parity Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-19 | Talk: Lowest Common Ancestor Algorithms for Dags Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-12 | Talk: Cryptographic protocols with single blind copying and an XOR operator Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-05 | Talk: Approximative methods for monotone systems of min-max-polynomial Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-29 | Talk: A Toolchain for Verifying C Programs Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-28 | New paper: Symbolic Context-Bounded Analysis of Multithreaded Java Programs by Dejvuth Suwimonteerabuth and Javier Esparza and Stefan Schwoon |
||
| 2008-05-16 | New paper: A Statistical Relational Model for Trust Learning by Achim Rettinger and Matthias Nickles and Volker Tresp |
||
| 2008-05-15 | Talk: Type-Checking Twoway Tree Transducers Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-08 | Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-02 | New paper: Newton's Method for omega-Continuous Semirings by Javier Esparza and Stefan Kiefer and Michael Luttenberger |
||
| 2008-04-24 | Talk: An abstract domain for reasoning about field access and array indexing Vortragsreihe Grundlagen der Informatik |
||
| 2008-04-17 | Talk: Verification of Multithreaded Java Programs Vortragsreihe Grundlagen der Informatik |
||
| 2008-04-09 | New paper: McMillan's complete prefix for contextual nets by Paolo Baldan and Andrea Corradini and Barbara König and Stefan Schwoon |
||
| 2008-01-31 | Talk: Extensions of Newton's Method to Semirings Vortragsreihe Grundlagen der Informatik |
||
| 2008-01-24 | Vortragsreihe Grundlagen der Informatik |
||
| 2008-01-15 | New paper: SDSIrep: A Reputation System based on SDSI by Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and Dejvuth Suwimonteerabuth |
||
| 2008-01-14 | Vorbesprechungstermin "Kryptographische Protokolle" am 29. Januar 2008 |
||
| 2008-01-14 | New paper: Running COLA on Embedded Systems by Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten |
||
| 2008-01-10 | Talk: Static Analysis of Dynamic Communication Systems by Partner Abstraction Vortragsreihe Grundlagen der Informatik |
||
| 2007-12-20 | Talk: Upper Adjoints for Fast Inter-procedural Variable Equalities Vortragsreihe Grundlagen der Informatik |
||
| 2007-12-13 | Talk: A DoS-Resistant Distributed Information System Vortragsreihe Grundlagen der Informatik |
||
| 2007-12-06 | Talk: Compatibility and Reuse in Component-Based Systems via Type and Unit Inference |
||
| 2007-11-29 | Talk: Sequential Vector Packing Vortragsreihe Grundlagen der Informatik |
||
| 2007-11-22 | Vortragsreihe Grundlagen der Informatik |
||
| 2007-11-15 | Talk: Algorithmics of Security Infrastructures Vortragsreihe Grundlagen der Informatik |
||
| 2007-11-08 | Talk: Simple Proof-Procedures for Arithmetics in Isabelle/HOL |
||
| 2007-11-07 | Talk Slides about the Convergence of Newton's Method are online here. Talk Slides about the Convergence of Newton's Method are online here. |
||
| 2007-11-07 | New paper: Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig |
||
| 2007-10-18 | |||
| 2007-07-10 | New paper: jMoped: A Test Environment for Java programs by Dejvuth Suwimonteerabuth and Felix Berger and Stefan Schwoon and Javier Esparza |
||
| 2007-06-21 | Welcome to the new web site! |
||
| 2007-06-20 | New paper: Compatibility and reuse in component-based systems via type and unit inference by Christian Kühnel and Andreas Bauer and Michael Tautschnig |
||
| 2007-06-20 | New paper: McMillan's complete prefix for contextual nets by Paolo Baldan and Andrea Corradini and Barbara König and Stefan Schwoon |
||
| 2007-03-14 | Tutoren gesucht Wir suchen Tutoren für Diskrete Wahrscheinlichkeitstheorie (ehemals DS II). Bei Interesse melden Sie sich bitte bei Markus Holzer (holzer@in.tum.de). |
||
| 2006-12-15 |
Festkolloquium anlässlich der Emeritierung
Zeit und Ort:
|
||
| 2006-06-20 | Talk: Illumination Ontology based Classifier Fusion for Robust Face Recognition 20.06.2006, 10:00 Uhr, Raum: 03.09.014 |
||
| 2005-12-07 | Münchner Model Checking Tag 2005 On Friday 9.12.2005 we organize a "model checking day" (held at the LMU, Theresienstr. 39, Raum 252); the program is available online at http://www.pst.ifi.lmu.de/~hammer/mct05.html |
||
| 2005-10-27 | Johannes Kinder receives Edison Prize of the General Electric Foundation Johannes Kinder was awarded the Silver Edison Prize of the General Electric Foundation for his work on semantic detection methods for computer viruses and worms. Congratulations! |
||
| 2005-05-23 | Stelle für wissenschaftliche/n Mitarbeiter/in (BATIIa) In der Forschungsgruppe KI/Kognition ist ab sofort eine Stelle für eine/n wissenschaftliche/n Mitarbeiter/in (BATIIa) zu besetzen. Der Schwerpunkt dieser Stelle, die zunächst auf 2 Jahre befristet ist und die Möglichkeit zur Promotion bietet, liegt auf der Realisierung von "digitalen" Verkaufsstrategien für Software-Agenten. |
||
| 2005-03-05 | IFIP CMS & Summer School on Multimedia Security Together with the University Salzburg and the University Magdeburg we organize the IFIP Conference CMS and a summer school in Salzburg. |
||
| 2005-03-05 | Course Automaten, Formale Sprachen und Berechenbarkeit The date and time for the final exam for the above mentioned course is now online. |
||
| 2005-01-03 | New Website of the AI/Cognition Group The new website of the AI/Cognition Group is up. |
||
| 2004-12-10 | Our new redesigned website is up as of Nov 26. We are entering new information daily, so please check the website regularly. |
||
| 2004-12-10 | The WWW-page for the training course "Game Playing" is now online. |
||
 |
 |