Differences

This shows you the differences between two versions of the page.

 Both sides previous revision
Previous revision

 


Next revision
                         synthesis [2011/04/19 17:02] jobstman
 Previous revision
                     synthesis [2011/12/21 14:04] (current) barbara.jobstmann
@@ @@ Line -12,11 +12,10 @@ ~~removed~~ created @@
-<hr>====== Research on Synthesis within and outside of the action ======
-Below you will find points we give an incomplete list of pointers to research within and outside the action related to this working group.
 This is list under construction. Feel free to extend it.
-====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ======
-(UNDER CONSTRUCTION)
 Here is an incomplete list of people and tools on the topic of synthesis from linear temporal logic specifications.
@@ @@ Line -25,5 +24,5 @@ ~~removed~~ created @@
   * [[https://es.fbk.eu/index.php|FBK Trento, Embedded Systems Research Unit]] (Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta) **Tool:** [[https://es.fbk.eu/index.php?n=Tools.NuGaT|NuGat]] (used as backend in Ratsy)
   * [[http://react.cs.uni-sb.de/|University of Saarbrücken, Reactive Systems]] (Bernd Finkbeiner, Rüdiger Ehlers) **Tool:** [[http://react.cs.uni-sb.de/tools/unbeast/|Unbeast]]
-  * [[http://www.ulb.ac.be/di/verif/index-en.html|University Libre Bruxelles, Formal methods and verification group]] (Jean-François Raskin), **Tool**: [[http://www.antichains.be/acacia/papers.html|AkaziaAcacia]]
   * [[http://www-verimag.imag.fr/~jobstman/|Verimag Grenoble (Barbara Jobstmann)]] **Tools:** ([[http://www.iaik.tugraz.at/content/research/design_verification/lily/|Lily]], [[http://www.iaik.tugraz.at/content/research/design_verification/anzu/|Anzu]],) [[http://pub.ist.ac.at/quasy/|Quasy]]
   * [[http://rsg.informatik.uni-kl.de/|University Kaiserlautern, Embedded Systems Group]] (Klaus Schneider, Andreas Morgenstern)
@@ @@ Line -33,13 +32,16 @@ ~~removed~~ created @@
-====== Other Game Solvers ======Notes on a [[synthesis:ltlformat|common format for LTL synthesis]].
-  ===== Other Game Solvers =====
-  * [[httphttps://automataes.rwth-aachenfbk.de/research/GASteu/index.php?n=Tools.NuGaT|GasTNuGat]] (RWTH AachenFBK Trento)
   * [[http://www6.in.tum.de/~chengch/gavs/|GAVS+]] (TUM, Fortiss)
   * [[http://pub.ist.ac.at/gist/index.html|GIST]] (IST Austria, Verimag Grenoble)
   * [[http://www2.tcs.ifi.lmu.de/pgsolver/|pgsolver]] (LMU, University of Kassel)
   * [[http://www.cs.aau.dk/~adavid/tiga/|UPPAL-TIGA]] Solver for timed games
+  * [[http://automata.rwth-aachen.de/research/GASt/|GasT]] (RWTH Aachen) not maintained anymore
-====== Synthesizers for Sequential Code, Code-Snippets, or Synchronization ======
   * [[http://lara.epfl.ch/w/impro|EPFL, LARA]] (Viktor Kuncak) **Implicit programming**
   * [[http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html|Microsoft Research (Redmond Lab), RiSE Group]] (Sumit Gulwani)
@@ @@ Line -49,3 +51,5 @@ ~~removed~~ created @@
   * [[http://gadara.eecs.umich.edu/|University of Michigan, EE and CS]] (Stéphane Lafortune) **Gadara: Orchestrating the execution of parallel programs using Discrete Control Theory**
   * [[http://sites.google.com/site/galkatzzz/mcgp-tool|MCGP Tool]] (Doron Peled and Gal Katz) **Automatic generation and correction of programs using Genetic Programming**
-  * [[http://AspectLTL.ysaar.net)|AspectLTL]] (Yaniv Saar and Shahar Maoz) **a temporal-logic based language for the specification and implementation of crosscutting concerns.**
   * [[http://users.soe.ucsc.edu/~luca/papers/05/emsoft05.pdf|Code Aware Resource Management]] ([[https://sites.google.com/a/ucsc.edu/luca/home|L. de Alfaro]], [[http://people.na.infn.it/~mfaella/|M. Faella]], [[http://www.cs.ucla.edu/~rupak|R. Majumdar]], V. Raman)