Aspects Temporels d'un Système de Partitions Musicales Interactives pour la Composition et l'Exécution URL: http://ori-oai.u-bordeaux1.fr/pdf, ALLOMBERT_ANTOINE_2009.pdf (cited on pages 1, pp.31-34, 2009. ,
DOI : 10.3166/dn.11.3-4.29-44
URL : http://www.cairn.info/load_pdf.php?ID_ARTICLE=DN_113_0029
VIRAGE: Designing An Interactive Intermedia Sequencer From Users Requirements And Theoretical Background, Proceedings of International Computer Music Conference (ICMC'10), pp.470-473, 2010. ,
Implementation of Timed Automata: An Issue of Semantics or Modeling?, Third International Conference Proceedings, pp.273-288, 2005. ,
DOI : 10.1007/11603009_21
Model-Checking for Real-Time Systems, Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), pp.414-425, 1990. ,
Model-Checking in Dense Realtime, Inf. Comput, vol.1041, pp.2-34, 1993. ,
A Theory of Timed Automata, Theor. Comput. Sci, vol.126294, pp.183-23590010, 1994. ,
TIMES: A??Tool for Schedulability Analysis and Code Generation of Real-Time Systems, Lecture Notes in Computer Science, vol.2791, pp.60-72, 2003. ,
DOI : 10.1007/978-3-540-40903-8_6
Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992. ,
DOI : 10.1093/logcom/2.3.297
Model Checking for TCC Calculus " . Undergraduate Honors Thesis, 2012. ,
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets, 2014 14th International Conference on Application of Concurrency to System Design, pp.186-195, 2014. ,
DOI : 10.1109/ACSD.2014.23
URL : https://hal.archives-ouvertes.fr/hal-01095176
Executing Hierarchical Interactive Scores in ReactiveML, Journées d'Informatique Musicale, pp.25-34, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095159
Le Séquenceur Interactif Multimédia i-score, 2015. ,
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios, 2015 15th International Conference on Application of Concurrency to System Design, pp.140-151, 2015. ,
DOI : 10.1109/ACSD.2015.8
URL : https://hal.archives-ouvertes.fr/hal-01136252
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores, Journées d'Informatique Musicale, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01129316
A Symbolic Model for Timed Concurrent Constraint Programming, Electronic Notes in Theoretical Computer Science, vol.312, issue.36, pp.161-177, 2015. ,
DOI : 10.1016/j.entcs.2015.04.010
URL : https://hal.archives-ouvertes.fr/hal-01257078
Foundations for Reliable and Flexible Interactive Multimedia Scores, 5th International Conference on Mathematics and Computation in Music, MCM 2015, pp.29-41, 2015. ,
DOI : 10.1007/978-3-319-20603-5_3
URL : https://hal.archives-ouvertes.fr/hal-01129394
Principles of model checking, pp.20-22, 2008. ,
VIRAGE: Une Réflexion Pluridisciplinaire Autour du Temps dans la Création Numérique Journées d'Informatique Musicale, pp.151-160, 2009. ,
Programming Mixed Music in ReactiveML ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design (FARM'13), pp.11-22, 2013. ,
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-1, 2013. ,
DOI : 10.1109/EMSOFT.2013.6658579
URL : https://hal.archives-ouvertes.fr/hal-00850299
A Tutorial on Uppaal, Lecture Notes in Computer Science, vol.3185, issue.52, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
Verification of an Audio Protocol with bus collision using Uppaal, Computer Aided Verification, 8th International Conference, CAV '96 Proceedings. Ed. by Rajeev Alur and Thomas A. Henzinger, pp.244-256, 1996. ,
DOI : 10.1007/3-540-61474-5_73
Automated verification of an audio-control protocol using Uppaal, The Journal of Logic and Algebraic Programming, vol.52, issue.53, pp.52-53, 2002. ,
DOI : 10.1016/S1567-8326(02)00036-X
Timed Automata: Semantics, Algorithms and Tools, Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg. Lecture Notes in Computer Science, vol.3098, pp.87-124, 2003. ,
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
The synchronous languages Twelve years later, Proceedings of the IEEE 91, pp.64-83805826, 2002. ,
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
Interactive Theorem Proving and Program Development -Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
Representing Musical Hierarchies with Constraints, Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, pp.23-33, 2001. ,
A media synchronization survey: reference model, specification, and case studies, IEEE Journal on Selected Areas in Communications, vol.14, issue.1, pp.5-35, 1996. ,
DOI : 10.1109/49.481691
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems, Fundamentals of Software Engineering -5th International Conference, pp.111-132, 2013. ,
DOI : 10.1007/978-3-642-40213-5_8
URL : https://hal.archives-ouvertes.fr/hal-01231765
The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996. ,
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168
The Springer International Series in Engineering and Computer Science, Programmable Gate Arrays, p.27, 1992. ,
Introduction: Preserving Electroacoustic Music, Journal of New Music Research, vol.30, issue.4, pp.289-293, 2001. ,
DOI : 10.1076/jnmr.30.4.289.7494
OSSIA: towards a unified interface for scoring time and interaction, Proceedings of the First International Conference on Technologies for Music Notation and Representation -TENOR2015, pp.81-90, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01245957
SVA: The Power of Assertions in SystemVerilog, p.9783319071381, 2014. ,
DOI : 10.1007/978-3-319-07139-8
Verification of Spatial and Temporal Modalities in Biochemical Systems, Electronic Notes in Theoretical Computer Science, vol.316, pp.29-44, 2015. ,
DOI : 10.1016/j.entcs.2015.06.009
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal, Applied Mathematics and Computation, vol.218, issue.16, pp.8160-8186, 2012. ,
DOI : 10.1016/j.amc.2012.02.018
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
The Birth of Model Checking, Orna Grumberg and Helmut Veith. Lecture Notes in Computer Science, vol.5000, pp.1-26, 2008. ,
DOI : 10.1007/978-3-540-69850-0_1
Towards a higher-order synchronous data-flow language, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, pp.230-239, 2004. ,
DOI : 10.1145/1017753.1017792
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems, Computer Communications, vol.19, issue.14, pp.1134-1150, 1996. ,
DOI : 10.1016/S0140-3664(96)01148-6
Refining Model Checking by Abstract Interpretation, Autom. Softw. Eng, vol.61, pp.69-951008649901864, 1999. ,
The structure of exponentials: Uncovering the dynamics of linear logic proofs, Proceedings, pp.159-171, 1993. ,
DOI : 10.1007/BFb0022564
OSSIA: Open Scenario System for Interactive Applications, Journées d'Informatique Musicale, pp.78-84, 2014. ,
Towards a Hybrid Temporal Paradigm for Musical Composition and Performance: The Case of Musical Interpretation, Computer Music Journal, vol.372, pp.61-72, 2013. ,
Time Stream Petri Nets a model for timed multimedia information, 15th International Conference Proceedings. Ed. by Robert Valette, pp.219-238, 1994. ,
DOI : 10.1007/3-540-58152-9_13
Verification of Computation Orchestration Via Timed Automata, Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods Proceedings. Ed. by Zhiming Liu and Jifeng He, pp.226-245, 2006. ,
Operational semantics of a domain specific language for real time musician-computer interaction " . Discrete Event Dynamic Systems 23, pp.343-383, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00854719
Using branching time temporal logic to synthesize synchronization skeletons, Science of Computer Programming, vol.2, issue.3, pp.241-266, 1982. ,
DOI : 10.1016/0167-6423(83)90017-5
INScore ? An Environment for the Design of Live Music Scores, Proceedings of the Linux Audio Conference ? LAC 2012. 2012, pp.47-54, 2012. ,
Programming Interactive Music Scores with INScore, Proceedings of the Sound and Music Computing conference ? SMC'13. 2013, pp.185-190, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00851956
Augmented Interactive Scores for Music Creation, Proceedings of Korean Electro-Acoustic Music Society's 2014 Annual Conference, pp.85-91, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01073101
An Overview of Reconfigurable Hardware in Embedded Systems, 2006. ,
DOI: 10.1155/ES, 2006. ,
Light Linear Logic, Inf. Comput, vol.1432, pp.175-2042700, 1998. ,
DOI : 10.1007/3-540-60178-3_83
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992. ,
DOI : 10.1109/32.159839
Synchronous Observers and the Verification of Reactive Systems, Algebraic Methodology and Software Technology (AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology, pp.83-96, 1993. ,
DOI : 10.1007/978-1-4471-3227-1_8
On the Development of Reactive Systems Logics and Models of Concurrent Systems NATO ASI Series, KrzysztofR. Apt, vol.13, pp.477-498978, 1985. ,
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL, Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), pp.2-13, 1997. ,
Symbolic Model Checking for Real-Time Systems, 1994. ,
Testing Real-Time Systems Using UPPAAL, Lecture Notes in Computer Science, vol.4949, pp.77-117, 2008. ,
DOI : 10.1007/978-3-540-78917-8_3
The T-calculus, Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM '13, pp.23-34, 2013. ,
DOI : 10.1145/2505341.2505347
URL : https://hal.archives-ouvertes.fr/hal-00789189
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007. ,
DOI : 10.1007/s10009-007-0038-x
Coloured Petri Nets -Modelling and Validation of Concurrent Systems, pp.14-86, 2009. ,
Colored Petri nets, Communications of the ACM, vol.58, issue.6, pp.61-70, 2015. ,
DOI : 10.1145/2663340
Metric semantics for true concurrent real time, Theor. Comput. Sci, vol.254, issue.99, pp.1-2, 2001. ,
FPGA based tester tool for hybrid real-time systems " . Microprocessors and Microsystems -Embedded Hardware Design 32, pp.447-459, 2008. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
The Problem with Threads, IEEE Computer, vol.395, pp.33-42, 2006. ,
Formal design and analysis of a gear controller, pp.353-368, 2001. ,
DOI : 10.1007/BFb0054178
ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.82-93, 2005. ,
DOI : 10.1145/1069774.1069782
URL : https://hal.archives-ouvertes.fr/hal-01508179
ReactiveML, un langage fonctionnel pour la programmation r??active, Techniques et sciences informatiques, vol.27, issue.8, pp.9-10, 2008. ,
DOI : 10.3166/tsi.27.1097-1128
ReactiveML, ten years later, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, pp.6-17, 2015. ,
DOI : 10.1145/2790449.2790509
URL : https://hal.archives-ouvertes.fr/hal-01508179
Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001. ,
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055
Real-Time Temporal Control of Musical Processes, 3rd International Conferences on Advances in Multimedia, MMEDIA 2011, pp.12-17, 2011. ,
Communication and concurrency. PHI Series in computer science, p.8, 1989. ,
FPGA-based Controllers " . Industrial Electronics Magazine, pp.14-26940250, 2011. ,
DOI : 10.1109/mie.2011.940250
URL : https://hal.archives-ouvertes.fr/hal-01337108
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications, Nord. J. Comput, vol.91, pp.145-188, 2002. ,
DOI : 10.7146/brics.v8i48.21708
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3124
Algorithmic specifications in linear logic with subexponentials, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.129-140, 2009. ,
DOI : 10.1145/1599410.1599427
Specifying Proof Systems in Linear Logic with Subexponentials, Electronic Notes in Theoretical Computer Science, vol.269, issue.25, pp.109-123, 2011. ,
DOI : 10.1016/j.entcs.2011.03.009
A General Proof System for Modalities in Concurrent Constraint Programming, CONCUR 2013 -Concurrency Theory -24th International Conference, CONCUR 2013, pp.410-424, 2013. ,
DOI : 10.1007/978-3-642-40184-8_29
Universal Temporal Concurrent Constraint Programming URL: https://sites.google.com/site, p.page, 2009. ,
DOI : 10.1007/978-3-540-74610-2_47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.5692
A Declarative Language for Dynamic Multimedia Interaction Systems, 2nd International Conference on Mathematics and Computation in Music Communications in Computer and Information Science, pp.218-227978, 2009. ,
DOI : 10.1007/3-540-47849-3_18
URL : https://hal.archives-ouvertes.fr/inria-00426607
Subexponential concurrent constraint programming DOI: http, Theoretical Computer Science, 2015. ,
Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, pp.623-632, 2004. ,
DOI : 10.1007/s00500-004-0388-1
Safety-critical medical device development using the UPP2SF model translation tool, ACM Transactions on Embedded Computing Systems, vol.13, issue.4s, pp.4-5, 2014. ,
DOI : 10.1145/2584651
A structural approach to operational semantics, J. Log. Algebr. Program, pp.60-61, 2004. ,
The temporal semantics of concurrent programs, Semantics of Concurrent Computation, Proceedings of the International Symposium, pp.1-20, 1979. ,
DOI : 10.1007/BFb0022460
Model based testing of an interactive music system, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15, pp.1759-1764, 2015. ,
DOI : 10.1145/2695664.2695804
URL : https://hal.archives-ouvertes.fr/hal-01097345
Concurrency in Synchronous Systems, Formal Methods in System Design, vol.282, pp.111-130, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00124252
Specification and verification of concurrent systems in CESAR, International Symposium on Programming, 5th Colloquium Proceedings. Ed. by Mariangiola Dezani-Ciancaglini and Ugo Montanari, pp.337-351, 1982. ,
DOI : 10.1007/3-540-11494-7_22
Features, Design Tools, and Application Domains of FPGAs, IEEE Transactions on Industrial Electronics, vol.544, pp.1810-1823, 2007. ,
Advanced Features and Industrial Applications of FPGAs -A Review, IEEE Trans. Industrial Informatics, vol.11, issue.4, pp.853-864, 2015. ,
Applications of Field-Programmable Gate Arrays in Scientific Research. 1st, p.1439841330, 2010. ,
A Brief Guide to Linear Logic " . Current Trends in Theoretical Computer Science -Essays and Tutorials, Grzegorz Rozenberg and Arto Salomaa. World Scientific Series in Computer Science. World Scientific, vol.40, pp.377-3949789812794499, 1993. ,
Toward a formal specification of multimedia synchronization scenarios, Annales Des Télécommunications, vol.49, pp.5-6, 1994. ,
Hierarchical Time Stream Petri Net: A model for hypermedia systems, 16th International Conference Proceedings, pp.451-470, 1995. ,
DOI : 10.1007/3-540-60029-9_54
SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling, pp.9780387364957-62, 2006. ,
A Survey and Taxonomy of GALS Design Styles, IEEE Design & Test of Computers, vol.245, pp.418-428151, 2007. ,
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios, Journal of Mathematics and Music, vol.330, issue.3, pp.93-112, 2014. ,
DOI : 10.1007/s00500-004-0390-7
Using FAUST for FPGA Programming, 9th International Conference on Digital Audio Effects, pp.287-290, 2006. ,
Three Ages of FPGAs: A Retrospective on the First Thirty Years of FPGA Technology, Proceedings of the IEEE, vol.103, issue.3, pp.318-331, 2015. ,
DOI : 10.1109/JPROC.2015.2392104
Practical Model-Based Testing -A Tools Approach, 2007. ,
Design Recipes for FPGAs: Using Verilog and VHDL, 2011. ,
Programmation synchrone de systèmes réactifs avec Esterel et les Sync- Charts. Collection informatique. Lausanne: Presses polytechniques et universitaires romandes, pp.2-88074, 2005. ,