Oldest 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. PhD Positions in Variability Modeling, Analysis and Verification‏‎ (19:01, 25 March 2012)
  2. News/October 2012‏‎ (14:29, 5 November 2012)
  3. Courses/Structural Operational Semantics for Probabilistic and Stochastic Processes‏‎ (14:53, 29 November 2012)
  4. DCR Graphs/Tools‏‎ (18:01, 24 January 2013)
  5. News/GlynnFest‏‎ (00:26, 14 May 2013)
  6. News/January-March 2013‏‎ (21:55, 14 May 2013)
  7. GlynnFestWorkshop‏‎ (23:17, 5 July 2013)
  8. GlynnFestSchedule‏‎ (01:48, 6 July 2013)
  9. News/April-June 2013‏‎ (10:39, 4 September 2013)
  10. Courses‏‎ (10:51, 4 September 2013)
  11. News/July-October 2013‏‎ (12:25, 28 November 2013)
  12. SariniShortAbstract051213‏‎ (21:18, 2 December 2013)
  13. ShortAbstract12122013‏‎ (09:52, 12 December 2013)
  14. News/November-December 2013‏‎ (12:46, 15 January 2014)
  15. PhDCourse/Coccinelle‏‎ (08:02, 6 March 2014)
  16. Open PhD positions in Formal Methods for Software Product Lines‏‎ (11:52, 24 March 2014)
  17. DCR Graphs/Tools/ITU‏‎ (20:29, 28 March 2014)
  18. DCR Exploration Tool‏‎ (11:50, 6 April 2014)
  19. DCR Graphs Editor‏‎ (16:55, 1 May 2014)
  20. Seminar by Catuscia Palamidessi and Tom Chothia, May 15, at 3pm, 2A14‏‎ (21:53, 12 May 2014)
  21. MeMo2014‏‎ (09:20, 20 May 2014)
  22. DCR Graphs‏‎ (22:26, 13 June 2014)
  23. DCR Graphs/Publications‏‎ (08:48, 14 June 2014)
  24. News/January-July 2014‏‎ (23:58, 13 September 2014)
  25. Research‏‎ (16:11, 3 October 2014)
  26. ProcessMining‏‎ (12:38, 21 October 2014)
  27. DCR Graphs/Teaching‏‎ (10:45, 29 October 2014)
  28. News/August-December 2014‏‎ (13:55, 19 December 2014)
  29. News/January 2015‏‎ (23:46, 29 January 2015)
  30. DCR Graphs/Tools/Exformatics‏‎ (22:20, 21 February 2015)
  31. Aalsttalk260305‏‎ (23:42, 10 March 2015)
  32. Aalsttalk250305‏‎ (23:44, 10 March 2015)
  33. PhDCourses/Analysis, Test and Verification‏‎ (11:16, 23 March 2015)
  34. Advanced Topics in DSL Design and Implementation‏‎ (13:23, 1 June 2015)
  35. News/April-July 2015‏‎ (14:09, 8 August 2015)
  36. Process and System Models Group‏‎ (14:11, 9 August 2015)
  37. Projects‏‎ (14:59, 9 August 2015)
  38. Tools‏‎ (15:00, 9 August 2015)
  39. News/January-March 2015‏‎ (12:28, 10 August 2015)
  40. August 28th: Specifying and Analyzing Security Automata‏‎ (11:58, 28 August 2015)
  41. September 4th: Verification of model transformations with TRAN‏‎ (12:03, 28 August 2015)
  42. September 4th: Automated Testing and Verification of High-Level Data Manipulating Programs‏‎ (12:48, 4 September 2015)
  43. September 11th: Towards Synthesis of Message Passing Programs from Behavioral Type Specifications‏‎ (10:01, 11 September 2015)
  44. September 18th: (12-13, Demtech talk in 3A08): Epistemic Planning: Building Planning Agents with Higher-Order Reasoning Capabilities‏‎ (22:08, 23 September 2015)
  45. October 2nd: Asynchronous processing of formal documents in Coq‏‎ (09:23, 2 October 2015)
  46. December 11th: Symbolic Execution of High-level Programs Manipulating Structured Data‏‎ (23:20, 8 November 2015)
  47. News/August-September 2015‏‎ (23:22, 8 November 2015)
  48. December 4th: Experiences from Designing and Validating a Software Modernization Transformation‏‎ (22:26, 23 November 2015)
  49. News‏‎ (11:27, 30 November 2015)
  50. December 10th from 11-12: Symbolic Execution of High-level Programs Manipulating Structured Data‏‎ (09:06, 10 December 2015)

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

Personal tools
Namespaces
Variants
Views
Actions
Navigation
Toolbox