Loading...
 
[Show/Hide Left Column]

Publications par axe : Axe SciLex


2018

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi,
MANETs Interoperability: Current Trends and Open Research.
In The 32nd International Conference on Advanced Information Networking and Applications Workshops, pp 481-487, Krakow, Poland, May 16-18, 2018

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi,
A Formal Consensus-based Distributed MonitoringApproach for MANET.
Elsevier Computer Networks, Submitted June, 2018.

Sylvie Boldo, Florian Faissole, Vincent Tourneur
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers.
25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States

Alina Eqtami and Antoine Girard,
Safety control, a quantitative approach.
IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.

Lucien Etienne, Antoine Girard, LucaGreco,
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems.
submitted, 2018.

Florian Faissole
Preuves constructives de programmes probabilistes.
Bas Spitters JFLA 2018,

Florian Faissole
29èmes Journées Francophones des Langages Applicatifs.
Jan 2018, Banyuls-sur-Mer, France, 2018

Antoine Girard, Laurentiu Hetel (Eds)
Control subject to Computational and Communication Constraints.
Vol. 475 in Lecture Notes in Control and Information Sciences, Springer, 2018.

Zohra Kader, Antoine Girard and Adnane Saoud,
Symbolic models for incrementally stable switched systems with aperiodic time sampling.
IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.

Juraj Kolčák, David Šafránek, Stefan Haar and Loïc Paulevé
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
HAL, 15 mars 2018

Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant,
Compositional abstraction and safety synthesis using overlapping symbolic models.
IEEE Transactions on Automatic Control, 63(6):1835-1841, 2018.

Aurélien Naldi, Céline Hernandez, Nicolas Levy, Gautier Stoll, Pedro Monteiro, Claudine Chaouiya, Tomáš Helikar, Andrei Zinovyev, Laurence Calzone, Sarah Cohen-Boulakia, Denis Thieffry, Loïc Paulevé
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks.
HAL, 19 juin 2018

Adnane Saoud, Antoine Girard,
Optimal multirate sampling in symbolic models for incrementally stable switched systems.
Automatica To appear, 2018

Adnane Saoud, Antoine Girard, Laurent Fribourg,
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems.
IEEE Conference on Decision and Control, Miami, USA, 2018.

Adnane Saoud, Pushpak Jagtap, Majid Zamani and Antoine Girard,
Compositional abstraction-based synthesis for cascade discrete-time control systems.
IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.

Adnane Saoud, Antoine Girard and Laurent Fribourg,
On the composition of discrete and continuous-time assume-guarantee contracts for invariance.
European Control Conference, Limassol, Cyprus, 2018. (Finalist of the Best Student Paper Award).

Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel (Eds.). 
Control subject to Computational and Communication Constraints.
Vol. 475 in Lecture Notes in Control and Information Sciences, Springer, 2018

2017

Mohammad Al Khatib, Antoine Girard, Thao Dang,
Scheduling of embedded controllers under timing contracts. Hybrid Systems: Computation and Control.
Pittsburgh, USA, 2017.

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi,
Monitoring Dynamic Mobile Ad-hoc Networks: A Fully Distributed Hybrid Architecture.
The 31st IEEE International Conference on Advanced Information Networking and Applications,2017.

Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi,
DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs.
The 9th IEEE Latin-American Conference on Communications Workshop, Los Alamitos : IEEE Computer Society, 08-10 november 2017, Guatemala City, Guatemala, 2017

Stanislav Böhm, Stefan Göller, Simon Halfon and Piotrek Hofman
On Büchi one-counter automata.
In STACS',17

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq formal proof of the Lax–Milgram theorem.
6th ACM SIGPLAN Conference on Certified Programs and Proofs ,Jan 2017, Paris, France.

Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods.
24th IEEE Symposium on Computer , Jul 2017 Arithmetic, , London, United Kingdom

Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
Preuve formelle du théorème de Lax–Milgram.
16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France.

Arnaud Carayol and Stefan Göller
On long words avoiding Zimin patterns.
In STACS',17

Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou,
Construction of parametric barrier functions for dynamical systems using interval analysis.
Automatica 78, Elsevier, 2017

