E-LIB Suche - Ergebnisse für: Benveniste, Albert

1

Mixed Nondeterministic-Probabilistic Automata: Blending gra..:

Benveniste, Albert ; Raclet, Jean-Baptiste
Discrete Event Dynamic Systems. 33 (2023) 4 - p. 455-505 , 2023

Link: https://doi.org/10.1007/..

2

From Hybrid Automata to DAE-Based Modeling:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Benveniste, Albert ; Caillaud, Benoît ; Malandain, Mathias - p. 3-20 , 2022

Link: https://doi.org/10.1007/..

3

Algorithms for the Structural Analysis of Multimode Modelic..:

Benveniste, Albert ; Caillaud, Benoît ; Malandain, Mathias.
Electronics. 11 (2022) 17 - p. 2755 , 2022

Link: https://doi.org/10.3390/..

4

Hypercontracts:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Incer, Inigo ; Benveniste, Albert ; Sangiovanni-Vincentelli, Alberto. - p. 674-692 , 2022

Link: https://doi.org/10.1007/..

5

From Interface Automata to Hypercontracts:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Incer, Inigo ; Benveniste, Albert ; Sangiovanni-Vincentelli, Alberto. - p. 477-493 , 2022

Link: https://doi.org/10.1007/..

6

The mathematical foundations of physical systems modeling l..:

Benveniste, Albert ; Caillaud, Benoit ; Malandain, Mathias
Annual Reviews in Control. 50 (2020) - p. 72-118 , 2020

Link: https://doi.org/10.1016/..

7

Multi-Mode DAE Models - Challenges, Theory and Implementati..:

, In: Lecture Notes in Computer Science; Computing and Software Science,

Benveniste, Albert ; Caillaud, Benoît ; Elmqvist, Hilding... - p. 283-310 , 2019

Link: https://doi.org/10.1007/..

8

Building a Hybrid Systems Modeler on Synchronous Languages ..:

Benveniste, Albert ; Bourke, Timothy ; Caillaud, Benoit...
Proceedings of the IEEE. 106 (2018) 9 - p. 1568-1592 , 2018

Link: https://doi.org/10.1109/..

9

Structural Analysis of Multi-Mode DAE Systems:

, In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control,

Benveniste, Albert ; Caillaud, Benoit ; Elmqvist, Hilding... - p. 253-263 , 2017

Link: https://dl.acm.org/doi/1..

10

A type-based analysis of causality loops in hybrid systems ..:

Benveniste, Albert ; Bourke, Timothy ; Caillaud, Benoit..
Nonlinear Analysis: Hybrid Systems. 26 (2017) - p. 168-189 , 2017

Link: https://doi.org/10.1016/..

11

Loosely Time-Triggered Architectures : Improvements and ..:

Baudart, Guillaume ; Benveniste, Albert ; Bourke, Timothy
ACM Transactions on Embedded Computing Systems (TECS). 15 (2016) 4 - p. 1-26 , 2016

Link: https://dl.acm.org/doi/1..

12

Loosely Time-Triggered Architectures: Improvements and Comp..:

Baudart, Guillaume ; Benveniste, Albert ; Bourke, Timothy
ACM Transactions on Embedded Computing Systems. 15 (2016) 4 - p. 1-26 , 2016

Link: https://doi.org/10.1145/..

13

Loosely time-triggered architectures : improvements and ..:

, In: Proceedings of the 12th International Conference on Embedded Software,

Baudart, Guillaume ; Benveniste, Albert ; Bourke, Timothy - p. 85-94 , 2015

Link: https://dl.acm.org/doi/1..

14

Loosely time-triggered architectures: improvements and comp..:

, In: 2015 International Conference on Embedded Software (EMSOFT),

Baudart, Guillaume ; Benveniste, Albert ; Bourke, Timothy - p. 85-94 , 2015

Link: https://doi.org/10.1109/..

15

Foreword in honor of Glynn Winskel:

Benveniste, Albert ; Jard, Claude ; Abbes, Samy
Theoretical Computer Science. 546 (2014) - p. 30-31 , 2014

Link: https://doi.org/10.1016/..