All pages

Jump to: navigation, search
All pages
All pages
Aalsttalk250305Aalsttalk260305Advanced Topics in DSL Design and Implementation
August 28th: Specifying and Analyzing Security AutomataCoursesCourses/Structural Operational Semantics for Probabilistic and Stochastic Processes
DCR Exploration ToolDCR GraphsDCR Graphs/Publications
DCR Graphs/TeachingDCR Graphs/ToolsDCR Graphs/Tools/Exformatics
DCR Graphs/Tools/ITUDCR Graphs EditorDecember 10th from 11-12: Symbolic Execution of High-level Programs Manipulating Structured Data
December 11th: Symbolic Execution of High-level Programs Manipulating Structured DataDecember 14th from 12-13, ProSec Talk: Security Risk Management in Business ProcessesDecember 14th from 12-13, ProSec Talk: Security Risk Management in Business Processes: Introduction, Approach, and Application
December 4th: Experiences from Designing and Validating a Software Modernization TransformationGlynnFestScheduleGlynnFestWorkshop
MeMo2014Models Talks Autumn 2015
NewsNews/April-July 2015News/April-June 2013
News/August-December 2014News/August-September 2015News/GlynnFest
News/January-July 2014News/January-March 2013News/January-March 2015
News/January 2015News/July-October 2013News/November-December 2013
News/October 2012October 2nd: Asynchronous processing of formal documents in CoqOpen PhD positions in Formal Methods for Software Product Lines
PeoplePhDCourse/CoccinellePhDCourses/Analysis, Test and Verification
PhD Positions in Variability Modeling, Analysis and VerificationProcessMiningProcess and System Models Group
ProjectsResearchSariniShortAbstract051213
Seminar by Catuscia Palamidessi and Tom Chothia, May 15, at 3pm, 2A14September 11th: Towards Synthesis of Message Passing Programs from Behavioral Type SpecificationsSeptember 18th: (12-13, Demtech talk in 3A08): Epistemic Planning: Building Planning Agents with Higher-Order Reasoning Capabilities
September 4th: Automated Testing and Verification of High-Level Data Manipulating ProgramsSeptember 4th: Verification of model transformations with TRANShortAbstract12122013
Survey of The Most Influential Works in Software MaintenanceTools
Personal tools
Namespaces
Variants
Views
Actions
Navigation
Toolbox