Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: David
    Last name: Lesens
    DBLP: 13/4759
    Rating: (not rated yet)

    Below you find the publications which have been written by this author.

    Show item 1 to 17 of 17  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Harold Bruintjes, Joost-Pieter Katoen, David Lesens.
    A Statistical Approach for Timed Reachability in AADL Models.
    45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015 2015 (0) 2015
    Conference paper
    Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens.
    From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation.
    LITES 2015, Volume 2 (0) 2015
    Conference paper
    Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro.
    Robustness Analysis for Scheduling Problems Using the Inverse Method.
    19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012 2012 (0) 2012
    Conference paper
    Iulia Dragomir, Iulian Ober, David Lesens.
    A Case Study in Formal System Engineering with SysML.
    17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012 2012 (0) 2012
    Conference paper
    Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens.
    Multi-task Implementation of Multi-periodic Synchronous Programs.
    Discrete Event Dynamic Systems 2011, Volume 21 (0) 2011
    Conference paper
    Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti.
    Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.
    16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010 2010 (0) 2010
    Conference paper
    David Lesens.
    Using Static Analysis in Space: Why Doing so?
    Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings 2010 (0) 2010
    Journal article
    Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti.
    Implementing Multi-Periodic Critical Systems: from Design to Code Generation
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti.
    A real-time architecture design language for multi-rate embedded control systems.
    Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010 2010 (0) 2010
    Conference paper
    Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti.
    A Multi-Periodic Synchronous Data-Flow Language.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens.
    Virtual execution of AADL models via a translation into synchronous programs.
    Proceedings of the 7th ACM IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria 2007 (0) 2007
    Conference paper
    Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin.
    Formal Modeling of Data. A Case Study for Space Applications.
    ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 2007 (0) 2007
    Conference paper
    Iulian Ober, Susanne Graf, David Lesens.
    Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
    Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings 2006 (0) 2006
    Conference paper
    David Lesens, Nicolas Halbwachs, Pascal Raymond.
    Automatic verification of parameterized networks of processes.
    Theor. Comput. Sci. 2001, Volume 256 (0) 2001
    Conference paper
    David Lesens.
    Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints.
    Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings 1997 (0) 1997
    Conference paper
    David Lesens, Nicolas Halbwachs, Pascal Raymond.
    Automatic Verification of Parameterized Linear Networks of Processes.
    POPL 1997 (0) 1997
    Conference paper
    David Lesens, Hassen Saïdi.
    Abstraction of parameterized networks.
    Electr. Notes Theor. Comput. Sci. 1997, Volume 9 (0) 1997
    Show item 1 to 17 of 17  

    Your query returned 17 matches in the database.