en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Kordon
::
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
(110)
related tags
tags
dblp
genetic
algorithms,
programming,
programming
design
of
symbolic
applications,
experiments,
industrial
regression,
world
real
ANN,
regression
Regression,
parameter
selection
Symbolic
SVM
Pareto
support
Variable
fit,
the
front,
experiment
intelligent,
lack
in
GP
soft
systems,
Computing
transformations,
Empirical
2008
statistical
PSO,
Selection,
Support
machines,
Process
World
Real-World
Applications
(DoE),
Networks
swarm,
No matching items.
FrameKit and the prototyping of CASE environments.
Fabrice Kordon
, and
Jean-Luc Mounier
.
IEEE International Workshop on Rapid System Prototyping,
page 91-97.
IEEE,
(
1997
)
Fabrice Kordon
, and
Jean-Luc Mounier
.
IEEE International Workshop on Rapid System Prototyping,
page 91-97.
IEEE,
(
1997
)
2 months and 22 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.
Etienne Renault
,
Alexandre Duret-Lutz
,
Fabrice Kordon
, and
Denis Poitrenaud
.
TACAS,
volume 7795 of Lecture Notes in Computer Science,
page 580-593.
Springer,
(
2013
)
Etienne Renault
,
Alexandre Duret-Lutz
,
Fabrice Kordon
, and
Denis Poitrenaud
.
TACAS,
volume 7795 of Lecture Notes in Computer Science,
page 580-593.
Springer,
(
2013
)
3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
K-Periodic schedules for evaluating the maximum throughput of a Synchronous Dataflow graph.
Bruno Bodin
,
Alix Munier Kordon
, and
Benoît Dupont de Dinechin
.
ICSAMOS,
page 152-159.
IEEE,
(
2012
)
Bruno Bodin
,
Alix Munier Kordon
, and
Benoît Dupont de Dinechin
.
ICSAMOS,
page 152-159.
IEEE,
(
2012
)
4 months and 5 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration.
Razika Driouche
,
Zizette Boufaïda
, and
Fabrice Kordon
.
IBIS
(
2007
)
Razika Driouche
,
Zizette Boufaïda
, and
Fabrice Kordon
.
IBIS
(
2007
)
5 months and a day ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Mathieu Jan
,
Christophe Jouvray
,
Fabrice Kordon
,
Antonio Kung
,
Jimmy Lalande
,
Frédéric Loiret
,
Juan F. Navas
,
Laurent Pautet
,
Jacques Pulou
,
Ansgar Radermacher
, and
Lionel Seinturier
.
Softw., Pract. Exper.
42(12):1467-1494
(
2012
)
Mathieu Jan
,
Christophe Jouvray
,
Fabrice Kordon
,
Antonio Kung
,
Jimmy Lalande
,
Frédéric Loiret
,
Juan F. Navas
,
Laurent Pautet
,
Jacques Pulou
,
Ansgar Radermacher
, and
Lionel Seinturier
.
Softw., Pract. Exper.
42(12):1467-1494
(
2012
)
5 months and 25 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Model Checking Using Generalized Testing Automata.
Ala-Eddine Ben Salem
,
Alexandre Duret-Lutz
, and
Fabrice Kordon
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
Ala-Eddine Ben Salem
,
Alexandre Duret-Lutz
, and
Fabrice Kordon
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
6 months and 5 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Extending pnml Scope: A Framework to Combine Petri Nets Types.
Lom-Messan Hillah
,
Fabrice Kordon
,
Charles Lakos
, and
Laure Petrucci
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
Lom-Messan Hillah
,
Fabrice Kordon
,
Charles Lakos
, and
Laure Petrucci
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
6 months and 5 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Report on the Model Checking Contest at Petri Nets 2011.
Fabrice Kordon
,
Alban Linard
,
Didier Buchs
,
Maximilien Colange
,
Sami Evangelista
,
Kai Lampka
,
Niels Lohmann
,
Emmanuel Paviot-Adet
,
Yann Thierry-Mieg
, and
Harro Wimmel
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
Fabrice Kordon
,
Alban Linard
,
Didier Buchs
,
Maximilien Colange
,
Sami Evangelista
,
Kai Lampka
,
Niels Lohmann
,
Emmanuel Paviot-Adet
,
Yann Thierry-Mieg
, and
Harro Wimmel
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
6 months and 5 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables.
Laurent Pautet
, and
Fabrice Kordon
.
Technique et Science Informatiques
23(10):1301-1328
(
2004
)
Laurent Pautet
, and
Fabrice Kordon
.
Technique et Science Informatiques
23(10):1301-1328
(
2004
)
6 months and 13 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Applying intelligent systems in industry: A realistic overview.
Arthur K. Kordon
.
IEEE Conf. of Intelligent Systems,
page 6-20.
IEEE,
(
2012
)
Arthur K. Kordon
.
IEEE Conf. of Intelligent Systems,
page 6-20.
IEEE,
(
2012
)
6 months and 22 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach.
Maximilien Colange
,
Lom-Messan Hillah
,
Fabrice Kordon
, and
Pierre Parutto
.
Monterey Workshop,
volume 7539 of Lecture Notes in Computer Science,
page 330-352.
Springer,
(
2012
)
Maximilien Colange
,
Lom-Messan Hillah
,
Fabrice Kordon
, and
Pierre Parutto
.
Monterey Workshop,
volume 7539 of Lecture Notes in Computer Science,
page 330-352.
Springer,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Raw Report on the Model Checking Contest at Petri Nets 2012
Fabrice Kordon
,
Alban Linard
,
Didier Buchs
,
Maximilien Colange
,
Sami Evangelista
,
Lukasz Fronc
,
Lom-Messan Hillah
,
N. Lohmann
,
Emmanuel Paviot-Adet
,
Franck Pommereau
,
C. Rohr
,
Yann Thierry-Mieg
,
Harro Wimmel
, and
Karsten Wolf
.
CoRR
(
2012
)
Fabrice Kordon
,
Alban Linard
,
Didier Buchs
,
Maximilien Colange
,
Sami Evangelista
,
Lukasz Fronc
,
Lom-Messan Hillah
,
N. Lohmann
,
Emmanuel Paviot-Adet
,
Franck Pommereau
,
C. Rohr
,
Yann Thierry-Mieg
,
Harro Wimmel
, and
Karsten Wolf
.
CoRR
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
State Space Analysis Using Symmetries on Decision Diagrams.
Maximilien Colange
,
Fabrice Kordon
,
Yann Thierry-Mieg
, and
Souheib Baarir
.
ACSD,
page 164-172.
IEEE,
(
2012
)
Maximilien Colange
,
Fabrice Kordon
,
Yann Thierry-Mieg
, and
Souheib Baarir
.
ACSD,
page 164-172.
IEEE,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.
Maximilien Colange
,
Souheib Baarir
,
Fabrice Kordon
, and
Yann Thierry-Mieg
.
Petri Nets,
volume 6709 of Lecture Notes in Computer Science,
page 338-347.
Springer,
(
2011
)
Maximilien Colange
,
Souheib Baarir
,
Fabrice Kordon
, and
Yann Thierry-Mieg
.
Petri Nets,
volume 6709 of Lecture Notes in Computer Science,
page 338-347.
Springer,
(
2011
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Design, implementation and verification of MILS systems.
Julien Delange
,
Laurent Pautet
, and
Fabrice Kordon
.
Softw., Pract. Exper.
42(7):799-816
(
2012
)
Julien Delange
,
Laurent Pautet
, and
Fabrice Kordon
.
Softw., Pract. Exper.
42(7):799-816
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Periodic Schedules for Bounded Timed Weighted Event Graphs.
Abir Benabid-Najjar
,
Claire Hanen
,
Olivier Marchetti
, and
Alix Munier Kordon
.
IEEE Trans. Automat. Contr.
57(5):1222-1232
(
2012
)
Abir Benabid-Najjar
,
Claire Hanen
,
Olivier Marchetti
, and
Alix Munier Kordon
.
IEEE Trans. Automat. Contr.
57(5):1222-1232
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
Silien Hong
,
Fabrice Kordon
,
Emmanuel Paviot-Adet
, and
Sami Evangelista
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
Silien Hong
,
Fabrice Kordon
,
Emmanuel Paviot-Adet
, and
Sami Evangelista
.
T. Petri Nets and Other Models of Concurrency
(
2012
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Introduction.
Didier Buchs
,
Fabrice Kordon
,
Alexander Serebrenik
,
Natalia Sidorova
,
Jeremy Spronston
, and
Yann Thierry-Mieg
.
ACSD/Petri Nets Workshops,
volume 827 of CEUR Workshop Proceedings,
page 371.
CEUR-WS.org,
(
2010
)
Didier Buchs
,
Fabrice Kordon
,
Alexander Serebrenik
,
Natalia Sidorova
,
Jeremy Spronston
, and
Yann Thierry-Mieg
.
ACSD/Petri Nets Workshops,
volume 827 of CEUR Workshop Proceedings,
page 371.
CEUR-WS.org,
(
2010
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Guest Editorial.
Klaus D. Müller-Glaser
,
Fabrice Kordon
, and
Alexander Burst
.
Design Autom. for Emb. Sys.
5(3-4):213
(
2000
)
Klaus D. Müller-Glaser
,
Fabrice Kordon
, and
Alexander Burst
.
Design Autom. for Emb. Sys.
5(3-4):213
(
2000
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Overview of Rapid System Prototyping Today.
Fabrice Kordon
, and
Jörg Henkel
.
Design Autom. for Emb. Sys.
8(4):275-282
(
2003
)
Fabrice Kordon
, and
Jörg Henkel
.
Design Autom. for Emb. Sys.
8(4):275-282
(
2003
)
a year and 5 months ago
by
dblp
1
dblp
dblp
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