Florian Faissole, Bas Spitters
Synthetic topology in HoTT for probabilistic programming.
The Third International Workshop on Coq for Programming Languages (CoqPL 2017), Jan
2017, Paris, France.

Florian Faissole
Formalization and closedness of finite dimensional subspaces SYNASC.
19th International Symposium on Symbolic and Numeric Algorithms for Scientific
Computing,
,Sep 2017,

Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, and Frank D. Valencia.
Belief, knowledge, lies and other utterances in an algebra for space and extrusion.
Journal of Logical and Algebraic Methods in Programming, JLAMP, 86:107–133, 2017.

Stefan Haar, Salim Perchy, and Frank Valencia.
D-spaces: Implementing declarative semantics for spatially structured information.
IEEE 11th International Conference on Semantic Computing, IEEE ICSC 2017, 2017.

Simon Halfon and P. Schnoebelen and Georg Zetzsche
Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword
Ordering.

In LICS',17

Adnane Saoud and Antoine Girard,
Multirate symbolic models for incrementally stable switched systems.
IFAC World Congress, Toulouse, France, 2017.

2016

Jose Alvarez, Stéphane Maag, Fatiha Zaïdi,
MANETs monitoring with a distributed hybrid architecture.
15th IEEE International Symposium on Network Computing and Applications (IEEE NCA), pp.388-391, Cambridge, Ma, United States,,2016

Michel Blondin, Alain Finkel, Christoph Haase and Serge Haddad
Approaching the Coverability Problem Continuously.
In TACAS',2016

Dmitry Chistikov and Christoph Haase
The Taming of the Semi-Linear Set.
In ICALP',2016

Dmitry Chistikov, W. Czerwiński, Piotrek Hofman, Marcin Pilipczuk and Michael Wehar
Shortest paths in one-counter systems.
In FoSSaCS',2016

Thomas Colcombet and Stefan Göller
Games with bound guess actions.
In LICS',2016

Mohamed Faouzi Atig, Dmitry Chistikov, Piotrek Hofman, K Narayan Kumar, Prakash Saivasan and Georg Zetzsche
Complexity of regular abstractions of one-counter languages.
In LICS',2016

Moses Ganardi, Stefan Göller and Markus Lohrey
On the Parallel Complexity of Bisimulation over Finite Systems.
In CSL',2016

Stefan Göller, Christoph Haase, Ranko Lazić and Patrick Totzke
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One.
In ICALP',2016

Michell Guzman, Salim Perchy, Camilo Rueda, and Frank D. Valencia.
Deriving inverse operators for modal logics.
The 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, pages 214–232,,2016

Christoph Haase and Stefan Kiefer
The Complexity of the Kth Largest Subset Problem and Related Problems In Information
Processing Letters.

116(2)',2016

Christoph Haase and Piotrek Hofman
Tightening the Complexity of Equivalence Problems for Commutative Grammars.
In STACS',2016

Piotrek Hofman, Slawek Lasota, Ranko Lazić, J. Leroux, Sylvain Schmitz and Patrick Totzke
Coverability Trees for Petri Nets with Unordered Data.
In FoSSaCS',2016

2015

Michael Blondin, Alain Finkel, Stefan Göller, Christoph. Haase and Pierre McKenzie
Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE Complete .
In LICS,2015

Stanislav Böhm, Stefan Haar, Serge Haddad, Piotrek. Hofman and Stefan Schwoon
Active Diagnosis with Observable Quiescence.
In CDC,2015

Stefan Haar, Salim Perchy, Camilo Rueda, and Frank D. Valencia.
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.
The 17th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, pages 161–172,2015

Christoph Haase and Stefan Kiefer
The Odds of Staying on Budget.
In ICALP,2015

Salim Perchy and Frank D. Valencia.
Opinions and beliefs as constraint system operators.
In Technical Communications of the 31st International Conference on Logic Programming, ICLP 2015, ,2015

2014

Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer,
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis.
IEEE CDC ,2014