Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Didier LIME

ENSEIGNANT-CHERCHEUR

HDR
Responsable d'équipe
Equipe : STR.

: Didier.Limeatls2n.fr

: +33 (0)2 55 58 91 80

Page pro : http://pagesperso.ls2n.fr/~lime-d/

Adresse :

Centrale Nantes ( CN )
Petit Port
1, rue de la Noë
BP 92101
44321 NANTES Cedex 3

Batiment S, étage 5, bureau 516



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [2] . André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2020, vol. 16, num. 1.
      https://hal.archives-ouvertes.fr/hal-02498022
    • [3] . André, M. Knapik, D. Lime, W. Penczek, L. Petrucci. Parametric Verification: An Introduction. In LNCS Transactions on Petri Nets and Other Models of Concurrency ; éd. Springer, 2019.
      https://hal.archives-ouvertes.fr/hal-02170526
    • [5] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
      https://hal.archives-ouvertes.fr/hal-01917092
    • [6] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. MOULINARD, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.
      https://hal.inria.fr/hal-01340318
    • [7] B. Bérard, S. Haddad, A. Jovanović, D. Lime. Interrupt Timed Automata with Auxiliary Clocks and Parameters. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2016, vol. 143, num. 3-4.
      https://hal.sorbonne-universite.fr/hal-01300505
    • [8] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Real-Time Systems. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2015, vol. 41, num. 5.
      https://hal.archives-ouvertes.fr/hal-02939617
    • [9] C. Jard, D. Lime, O. Roux. Blending Timed Formal Models with Clock Transition Systems. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2014, vol. 129, num. 1-2.
      https://hal.archives-ouvertes.fr/hal-00940970
    • [10] C. Jard, D. Lime, O. Roux. Blending Timed Formal Models with Clock Transition Systems. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2014, vol. 129, num. 1-2.
      https://hal.archives-ouvertes.fr/hal-00939239
    • [12] C. Jard, D. Lime, O. Roux, L. Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In Formal Methods in System Design ; éd. Springer Verlag, 2013, vol. 43, num. 3.
      https://hal.archives-ouvertes.fr/hal-00840368
    • [14] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Channel Synthesis for Finite Transducers. In International Journal of Foundations of Computer Science ; éd. World Scientific Publishing, 2012, vol. 23, num. 6.
      https://hal.archives-ouvertes.fr/hal-01161869
    • [15] L. Traonouez, D. Lime, O. Roux. Parametric Model-Checking of Stopwatch Petri Nets. In Journal of Universal Computer Science ; éd. Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2009, vol. 15, num. 17.
      https://hal.archives-ouvertes.fr/hal-00489033
    • [17] B. Bérard, F. Cassez, S. Haddad, D. Lime, O. Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. In Theoretical Computer Science ; éd. Elsevier, 2008, vol. 403, num. 2--3.
      https://hal.inria.fr/inria-00363024
    • [18] B. Berthomieu, D. Lime, O. Roux, F. Vernadat. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2007, vol. 17, num. 2.
      https://hal.archives-ouvertes.fr/hal-00489016
    • [19] J. Ahmad, G. Bernot, J. Comet, D. Lime, O. Roux. Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays. In Complexus ; éd. Karger, 2006, vol. 3, num. 4.
      https://hal.archives-ouvertes.fr/hal-00415810

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [21] R. Parrot, D. Lime. Backward Symbolic Optimal Reachability in Weighted Timed Automata. In 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), septembre 2020, Vienna, Autriche.
      https://hal.archives-ouvertes.fr/hal-02939596
    • [22] . André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
      https://hal.archives-ouvertes.fr/hal-01961497
    • [23] D. Lime, O. Roux, C. Seidner. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. In 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), juin 2019, Aachen, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02565091
    • [24] J. Béchennec, D. Lime, O. Roux. Control of DES with Urgency, Avoidability and Ineluctability. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02415301
    • [25] . André, D. Lime, M. Ramparison, M. Stoelinga. Parametric analyses of attack-fault trees. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02153316
    • [26] . André, D. Lime, M. Ramparison. On the expressive power of invariants in parametric timed automata. In 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), novembre 2019, Hong Kong, Chine.
      https://hal.archives-ouvertes.fr/hal-02267883
    • [27] J. Béchennec, D. Lime, H. Roux. Contrôle des SED avec urgence,évitabilité et inéluctabilité. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.archives-ouvertes.fr/hal-02432148v2
    • [28] R. Bao, C. Attiogbe, P. Fournier, D. Lime. Model checking paramétrique statistique du plan de vol de drone civil. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.archives-ouvertes.fr/hal-02432687
    • [29] H. Coullon, C. Jard, D. Lime. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In IFM 2019 : 15th International Conference on integrated Formal Methods, décembre 2019, Bergen, Norvège.
      https://hal.archives-ouvertes.fr/hal-02323641
    • [30] . André, D. Lime, M. Ramparison. Parametric updates in parametric timed automata. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.
      https://hal.archives-ouvertes.fr/hal-02153238
    • [31] H. Boucheneb, D. Lime, O. Roux, C. Seidner. Optimal-Cost Reachability Analysis Based on Time Petri Nets. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.
      https://hal.archives-ouvertes.fr/hal-01957173
    • [32] . André, D. Lime, M. Ramparison. Timed Automata with Parametric Updates. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.
      https://hal.archives-ouvertes.fr/hal-01957157
    • [33] E. André, D. Lime, M. Ramparison. TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. In 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), septembre 2018, Beijing, Chine.
      https://hal.archives-ouvertes.fr/hal-01957138
    • [34] . André, D. Lime. Liveness in L/U-Parametric Timed Automatá. In 17th International Conference on Application of Concurrency to System Design (ACSD 2017), juin 2017, Zaragoza, Espagne.
      https://hal.archives-ouvertes.fr/hal-01724293
    • [35] H. Boucheneb, D. Lime, B. Parquier, C. Seidner, O. Roux. Optimal Reachability in Cost Time Petri Nets. In 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01724290
    • [36] N. David, C. Jard, D. Lime, O. Roux. Coverability Synthesis in Parametric Petri Nets. In 28th International Conference on Concurrency Theory (CONCUR 2017), septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01724302
    • [37] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01591036
    • [38] L. Jezequel, D. Lime. Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata. In 15th International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01699301
    • [39] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2016, Saint Petersburg, Forida, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01590884
    • [40] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.
      https://hal.archives-ouvertes.fr/hal-01590900
    • [41] . André, D. Lime, O. Roux. On the Expressiveness of Parametric Timed Automata. In 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), août 2016, Québec, Canada.
      https://hal.archives-ouvertes.fr/hal-02538061
    • [43] B. Parquier, L. Rioux, R. Henia, R. Soulat, O. Roux, D. Lime, . André. Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems. In 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), novembre 2016, Tokyo, Japon.
      https://hal.archives-ouvertes.fr/hal-02538041
    • [44] . André, D. Lime, O. Roux. Decision Problems for Parametric Timed Automata. In 18th International Conference on Formal Engineering Methods (ICFEM 2016), novembre 2016, Tokyo, Japon.
      https://hal.archives-ouvertes.fr/hal-02538055
    • [45] N. Beldiceanu, B. Dumas Feris, P. GRAVEY, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. MOULINARD, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. The EPOC project: Energy Proportional and Opportunistic Computing system. In International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), mai 2015, Lisbonne, Portugal.
      https://hal.archives-ouvertes.fr/hal-01131602
    • [46] . André, D. Lime, O. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In 9th International Conference on Reachability Problems (RP 2015), septembre 2015, Warsaw, Pologne.
      https://hal.archives-ouvertes.fr/hal-02939637
    • [47] N. David, C. Jard, D. Lime, O. Roux. Discrete Parameters in Petri Nets. In Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, juin 2015, Bruxelles, Belgique.In Raymond Devillers (éds.), . Springer International Publishing, 2015.
      https://hal.archives-ouvertes.fr/hal-01222021
    • [48] S. Akshay, L. Helouet, C. Jard, D. Lime, O. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, septembre 2013, Warwik, Royaume-Uni.In Marcin Jurdzinski and Dejan Nickovic (éds.), . Springer, 2013.
      https://hal.inria.fr/hal-00879818
    • [49] B. Bérard, S. Haddad, A. Jovanovic, D. Lime. Parametric Interrupt Timed Automata. In 7th Workshop on Reachability Problems in Computational Models (RP'13), septembre 2013, Uppsala, Suède.In Parosh Aziz Abdulla (éds.), . Springer Berlin Heidelberg, 2013.
      https://hal.archives-ouvertes.fr/hal-00936961
    • [50] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Timed Automata. In 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, mars 2013, Rome, Italie.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 7795.
      https://hal.archives-ouvertes.fr/hal-00941007
    • [51] H. Boucheneb, D. Lime, O. Roux. On Multi-enabledness in Time Petri Nets. In 34th International Conference on Application and Theory of Petri Nets and Concurrency - , PETRI NETS 2013, juin 2013, Milan, Italie.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 7927.
      https://hal.archives-ouvertes.fr/hal-00940994
    • [52] A. Jovanovic, D. Lime, O. Roux. Synthesis of bounded integer parameters for parametric timed reachability games. In Symposium on Automated Technology for Verification and Analysis (ATVA 2013), octobre 2013, Hanoi, Viêt Nam.In Lecture Notes in Computer Science ; éd. Springer, 2013, vol. 8172.
      https://hal.archives-ouvertes.fr/hal-00940988
    • [53] A. Jovanovic, S. Faucou, D. Lime, O. Roux. Real-Time Control with Parametric Timed Reachability Games. In 11th International Workshop on Discrete Event Systems, octobre 2012, Guadalajara, Mexique.
      https://hal.archives-ouvertes.fr/hal-00753689
    • [54] Y. Thierry-Mieg, B. Bérard, F. Kordon, D. Lime, O. Roux. {Compositional Analysis of Discrete Time Petri nets}. In 1st workshop on Petri Nets Compositions (CompoNet 2011), juin 2011, Newcastle, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01282489
    • [55] G. Benattar, B. Berard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Channel Synthesis for Finite Transducers. In AFL 2011 - 13th International Conference on Automata and Formal Languages, août 2011, Debrecen, Hongrie.In Pál Dömösi and Szabolcs Iván (éds.), . , 2011.
      https://hal.archives-ouvertes.fr/hal-01223260
    • [56] B. Grabiec, L. Traonouez, C. Jard, D. Lime, O. Roux. Diagnosis using unfoldings of parametric time Petri nets. In 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), septembre 2010, Vienna, Autriche.
      https://hal.archives-ouvertes.fr/hal-00523597
    • [57] L. Traonouez, B. Grabiec, C. Jard, D. Lime, O. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), septembre 2010, Singapore, Singapour.
      https://hal.archives-ouvertes.fr/hal-00523593
    • [58] G. Benattar, F. Cassez, D. Lime, O. Roux. Synthesis of Non-Interferent Timed Systems. In Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), avril 2009, Budapest, Hungary, Hongrie.
      https://hal.inria.fr/inria-00493636
    • [59] G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas. Covert Channels with Transducers. In The LICS Workshop on Foundations of Computer Security (FCS'09), juillet 2009, Los Angeles, California, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01298270
    • [60] L. Traonouez, D. Lime, O. Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph. In 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France.
      https://hal.archives-ouvertes.fr/hal-00523613
    • [61] M. Magnin, D. Lime, O. Roux. Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics. In The 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, Chine.
      https://hal.archives-ouvertes.fr/hal-00523612
    • [62] F. Cassez, A. David, K. Larsen, D. Lime, J. Raskin. Timed control with observation based and stuttering invariant strategies.. In 5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), octobre 2007, Tokyo, Japon.
      https://hal.archives-ouvertes.fr/hal-00218336
    • [63] F. Cassez, A. David, K. Larsen, D. Lime, J. Raskin. Timed Control with Observation Based and Stuttering Invariant Strategies. In 5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), octobre 2007, Tokyo, Japon.
      https://hal.inria.fr/inria-00363028
    • [64] G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, D. Lime. UPPAAL-Tiga: Time for Playing Games!. In 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Allemagne.In W. Damm, H. Hermanns (éds.), Computer Aided Verification. Springer, 2007.
      https://hal.archives-ouvertes.fr/hal-00350466
    • [65] G. Gardey, D. Lime, M. Magnin, O. Roux. Romeo: A Tool for Analyzing time Petri nets. In 17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-00523596
    • [66] M. Magnin, D. Lime, O. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-00523595
    • [67] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. In FORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, septembre 2005, Uppsala, Suède.
      https://hal.inria.fr/inria-00368577
    • [68] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. Comparison of Different Semantics for Time Petri Nets. In 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), octobre 2005, Taiwan, Taïwan.
      https://hal.inria.fr/inria-00368580
    • [69] B. Berard, F. Cassez, S. Haddad, D. Lime, O. Roux. When are Timed Automata weakly timed bisimilar to Time Petri Nets ?. In 25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), décembre 2005, Chennai, Inde.
      https://hal.inria.fr/inria-00368578
    • [70] F. Cassez, A. David, E. Fleury, K. Larsen, D. Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games. In 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, états-Unis.In Martín Abadi, Luca de Alfaro (éds.), Concurrency Theory. Springer, 2005.
      https://hal.archives-ouvertes.fr/hal-00350475
    • [71] D. Lime, O. Roux. A translation based method for the timed analysis of scheduling extended time Petri nets. In The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal.
      https://hal.archives-ouvertes.fr/hal-00523591
    • [72] O. Roux, D. Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. In The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04), 2004, Bologna, Italie.In Springer (éds.), The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04). , 2004.
      https://hal.archives-ouvertes.fr/hal-00523590
    • [73] D. Lime, O. Roux. Expressiveness and analysis of scheduling extended time Petri nets. In 5th IFAC International Conference on Fieldbus Systems and their Applications, (FET'03), 2003, Aveiro, Portugal.
      https://hal.archives-ouvertes.fr/hal-00523586
    • [74] D. Lime, O. Roux. State class Timed Automaton of a Time Petri Net. In The 10th International Workshop on Petri Nets and Performance Models, (PNPM'03), 2003, Urbana, états-Unis.
      https://hal.archives-ouvertes.fr/hal-00523588

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [75] G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, D. Lime. UPPAAL-Tiga: Timed Games for Everyone. In Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Islande.
      https://hal.archives-ouvertes.fr/hal-00350470

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Autres publications (AUTRES)

    • [77] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. Rapport technique, 2015 ; LINA-University of Nantes, Ecole Centrale de Nantes (ECN), LIPN.
      https://hal.archives-ouvertes.fr/hal-01219823
Copyright : LS2N 2017 - Mentions Légales - 
 -