The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Étienne André" ( http://dblp.L3S.de/Authors/Étienne_André )

URL (Homepage):  https://orcid.org/0000-0001-8473-9555  Author page on DBLP  Author page in RDF  Community of Étienne André in ASPL-2

Publication years (Num. hits)
2008-2012 (17) 2013-2014 (24) 2015-2016 (19) 2017-2018 (19) 2019 (22)
Publication types (Num. hits)
article(33) book(1) inproceedings(63) phdthesis(1) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(20) FORMATS(5) ICECCS(5) ACSD(4) FTSCS(4) ICFEM(4) SynCoP(4) ATVA(3) NFM(3) RP(3) FM(2) FORTE(2) ICSE(2) ICTAC(2) INFINITY(2) KSE(2) More (+10 of total 47)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 102 publication records. Showing 101 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Étienne André What's decidable about parametric timed automata? Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André What's decidable about parametric timed automata? Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Benoît Delahaye, Paulin Fournier Consistency in Parametric Interval Probabilistic Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Jawher Jerray, Sahar Mhiri Time4sys2imi: A tool to formalize real-time system models under uncertainty. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Parametric updates in parametric timed automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Jun Sun 0001 Parametric Timed Model Checking for Guaranteeing Timed Opacity. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André Formalizing Time4sys using parametric timed automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol Minimal-Time Synthesis for Parametric Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Masaki Waga, Étienne André Online Parametric Timed Pattern Matching with Automata-Based Skipping. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga Parametric analyses of attack-fault trees. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci Parametric Verification: An Introduction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Masaki Waga, Étienne André, Ichiro Hasuo Symbolic Monitoring against Specifications Parametric in Time and Data. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli Repairing Timed Automata Clock Guards through Abstraction and Testing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens Parametric schedulability analysis of a launcher flight control system under reactivity constraints. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison On the expressive power of invariants in parametric timed automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Masaki Waga, Étienne André, Ichiro Hasuo Symbolic Monitoring Against Specifications Parametric in Time and Data. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol Minimal-Time Synthesis for Parametric Timed Automata. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Masaki Waga, Étienne André Online Parametric Timed Pattern Matching with Automata-Based Skipping. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Parametric Updates in Parametric Timed Automata. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime Parametric Timed Broadcast Protocols. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Mariëlle Stoelinga (eds.) Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings Search on Bibsonomy FORMATS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Shang-Wei Lin The language preservation problem is undecidable for parametric event-recording automata. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime Parametric Timed Broadcast Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Shang-Wei Lin The language preservation problem is undecidable for parametric event-recording automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Nicolas Markey Language Preservation Problems in Parametric Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Ichiro Hasuo, Masaki Waga Offline timed pattern matching under uncertainty. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes). Search on Bibsonomy 2018   RDF
1Étienne André A Benchmark Library for Parametric Timed Model Checking. Search on Bibsonomy FTSCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Timed Automata with Parametric Updates. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. Search on Bibsonomy FORMATS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Ichiro Hasuo, Masaki Waga Offline Timed Pattern Matching under Uncertainty. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Étienne André, Thomas Chatain, César Rodríguez Preserving Partial-Order Runs in Parametric Time Petri Nets. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiaying Li, Jun Sun 0001, Bo Gao, Étienne André Classification-Based Parameter Synthesis for Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime Liveness in L/U-Parametric Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun 0001 Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Shang-Wei Lin Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Hoang Gia Nguyen, Laure Petrucci Efficient Parameter Synthesis Using Optimized State Exploration Strategies. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek Timed ATL: Forget Memory, Just Count. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy Formalising concurrent UML state machines using coloured Petri nets. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Decision Problems for Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André Parametric Deadlock-Freeness Checking Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. Search on Bibsonomy FTSCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci Controlling Actions and Time in Parametric Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye Consistency in Parametric Interval Probabilistic Timed Automata. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tian Huat Tan, Manman Chen, Jun Sun 0001, Yang Liu 0003, Étienne André, Yinxing Xue, Jin Song Dong Optimizing selection of competing services with probabilistic hierarchical refinement. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux On the Expressiveness of Parametric Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Camille Coti, Hoang Gia Nguyen Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. Search on Bibsonomy SoICT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Laure Petrucci Unifying Patterns for Modelling Timed Relationships in Systems and Properties. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
1Étienne André What's Decidable About Parametric Timed Automata? Search on Bibsonomy FTSCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Laure Petrucci Decrypting cryptography. Search on Bibsonomy ITHET The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Thomas Chatain, César Rodríguez Preserving Partial Order Runs in Parametric Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Camille Coti, Hoang Gia Nguyen Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Goran Frehse (eds.) 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  BibTeX  RDF
1Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun Reachability Preservation Based Parameter Synthesis for Timed Automata. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Integer-Complete Synthesis for Bounded Parametric Timed Automata. Search on Bibsonomy RP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Nicolas Markey Language Preservation Problems in Parametric Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong Parameter synthesis for hierarchical concurrent real-time systems. Search on Bibsonomy Real-Time Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shang-Wei Lin, Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong Learning Assumptions for CompositionalVerification of Timed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. Search on Bibsonomy ESSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg Toward Parametric Timed Interfaces for Real-Time Components. Search on Bibsonomy SynCoP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne André, Goran Frehse (eds.) Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. Search on Bibsonomy SynCoP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne André, Camille Coti, Sami Evangelista Distributed Behavioral Cartography of Timed Automata. Search on Bibsonomy EuroMPI/ASIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tian Huat Tan, Manman Chen, Étienne André, Jun Sun 0001, Yang Liu 0003, Jin Song Dong Automated runtime recovery for QoS-based service composition. Search on Bibsonomy WWW The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu 0003 PeCAn: Compositional Verification of Petri Nets Made Easy. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy Formalising Concurrent UML State Machines Using Coloured Petri Nets. Search on Bibsonomy KSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne André, Christine Choppy, Thierry Noulamo Modelling Timed Concurrent Systems Using Activity Diagram Patterns. Search on Bibsonomy KSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg, Jeremy Sproston An extension of the inverse method to probabilistic timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012, Ling Shi, Étienne André Modeling and verifying hierarchical real-time systems using stateful timed CSP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shang-Wei Lin PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. Search on Bibsonomy ICFEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. Search on Bibsonomy FTSCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg, Romain Soulat Merge and Conquer: State Merging in Parametric Timed Automata. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shuang Liu, Yang Liu 0003, Étienne André, Christine Choppy, Jun Sun 0001, Bimlesh Wadhwa, Jin Song Dong A Formal Semantics for Complete UML State Machines with Communications. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André Dynamic Clock Elimination in Parametric Timed Automata. Search on Bibsonomy FSFMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Christine Choppy, Gianna Reggio Activity Diagrams Patterns for Modeling Business Processes. Search on Bibsonomy SERA (selected papers) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tian Huat Tan, Étienne André, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Manman Chen Dynamic synthesis of local time requirement for service composition. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Giuseppe Pellegrino, Laure Petrucci Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. Search on Bibsonomy FORMATS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon CosyVerif: An Open Source Extensible Verification Environment. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André Observer Patterns for Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Étienne André, Christine Choppy, Kais Klai Formalizing non-concurrent UML state machines using colored petri nets. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shang-Wei Lin, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Étienne André Automatic Compositional Verification of Timed Systems. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci A Counterexample-Based Incremental and Modular Verification Approach. Search on Bibsonomy Monterey Workshop The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg, Romain Soulat Enhancing the Inverse Method with State Merging. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Étienne André «thinking»: onze minutes en onze pages. Search on Bibsonomy BIAA The full citation details ... 2011 DBLP  BibTeX  RDF
1Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun 0001, Yang Liu 0003 An Efficient Algorithm for Learning Event-Recording Automata. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Étienne André, Romain Soulat Synthesis of Timing Parameters Satisfying Safety Properties. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Étienne André IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata Search on Bibsonomy INFINITY The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg Behavioral Cartography of Timed Automata. Search on Bibsonomy RP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Étienne André An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents). Search on Bibsonomy 2010   RDF
1Étienne André, Laurent Fribourg, Jeremy Sproston An Extension of the Inverse Method to Probabilistic Timed Automata. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Laurent Fribourg, Étienne André An Inverse Method for Policy-Iteration Based Algorithms Search on Bibsonomy INFINITY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz An Inverse Method for Parametric Timed Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Étienne André IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 101 (100 per page; Change: )
Pages: [1][2][>>]
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