Differences

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

--- tools:ktbs [2014/09/27 19:51]
pchampin created
+++ tools:ktbs [2017/11/17 09:58]
pchampin [kTBS] ref scientifiques
@@ Line 1: / Line 1: @@
-This is the homepage of kTBS, a development effort of the [[http://liris.cnrs.fr/silex|SILEX]] team lead by [[http://champin.net/#pa|Pierre-Antoine Champin]] to provide a generic kernel for Trace-Based Systems.
+{{tag>storage transformation}}
+====== kTBS ======
+This is the homepage of kTBS, a development effort of the [[https://liris.cnrs.fr/tweak/wiki/|Tweak]] team (formerly [[http://liris.cnrs.fr/silex|Silex]]) lead by [[http://champin.net/#pa|Pierre-Antoine Champin]] to provide a generic kernel for Trace-Based Systems.
-NB: This is only a prototype at the moment!…
@@ Line 13: / Line 13: @@
     * [[http://liris.cnrs.fr/sbt-dev/ktbs/index.ttl|DOAP profile (for machines)]]
+===== Scientific publications =====
+Champin, Pierre-Antoine, Alain Mille, and Yannick Prié. 2013. “Vers des traces numériques comme objets informatiques de premier niveau : une approche par les traces modélisées.” Intellectica, no. 59(June):171–204. https://hal.archives-ouvertes.fr/hal-00924203
+Cordier, Amélie, Marie Lefevre, Pierre-Antoine Champin, Olivier Georgeon, and Alain Mille. 2013. “Trace-Based Reasoning — Modeling Interaction Traces for Reasoning on Experiences.” In The 26th International FLAIRS Conference. https://hal.archives-ouvertes.fr/hal-00830444
-For more information on Trace-Based Systems, see the [[http://liris.cnrs.fr/equipes/?id=44&onglet=publis|publications of the SILEX team]].
+For more information on Trace-Based Systems, see the [[http://liris.cnrs.fr/equipes/?id=44&onglet=publis|publications of the SILEX]] and [[http://liris.cnrs.fr/equipes/?id=75&onglet=publis|TWEAK teams]].

Trace-Based Systems - Silex Team

User Tools

Site Tools

Differences

Page Tools