Long pages

Jump to: navigation, search

Showing below up to 50 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. (hist) ‎PhDCourses/Analysis, Test and Verification ‎[6,319 bytes]
  2. (hist) ‎MeMo2014 ‎[4,846 bytes]
  3. (hist) ‎Survey of The Most Influential Works in Software Maintenance ‎[4,626 bytes]
  4. (hist) ‎DCR Graphs/Publications ‎[4,535 bytes]
  5. (hist) ‎Advanced Topics in DSL Design and Implementation ‎[4,230 bytes]
  6. (hist) ‎Aalsttalk250305 ‎[4,039 bytes]
  7. (hist) ‎Aalsttalk260305 ‎[4,029 bytes]
  8. (hist) ‎DCR Graphs/Teaching ‎[3,851 bytes]
  9. (hist) ‎PhDCourse/Coccinelle ‎[3,671 bytes]
  10. (hist) ‎DCR Graphs Editor ‎[3,608 bytes]
  11. (hist) ‎PhD Positions in Variability Modeling, Analysis and Verification ‎[2,623 bytes]
  12. (hist) ‎Process and System Models Group ‎[2,220 bytes]
  13. (hist) ‎People ‎[2,083 bytes]
  14. (hist) ‎Seminar by Catuscia Palamidessi and Tom Chothia, May 15, at 3pm, 2A14 ‎[2,036 bytes]
  15. (hist) ‎GlynnFestWorkshop ‎[1,755 bytes]
  16. (hist) ‎Models Talks Autumn 2015 ‎[1,629 bytes]
  17. (hist) ‎Courses/Structural Operational Semantics for Probabilistic and Stochastic Processes ‎[1,617 bytes]
  18. (hist) ‎Projects ‎[1,616 bytes]
  19. (hist) ‎December 10th from 11-12: Symbolic Execution of High-level Programs Manipulating Structured Data ‎[1,565 bytes]
  20. (hist) ‎December 11th: Symbolic Execution of High-level Programs Manipulating Structured Data ‎[1,565 bytes]
  21. (hist) ‎ProcessMining ‎[1,523 bytes]
  22. (hist) ‎December 14th from 12-13, ProSec Talk: Security Risk Management in Business Processes: Introduction, Approach, and Application ‎[1,492 bytes]
  23. (hist) ‎Open PhD positions in Formal Methods for Software Product Lines ‎[1,446 bytes]
  24. (hist) ‎News/January-March 2015 ‎[1,444 bytes]
  25. (hist) ‎GlynnFestSchedule ‎[1,443 bytes]
  26. (hist) ‎December 4th: Experiences from Designing and Validating a Software Modernization Transformation ‎[1,370 bytes]
  27. (hist) ‎SariniShortAbstract051213 ‎[1,369 bytes]
  28. (hist) ‎October 2nd: Asynchronous processing of formal documents in Coq ‎[1,331 bytes]
  29. (hist) ‎News/October 2012 ‎[1,220 bytes]
  30. (hist) ‎News/GlynnFest ‎[1,202 bytes]
  31. (hist) ‎September 4th: Automated Testing and Verification of High-Level Data Manipulating Programs ‎[1,201 bytes]
  32. (hist) ‎ShortAbstract12122013 ‎[1,084 bytes]
  33. (hist) ‎August 28th: Specifying and Analyzing Security Automata ‎[1,061 bytes]
  34. (hist) ‎DCR Exploration Tool ‎[1,011 bytes]
  35. (hist) ‎September 18th: (12-13, Demtech talk in 3A08): Epistemic Planning: Building Planning Agents with Higher-Order Reasoning Capabilities ‎[919 bytes]
  36. (hist) ‎September 11th: Towards Synthesis of Message Passing Programs from Behavioral Type Specifications ‎[858 bytes]
  37. (hist) ‎News/November-December 2013 ‎[768 bytes]
  38. (hist) ‎News/April-June 2013 ‎[698 bytes]
  39. (hist) ‎News ‎[697 bytes]
  40. (hist) ‎DCR Graphs/Tools ‎[654 bytes]
  41. (hist) ‎Courses ‎[595 bytes]
  42. (hist) ‎Research ‎[520 bytes]
  43. (hist) ‎News/January-July 2014 ‎[517 bytes]
  44. (hist) ‎DCR Graphs/Tools/Exformatics ‎[516 bytes]
  45. (hist) ‎News/January-March 2013 ‎[456 bytes]
  46. (hist) ‎Tools ‎[434 bytes]
  47. (hist) ‎September 4th: Verification of model transformations with TRAN ‎[404 bytes]
  48. (hist) ‎News/August-December 2014 ‎[305 bytes]
  49. (hist) ‎December 14th from 12-13, ProSec Talk: Security Risk Management in Business Processes ‎[246 bytes]
  50. (hist) ‎News/April-July 2015 ‎[234 bytes]

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Personal tools
Namespaces
Variants
Views
Actions
Navigation
Toolbox