The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Axel Legay" ( http://dblp.L3S.de/Authors/Axel_Legay )

URL (Homepage):  http://people.irisa.fr/Axel.Legay/  Author page on DBLP  Author page in RDF  Community of Axel Legay in ASPL-2

Publication years (Num. hits)
2003-2008 (18) 2009-2010 (32) 2011 (23) 2012 (40) 2013 (48) 2014 (46) 2015 (37) 2016 (42) 2017 (25)
Publication types (Num. hits)
article(100) incollection(2) inproceedings(196) proceedings(13)
Venues (Conferences, Journals, ...)
CoRR(32) STTT(13) ISoLA (1)(12) CAV(7) ACSD(6) ATVA(6) QEST(6) Theor. Comput. Sci.(6) ERCIM News(5) FORMATS(5) ICSE(5) ISoLA (2)(5) RV(5) Sci. Comput. Program.(5) VaMoS(5) Electr. Notes Theor. Comput. S...(4) More (+10 of total 136)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 19 keywords

Results
Found 312 publication records. Showing 311 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Uli Fahrenberg, Axel Legay Featured Weighted Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1David Cachera, Uli Fahrenberg, Axel Legay An ω-Algebra for Real-Time Energy Problems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin A framework for quantitative modeling and analysis of highly (re)configurable systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien An Application of SMC to continuous validation of heterogeneous systems. Search on Bibsonomy EAI Endorsed Trans. Indust. Netw. & Intellig. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans Statistical prioritization for software product line testing: an experience report. Search on Bibsonomy Software and System Modeling The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Search on Bibsonomy Acta Cybern. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. Search on Bibsonomy Acta Cybern. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen Practical controller synthesis for MTL0, ∞. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.) Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans On Featured Transition Systems. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Uli Fahrenberg, Axel Legay A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.) Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers Search on Bibsonomy CRiSIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks. Search on Bibsonomy AFRICACRYPT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Axel Legay, Tiziana Margaria (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Axel Legay, Tiziana Margaria (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Given-Wilson, Axel Legay, Sean Sedwards Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. Search on Bibsonomy HCI (22) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün Compatibility flooding: measuring interaction of services interfaces. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee Extensible Energy Planning Framework for Preemptive Tasks. Search on Bibsonomy ISORC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Axel Legay, Gilles Perrouin On quantitative requirements for product lines. Search on Bibsonomy VaMoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay Information Leakage as a Scheduling Resource. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay Verification of Interlocking Systems Using Statistical Model Checking. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez Analyzing ambient assisted living solutions: A research perspective. Search on Bibsonomy DTIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. Search on Bibsonomy ICST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. Search on Bibsonomy TrustCom/BigDataSE/ICESS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Uli Fahrenberg, Axel Legay Featured Weighted Automata. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Sébastien Josse, Axel Legay Bypassing Malware Obfuscation with Dynamic Synthesis. Search on Bibsonomy ERCIM News The full citation details ... 2016 DBLP  BibTeX  RDF
1Nisrine Jafri, Axel Legay, Jean-Louis Lanet Vulnerability Prediction Against Fault Attacks. Search on Bibsonomy ERCIM News The full citation details ... 2016 DBLP  BibTeX  RDF
1Axel Legay, Louis-Marie Traonouez Statistical Model Checking with Change Detection. Search on Bibsonomy T. Foundations for Mastering Change The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay A tag contract framework for modeling heterogeneous systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Thomas Given-Wilson, Axel Legay Attainable unconditional security for shared-key cryptosystems. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay Verification of interlocking systems using statistical model checking. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Uli Fahrenberg, Axel Legay A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay Long-Term Average Cost in Featured Transition Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi Optimizing the resource requirements of hierarchical scheduling systems. Search on Bibsonomy SIGBED Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Component-based verification using incremental design and invariants. Search on Bibsonomy Software and System Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Axel Legay, Sean Sedwards Command-based importance sampling for statistical model checking. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien An Application of SMC to continuous validation of heterogeneous systems. Search on Bibsonomy SimuTools The full citation details ... 2016 DBLP  BibTeX  RDF
1Cyrille Artho, Axel Legay, Doron Peled (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. Search on Bibsonomy CRiSIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay Ransomware and the Legacy Crypto API. Search on Bibsonomy CRiSIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Axel Legay, Sean Sedwards, Louis-Marie Traonouez Plasma Lab: A Modular Statistical Model Checking Platform. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Axel Legay Security and Privacy of Protocols and Software with Formal Methods. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin Statistical Model Checking for Product Lines. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu Feedback Control for Statistical Model Checking of Cyber-Physical Systems. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay On the Power of Statistical Model Checking. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay A Logic for the Statistical Model Checking of Dynamic Software Architectures. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay Statistical Model Checking: Past, Present, and Future. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Given-Wilson, Axel Legay On the Expressiveness of Symmetric Communication. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards Importance Sampling for Stochastic Timed Automata. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Van Chan Ngo, Axel Legay, Vania Joloboff PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen Modelling Attack-defense Trees Using Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem Performance Evaluation of Complex Systems Using the SBIP Framework. Search on Bibsonomy VECoS The full citation details ... 2016 DBLP  BibTeX  RDF
1Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang A formal modeling and analysis framework for software product line of preemptive real-time systems. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay Long-term average cost in featured transition systems. Search on Bibsonomy SPLC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yusuke Kawamoto 0001, Fabrizio Biondi, Axel Legay Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans Search-based Similarity-driven Behavioural SPL Testing. Search on Bibsonomy VaMoS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Axel Legay, Sean Sedwards, Louis-Marie Traonouez Rare Events for Statistical Model Checking an Overview. Search on Bibsonomy RP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker Counterexample guided abstraction refinement of product-line behavioural models. Search on Bibsonomy Software Engineering The full citation details ... 2016 DBLP  BibTeX  RDF
1Van Chan Ngo, Axel Legay, Jean Quilbeuf Statistical Model Checking for SystemC Models. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay Statistical Model Checking of Dynamic Software Architectures. Search on Bibsonomy ECSA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans A complexity tale: web configurators. Search on Bibsonomy VACE@ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens Featured model types: towards systematic reuse in modelling language engineering. Search on Bibsonomy MiSE@ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans Featured model-based mutation analysis. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Flávio Oquendo, Axel Legay, Khalil Drira GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. Search on Bibsonomy ERCIM News The full citation details ... 2015 DBLP  BibTeX  RDF
1Axel Legay, Jean Quilbeuf, Flávio Oquendo Verifying Systems-of-Systems with Statistical Model Checking. Search on Bibsonomy ERCIM News The full citation details ... 2015 DBLP  BibTeX  RDF
1Flávio Oquendo, Axel Legay Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. Search on Bibsonomy ERCIM News The full citation details ... 2015 DBLP  BibTeX  RDF
1Zoltán Ésik, Uli Fahrenberg, Axel Legay *-Continuous Kleene ω-Algebras. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Zoltán Ésik, Uli Fahrenberg, Axel Legay *-Continuous Kleene ω-Algebras for Energy Problems. Search on Bibsonomy FICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Van Chan Ngo, Axel Legay, Jean Quilbeuf Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Given-Wilson, Axel Legay On the Expressiveness of Joining. Search on Bibsonomy ICE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. Search on Bibsonomy FMSPLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards Statistical model checking for biological systems. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen Uppaal SMC tutorial. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Axel Legay, Mahesh Viswanathan 0001 Statistical model checking: challenges and perspectives. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay Statistical model checking QoS properties of systems with SBIP. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez Smart sampling for lightweight verification of Markov decision processes. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis Schedulability of Herschel revisited using statistical model checking. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski Real-time specifications. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry Generating counterexamples of model-based software product lines. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Axel Legay, Sean Sedwards, Louis-Marie Traonouez Estimating Rewards & Rare Events in Nondeterministic Systems. Search on Bibsonomy ECEASST The full citation details ... 2015 DBLP  BibTeX  RDF
1Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez Distributed Verification of Rare Properties using Importance Splitting Observers. Search on Bibsonomy ECEASST The full citation details ... 2015 DBLP  BibTeX  RDF
1Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski Quantifying information leakage of randomized protocols. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards Efficient customisable dynamic motion planning for assistive robots in complex human environments. Search on Bibsonomy JAISE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Search on Bibsonomy Intelligent Service Robotics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Axel Legay, Jean Quilbeuf Comparative Analysis of Leakage Tools on Scalable Case Studies. Search on Bibsonomy SPIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay Merging Features in Featured Transition Systems. Search on Bibsonomy MoDeVVa@MoDELS The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst Modelling Social-Technical Attacks with Timed Automata. Search on Bibsonomy MIST@CCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen Resource-Parameterized Timing Analysis of Real-Time Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Perrouin, Axel Legay SPLat 2015: Second International Workshop on Software Product Line Analysis Tools. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin Statistical analysis of probabilistic models of software product lines with quantitative constraints. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. Search on Bibsonomy VaMoS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Axel Legay, Louis-Marie Traonouez Statistical Model Checking of Simulink Models with Plasma Lab. Search on Bibsonomy FTSCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Fahrenberg, Axel Legay Partial Higher-dimensional Automata. Search on Bibsonomy CALCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay Modeling and Verification for Probabilistic Properties in Software Product Lines. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Cachera, Uli Fahrenberg, Axel Legay An omega-Algebra for Real-Time Energy Problems. Search on Bibsonomy FSTTCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 311 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license