User Tools

Site Tools


tools:ktbs

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
tools:ktbs [2015/07/16 18:07]
pchampin new team name
tools:ktbs [2017/11/17 09:58]
pchampin [kTBS] ref scientifiques
Line 2: Line 2:
 ====== kTBS ====== ====== kTBS ======
  
-This is the homepage of kTBS, a development effort of the he [[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.+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.
  
  
Line 13: Line 13:
     * [[http://liris.cnrs.fr/sbt-dev/ktbs/index.ttl|DOAP profile (for machines)]]     * [[http://liris.cnrs.fr/sbt-dev/ktbs/index.ttl|DOAP profile (for machines)]]
  
 +===== Scientific publications =====
  
-For more information on Trace-Based Systemssee the [[http://liris.cnrs.fr/equipes/?id=44&onglet=publis|publications of the SILEX team]].+Champin, Pierre-AntoineAlain 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]] and [[http://liris.cnrs.fr/equipes/?id=75&onglet=publis|TWEAK teams]].
tools/ktbs.txt · Last modified: 2019/09/15 15:24 by pchampin

CNRS INSA de Lyon Université Lyon 1 Université Lyon 2 École centrale de Lyon