Filtrer vos résultats
- 26
- 6
- 21
- 4
- 2
- 2
- 1
- 1
- 1
- 32
- 1
- 1
- 1
- 1
- 5
- 5
- 4
- 1
- 1
- 2
- 3
- 6
- 3
- 1
- 29
- 2
- 1
- 18
- 13
- 10
- 10
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 12
- 6
- 6
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
32 résultats
|
|
|
triés par
|
|
|
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving44th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2023, Caparica (Lisbonne), Portugal. pp.369-392, ⟨10.1007/978-3-031-33620-1_20⟩
Communication dans un congrès
hal-04153494v1
|
||
|
|
SOG-Based Multi-Core LTL Model Checking2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), Dec 2020, Exeter, United Kingdom. pp.9-17, ⟨10.1109/ISPA-BDCloud-SocialCom-SustainCom51426.2020.00028⟩
Communication dans un congrès
hal-03545340v1
|
||
|
|
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed AutomataTACAS 2021 - 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote; Kim G. Larsen, Mar 2021, virtual, Luxembourg. pp.311-329, ⟨10.1007/978-3-030-72016-2_17⟩
Communication dans un congrès
hal-03340887v1
|
||
|
|
Foundations for Reliable and Flexible Interactive Multimedia ScoresFifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. pp.29-41, ⟨10.1007/978-3-319-20603-5_3⟩
Communication dans un congrès
hal-01129394v1
|
||
|
|
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space RepresentationVerification and Evaluation of Computer and Communication Systems, VECoS 2021, Nov 2021, Beijing, China. pp.27-42, ⟨10.1007/978-3-030-98850-0_3⟩
Communication dans un congrès
hal-03615559v1
|
||
ADT2AMAS: Managing agents in attack-defence scenariosLogiciel hal-04152510v1 |
|||
|
|
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapore, Singapore. pp.3-19, ⟨10.1007/978-3-030-63406-3_1⟩
Communication dans un congrès
hal-02902348v1
|
||
|
|
Modular Analysis of Tree-Topology ModelsFormal Methods and Software Engineering, ICFEM, Oct 2022, Madrid, Spain. pp.36-53, ⟨10.1007/978-3-031-17244-1_3⟩
Communication dans un congrès
hal-03811772v1
|
||
|
|
Session-Based Concurrency, Reactively37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Communication dans un congrès
hal-01566466v1
|
||
|
|
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp.1-10, ⟨10.1109/ICECCS54210.2022.00009⟩
Communication dans un congrès
hal-03772716v1
|
||
CosyVerif: an Online Verification PlatformPetri Net Newsletter, 2021, 87, pp.5--7
Article dans une revue
hal-03777111v1
|
|||
|
|
Le séquenceur interactif multimédia i-scoreJournées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015
Poster de conférence
hal-01245350v1
|
||
|
|
A symbolic model for timed concurrent constraint programmingNinth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩
Communication dans un congrès
hal-01257078v2
|
||
|
|
Symbolic Observation Graph-Based Generation of Test Paths7th International Conference on Tests and Proofs (TAP 2023) Held as Part of STAF 2023, Jul 2023, Leicester, United Kingdom. pp.127-146, ⟨10.1007/978-3-031-38828-6_8⟩
Communication dans un congrès
hal-04168937v1
|
||
|
|
Model checking for TCC calculusUniversidad Javeriana. 2012
Rapport
hal-04257266v1
|
||
Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT SolvingScience of Computer Programming, 2023, ⟨10.1016/j.scico.2023.103074⟩
Article dans une revue
hal-04361212v1
|
|||
|
|
Formal Models to Compose and Execute Interactive Multimedia Scores in Real-TimeJournée de l'École doctorale de mathématiques et informatique, Oct 2014, Bordeaux, France
Poster de conférence
hal-01441583v1
|
||
Strategic (Timed) Computation Tree Logic22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.382-390
Communication dans un congrès
hal-04153471v1
|
|||
|
|
Timed Automata for Video Games and InteractionEncyclopedia of Computer Graphics and Games, Springer International Publishing, 2019, 978-3-319-08234-9. ⟨10.1007/978-3-319-08234-9_298-1⟩
Chapitre d'ouvrage
hal-01980285v1
|
||
|
|
Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choicesMultimedia [cs.MM]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0283⟩
Thèse
tel-01245370v2
|
||
|
|
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata[Research Report] LIPN. 2022
Rapport
hal-03814256v1
|
||
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative ModelsIEEE Transactions on Reliability, 2024, pp.1-15. ⟨10.1109/TR.2024.3354459⟩
Article dans une revue
hal-04436730v1
|
|||
|
|
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France
Communication dans un congrès
hal-01326559v1
|
||
|
|
Authoring and automatic verification of interactive multimedia scoresJournal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩
Article dans une revue
hal-01399925v1
|
||
|
|
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function16th Python in Science Conference (SciPy 2017), Jul 2017, Austin, TX, United States. pp.34-40, ⟨10.25080/shinma-7f4c6e7-006⟩
Communication dans un congrès
hal-01566457v1
|
||
|
|
ADT2AMAS: Managing Agents in Attack-Defence ScenariosAAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, May 2021, London, United Kingdom
Communication dans un congrès
hal-03544019v1
|
||
|
|
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS '22), Dec 2022, Auckland, New Zealand. pp.3-15, ⟨10.1145/3563822.3569923⟩
Communication dans un congrès
hal-04154095v1
|
||
|
|
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. ⟨10.1109/ACSD.2014.23⟩
Communication dans un congrès
hal-01095176v1
|
||
|
|
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia ScoresJournées d'Informatique Musicale 2015, May 2015, Montréal, Canada
Communication dans un congrès
hal-01129316v1
|
||
|
|
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. ⟨10.1109/ACSD.2015.8⟩
Communication dans un congrès
hal-01136252v1
|
- 1
- 2