en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Rollet
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(27)
tags
dblp
imported
ioco
formal
GNSS,
robustness
mbt
Galileo,
signalDesign
GPS,
reliability
No matching items.
Runtime Enforcement of Timed Properties.
Srinivas Pinisetty
,
Yliès Falcone
,
Thierry Jéron
,
Hervé Marchand
,
Antoine Rollet
, and
Omer Landry Nguena-Timo
.
RV,
volume 7687 of Lecture Notes in Computer Science,
page 229-244.
Springer,
(
2012
)
Srinivas Pinisetty
,
Yliès Falcone
,
Thierry Jéron
,
Hervé Marchand
,
Antoine Rollet
, and
Omer Landry Nguena-Timo
.
RV,
volume 7687 of Lecture Notes in Computer Science,
page 229-244.
Springer,
(
2012
)
3 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Robustness testing of composed real-time systems.
Hacène Fouchal
,
Antoine Rollet
, and
Abbas Tarhini
.
J. Comput. Meth. in Science and Engineering
10(3-6):135-148
(
2010
)
Hacène Fouchal
,
Antoine Rollet
, and
Abbas Tarhini
.
J. Comput. Meth. in Science and Engineering
10(3-6):135-148
(
2010
)
4 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Test Selection for Data-Flow Reactive Systems Based on Observations.
Omer Nguena-Timo
, and
Antoine Rollet
.
ICST Workshops,
page 1-8.
IEEE Computer Society,
(
2011
)
Omer Nguena-Timo
, and
Antoine Rollet
.
ICST Workshops,
page 1-8.
IEEE Computer Society,
(
2011
)
5 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
IEEE 802.11a, 802.11e and HiperLAN/2 goodput performance comparison in real radio conditions.
Romain Rollet
, and
Christophe Mangin
.
GLOBECOM,
page 724-728.
IEEE,
(
2003
)
Romain Rollet
, and
Christophe Mangin
.
GLOBECOM,
page 724-728.
IEEE,
(
2003
)
5 months and 13 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Automatic Web Service Testing from WSDL Descriptions.
Sébastien Salva
, and
Antoine Rollet
.
IICS,
volume P-186 of LNI,
page 217-226.
GI,
(
2011
)
Sébastien Salva
, and
Antoine Rollet
.
IICS,
volume P-186 of LNI,
page 217-226.
GI,
(
2011
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.
Fares Saad-Khorchef
,
Ismail Berrada
,
Antoine Rollet
, and
Richard Castanet
.
IICS,
volume 165 of LNI,
page 409-421.
GI,
(
2010
)
Fares Saad-Khorchef
,
Ismail Berrada
,
Antoine Rollet
, and
Richard Castanet
.
IICS,
volume 165 of LNI,
page 409-421.
GI,
(
2010
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A simple method to consider energy balance in the architectural design of residential buildings.
Arantes Laëtitia
,
Baverel Olivier
,
Rollet Pascal
, and
Quenard Daniel
.
SpringSim SimAUD,
page 76-83.
SCS/ACM,
(
2011
)
Arantes Laëtitia
,
Baverel Olivier
,
Rollet Pascal
, and
Quenard Daniel
.
SpringSim SimAUD,
page 76-83.
SCS/ACM,
(
2011
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Simple Testing Technique for Embedded Systems.
Hacène Fouchal
, and
Antoine Rollet
.
OPODIS,
volume 3144 of Lecture Notes in Computer Science,
page 159-170.
Springer,
(
2003
)
Hacène Fouchal
, and
Antoine Rollet
.
OPODIS,
volume 3144 of Lecture Notes in Computer Science,
page 159-170.
Springer,
(
2003
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Testing Protocol Robustness.
Antoine Rollet
, and
Hacène Fouchal
.
IICS,
volume 2877 of Lecture Notes in Computer Science,
page 201-215.
Springer,
(
2003
)
Antoine Rollet
, and
Hacène Fouchal
.
IICS,
volume 2877 of Lecture Notes in Computer Science,
page 201-215.
Springer,
(
2003
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Segmentation of 3D cellular networks from SR-micro-CT images.
Alexandra Pacureanu
,
Jerome Rollet
,
Chantal Revol-Muller
,
Vasile Buzuloiu
,
Max Langer
, and
Françoise Peyrin
.
ISBI,
page 1970-1973.
IEEE,
(
2011
)
Alexandra Pacureanu
,
Jerome Rollet
,
Chantal Revol-Muller
,
Vasile Buzuloiu
,
Max Langer
, and
Françoise Peyrin
.
ISBI,
page 1970-1973.
IEEE,
(
2011
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Validation of Novel Navigation Signal Structures for Future GNSS Systems
M. Quinlan
,
G. Burden
,
S. Rollet
,
R. De Gaudenzi
, and
S. Harding
.
Proc. of the IEEE Position Location and Navigation Symposium PLANS
(
2004
)
M. Quinlan
,
G. Burden
,
S. Rollet
,
R. De Gaudenzi
, and
S. Harding
.
Proc. of the IEEE Position Location and Navigation Symposium PLANS
(
2004
)
2 years ago
by
bmuth
1
GNSS,
GPS,
Galileo,
signalDesign
GNSS,
GPS,
Galileo,
signalDesign
URL
DOI
TeX
CINEMO - A French Spoken Language Resource for Complex Emotions: Facts and Baselines.
Björn Schuller
,
Riccardo Zaccarelli
,
Nicolas Rollet
, and
Laurence Devillers
.
LREC,
European Language Resources Association,
(
2010
)
Björn Schuller
,
Riccardo Zaccarelli
,
Nicolas Rollet
, and
Laurence Devillers
.
LREC,
European Language Resources Association,
(
2010
)
2 years and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A framework and a tool for robustness testing of communicating software.
Fares Saad-Khorchef
,
Antoine Rollet
, and
Richard Castanet
.
SAC,
page 1461-1466.
ACM,
(
2007
)
Fares Saad-Khorchef
,
Antoine Rollet
, and
Richard Castanet
.
SAC,
page 1461-1466.
ACM,
(
2007
)
3 years and 3 months ago
by
davef
2
formal
ioco
mbt
reliability
robustness
formal
ioco
mbt
reliability
robustness
URL
DOI
TeX
Testing robustness of communicating systems using ioco-based approach.
Antoine Rollet
, and
Sébastien Salva
.
ISCC,
page 67-72.
IEEE,
(
2009
)
Antoine Rollet
, and
Sébastien Salva
.
ISCC,
page 67-72.
IEEE,
(
2009
)
3 years and 8 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Robustness Testing on Composed Timed Systems.
Hacène Fouchal
,
Antoine Rollet
, and
Abbas Tarhini
.
SEDE,
page 161-167.
ISCA,
(
2009
)
Hacène Fouchal
,
Antoine Rollet
, and
Abbas Tarhini
.
SEDE,
page 161-167.
ISCA,
(
2009
)
3 years and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Testabilité des services web.
Sébastien Salva
, and
Antoine Rollet
.
Ingénierie des Systèmes d'Information
13(3):35-58
(
2008
)
Sébastien Salva
, and
Antoine Rollet
.
Ingénierie des Systèmes d'Information
13(3):35-58
(
2008
)
4 years and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.
Antoine Rollet
, and
Fares Saad-Khorchef
.
SERA,
page 667-674.
IEEE Computer Society,
(
2007
)
Antoine Rollet
, and
Fares Saad-Khorchef
.
SERA,
page 667-674.
IEEE Computer Society,
(
2007
)
4 years and 9 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Zeroes of the triangular Potts model partition function: a conjectured distribution
J. C. Anglès d'Auriac
,
J. M. Maillard
,
G. Rollet
, and
F. Y. Wu
.
Physica A: Statistical and Theoretical Physics
206(3-4):441--453
(
May 15, 1994
)
J. C. Anglès d'Auriac
,
J. M. Maillard
,
G. Rollet
, and
F. Y. Wu
.
Physica A: Statistical and Theoretical Physics
206(3-4):441--453
(
May 15, 1994
)
5 years and a month ago
by
smicha
1
imported
imported
URL
DOI
TeX
Integrable mappings and polynomial growth
S. Boukraa
,
J. M. Maillard
, and
G. Rollet
.
Physica A: Statistical and Theoretical Physics
209(1-2):162--222
(
Aug 15, 1994
)
S. Boukraa
,
J. M. Maillard
, and
G. Rollet
.
Physica A: Statistical and Theoretical Physics
209(1-2):162--222
(
Aug 15, 1994
)
5 years and a month ago
by
smicha
1
imported
imported
URL
DOI
TeX
From integrability to weak chaos
S. Boukraa
,
J. M. Maillard
, and
G. Rollet
.
Physica A: Statistical and Theoretical Physics
205(1-3):458--469
(
Apr 1, 1994
)
S. Boukraa
,
J. M. Maillard
, and
G. Rollet
.
Physica A: Statistical and Theoretical Physics
205(1-3):458--469
(
Apr 1, 1994
)
5 years and a month ago
by
smicha
1
imported
imported
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact