Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""DeAntoni, Julien"" wg kryterium: Autor


Tytuł :
Early validation of satellite COTS-on-board computing systems
Autorzy :
Cuenot, Philippe
Bouche, Paul
De Simone, Robert
Deantoni, Julien
Oueslati, Amin
Pokaż więcej
Temat :
COTS
Formal analysis
Extra-functional properties
Co-design
Satellite
MBSE
Performance
Dependability
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
ERTS 2020 -10th European Congress on Embedded Real-Time Software and Systems
ERTS 2020 -10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
Tytuł :
Early validation of satellite COTS-on-board computing systems
Autorzy :
Cuenot, Philippe
Bouche, Paul
De Simone, Robert
Deantoni, Julien
Oueslati, Amin
Pokaż więcej
Temat :
Performance
Co-design
MBSE
COTS
Dependability
Formal analysis
Satellite
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Extra-functional properties
Źródło :
ERTS 2020 -10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
ERTS 2020 -10th European Congress on Embedded Real-Time Software and Systems
Tytuł :
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
Autorzy :
Van Mierlo, Simon
Syriani, Eugene
Blouin, Dominique
Amrani, Moussa
Deantoni, Julien
Wimmer, Manuel
Pokaż więcej
Temat :
Cyber Physical Systems
Modeling
Multi paradigm
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Tytuł :
Towards Sketching Interfaces for Multi-Paradigm Modeling
Autorzy :
Mierlo, Simon
Deantoni, Julien
Burgueño, Loli
Verbrugge, Clark
Vangheluwe, Hans
Pokaż więcej
Temat :
sketching
multi-paradigm
ideation
interface
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems
MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Tytuł :
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
Autorzy :
Van Mierlo, Simon
Syriani, Eugene
Blouin, Dominique
Amrani, Moussa
Deantoni, Julien
Wimmer, Manuel
Pokaż więcej
Temat :
Modeling
Cyber Physical Systems
Multi paradigm
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło :
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Tytuł :
Towards Sketching Interfaces for Multi-Paradigm Modeling
Autorzy :
Mierlo, Simon
Deantoni, Julien
Burgueño, Loli
Verbrugge, Clark
Vangheluwe, Hans
Pokaż więcej
Temat :
sketching
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
multi-paradigm
ideation
interface
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :
MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems
Tytuł :
WIP on a Coordination Language to Automate the Generation of Co-Simulations
Autorzy :
Liboni, Giovanni
Deantoni, Julien
Pokaż więcej
Temat :
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Master Algorithm
Language Engineering
Co-Simulation
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło :
FDL 2019 - Forum on specification & Design Languages
FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom
Tytuł :
WIP on a Coordination Language to Automate the Generation of Co-Simulations
Autorzy :
Liboni, Giovanni
Deantoni, Julien
Pokaż więcej
Temat :
Language Engineering
Master Algorithm
Co-Simulation
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
FDL 2019 - Forum on specification & Design Languages
FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom
Tytuł :
Priority in Logical Time Partial Orders with Synchronous Relations
Autorzy :
Gascon, Régis
Deantoni, Julien
Le Tallec, Jean-François
Pokaż więcej
Temat :
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
IEEE RIVF 2019 - Research, Innovation and Vision for the Future
IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam
Tytuł :
Priority in Logical Time Partial Orders with Synchronous Relations
Autorzy :
Gascon, Régis
Deantoni, Julien
Le Tallec, Jean-François
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Źródło :
IEEE RIVF 2019 - Research, Innovation and Vision for the Future
IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam
Tytuł :
System Based Interference Analysis in Capella
Autorzy :
Oueslati, Amin
Cuenot, Philippe
Deantoni, Julien
Moreno, Christophe
Pokaż więcej
Temat :
Models
Operational Semantics
Interference Analysis
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
The Journal of Object Technology
The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (2), pp.14:1. ⟨10.5381/jot.2019.18.2.a14⟩
Tytuł :
Co-simulation : the past, future, and open challenges
Autorzy :
Gomes, Claudio
Thule, Casper
Deantoni, Julien
Larsen, Peter Gorm
Vangheluwe, Hans
Pokaż więcej
Temat :
[INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]
Computer. Automation
Źródło :
Gomes, C, Thule, C, Deantoni, J, Larsen, P G & Vangheluwe, H 2018, Co-simulation: The Past, Future, and Open Challenges . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th Intenational Symposium, ISoLA 2018, Proceedings, Part III . vol. III, Springer, Lecture Notes in Computer Science, vol. 11246, Theoretical Computer Science and General Issues, vol. 11246, pp. 504-520, Limassol, Cyprus, 05/11/2018 . https://doi.org/10.1007/978-3-030-03424-5_34
Lecture notes in computer science
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Opis pliku :
pdf
Tytuł :
Time in SCCharts
Autorzy :
Schulz-Rosengarten, Alexander
von Hanxleden, Reinhard
Mallet, Frédéric
De Simone, Robert
Deantoni, Julien
Pokaż więcej
Temat :
Multiform notion of time
reactive systems
Periodic executions
Timeouts
Time-event-triggered
Multirate timed automata
Time-triggered
Event-triggered
Initialize-update-read protocol
Determinism
timed automata
Sequential constructiveness
dynamic ticks
synchronous languages
SCCharts
Clock constraint specification language
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Model-based engineering
Clocks
Safety-critical systems
Timing specification
Physical execution time
Timing constraints
Real-time systems
KIELER
Źródło :
Forum on specification & Design Languages
Language, Design Methods, and Tools for Electronic System Design
Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩
Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩
Tytuł :
Time in SCCharts
Autorzy :
Schulz-Rosengarten, Alexander
von Hanxleden, Reinhard
Mallet, Frédéric
De Simone, Robert
Deantoni, Julien
Pokaż więcej
Temat :
timed automata
dynamic ticks
synchronous languages
reactive systems
Real-time systems
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Forum on specification & Design Languages
Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩
Tytuł :
Towards the Verification of Hybrid Co-simulation Algorithms
Autorzy :
Thule, Casper
Gomes, Claudio
Deantoni, Julien
Larsen, Peter Gorm
Brauer, Jörg
Vangheluwe, Hans
Pokaż więcej
Temat :
Hybrid systems
Model checking
Hybrid co-simulation
[INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite)
Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France
Thule, C, Gomes, C, Deantoni, J, Larsen, P G, Brauer, J & Vangheluwe, H 2018, Towards the Verification of Hybrid Co-simulation Algorithms . in M Mazzara, I Ober & G Salaün (eds), Software Technologies: Applications and Foundations : STAF 2018 . Springer, Lecture Notes in Computer Science, vol. 11176, pp. 5-20, STAF 2018 Collocated Workshops, Toulouse, France, 25/06/2018 . https://doi.org/10.1007/978-3-030-04771-9_1

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies