Differences

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

--- tools:ktbs [2014/09/27 20:27]
pchampin
+++ tools:ktbs [2019/09/15 15:24] (current)
pchampin
@@ Line 1: / Line 1: @@
+{{tag>storage transformation}}
 ====== kTBS ======
-A kernel for Trace-Based Systems.
+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.
-{{tag>storage transformation}}
-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.
-NB: This is only a prototype at the moment!…
@@ Line 13: / Line 8: @@
-    * [[http://readthedocs.org/docs/kernel-for-trace-based-systems/|living documentation]]
+    * [[http://readthedocs.org/docs/ktbs/|living documentation]]
     * [[http://pypi.python.org/pypi/kTBS|python module (for users)]]
     * [[https://github.com/ktbs/ktbs|github repository (for developers)]]
     * [[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