The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Timed-automata (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-1994 (17) 1995-1996 (19) 1997 (22) 1998 (24) 1999 (44) 2000 (38) 2001 (47) 2002 (47) 2003 (72) 2004 (72) 2005 (82) 2006 (95) 2007 (75) 2008 (76) 2009 (79) 2010 (55) 2011 (41) 2012 (57) 2013 (51) 2014 (60) 2015 (54) 2016 (53) 2017 (66) 2018 (44) 2019 (43) 2020 (59) 2021 (44) 2022 (76) 2023 (30) 2024 (7)
Publication types (Num. hits)
article(414) book(1) data(1) incollection(10) inproceedings(1090) phdthesis(32) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 786 occurrences of 328 keywords

Results
Found 1549 publication records. Showing 1549 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
141Joseph Sifakis A General Framework for the Composition of Timed Systems Extended Abstract. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
136Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 Timed Automata Patterns. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
116Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
111Bernard Berthomieu, Florent Peres, François Vernadat 0001 Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
105Olivier Finkel Undecidable Problems About Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
103Rodolfo Gómez 0001 A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Urgent actions, Timed Automata with Deadlines, Uppaal
98Manfred Droste, Karin Quaas A Kleene-Schützenberger Theorem for Weighted Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
89Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens The Regular Real-Time Languages. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
88Joël Ouaknine, James Worrell 0001 Universality and Language Inclusion for Open and Closed Timed Automata. Search on Bibsonomy HSCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
87Patricia Bouyer Forward Analysis of Updatable Timed Automata. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF (updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
86Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Concavely-Priced Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
85Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye When Are Timed Automata Determinizable? Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
85Deepak D'Souza, P. S. Thiagarajan Product Interval Automata: A Subclass of Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
83Marcin Jurdzinski, François Laroussinie, Jeremy Sproston Model Checking Probabilistic Timed Automata with One or Two Clocks. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance analysis of probabilistic timed automata using digital clocks. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, Digital clocks
83Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager Minimum-Cost Reachability for Priced Timed Automata. Search on Bibsonomy HSCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Optimization, Algorithms, Verification, Data Structures, Timed Automata
82William K. C. Lam, Robert K. Brayton Criteria for the Simple Path Property in Timed Automata. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
81Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik Dealing with practical limitations of distributed timed model checking for timed automata. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
81Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
79Béatrice Bérard, Serge Haddad Interrupt Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
79Huimin Lin, Wang Yi 0001 Axiomatising timed automata. Search on Bibsonomy Acta Informatica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
79Rajeev Alur, Limor Fix, Thomas A. Henzinger A Determinizable Class of Timed Automata. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
79Jirí Srba Timed-Arc Petri Nets vs. Networks of Timed Automata. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
79Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick Specification and Analysis of Automata-Based Designs. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, Timed automata, stochastic automata
78Shang-Wei Lin 0001, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen Model Checking Prioritized Timed Automata. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Prioritized timed automata, DBM subtraction, zone merging, zone reduction
78Stavros Tripakis Fault Diagnosis for Timed Automata. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fault diagnosis, Timed Automata, Partial observability
78Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
78Henrik C. Bohnenkamp, Axel Belinfante Timed Testing with TorX. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
78Junyan Qian, Baowen Xu Model Checking for Timed Statecharts. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
77Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer On Presburger Liveness of Discrete Timed Automata. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
77Slawomir Lasota 0001, Igor Walukiewicz Alternating timed automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF emptyness problem, timed automata, Alternation
77Dirk Beyer 0001 Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. Search on Bibsonomy CHARME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed Automata
76Joseph S. Miller Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
75Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001 Sampled Universality of Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
73Jeremy Sproston Strict Divergence for Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
73Sara Adams, Joël Ouaknine, James Worrell 0001 Undecidability of Universality for Timed Automata with Minimal Resources. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
73Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
71Sicco Verwer, Mathijs de Weerdt, Cees Witteveen Polynomial Distinguishability of Timed Automata. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
71William K. C. Lam, Robert K. Brayton Alternating RQ Timed Automata. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
70Franck Cassez, Kim Guldstrand Larsen The Impressive Power of Stopwatches. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
69Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, timed automata, decidability, timed Petri nets
69Huimin Lin, Wang Yi 0001 A Proof System for Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
69Huimin Lin, Wang Yi 0001 A Complete Axiomatisation for Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
67Marcin Jurdzinski, Ashutosh Trivedi 0001 Concavely-Priced Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001 Decidability and Complexity Results for Timed Automata via Channel Machines. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Zhe Dang, Oscar H. Ibarra, Jianwen Su Composability of Infinite-State Activity Automata. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen Optimal infinite scheduling for multi-priced timed automata. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Priced timed automata, Optimal mean-payoff
66Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani 0001 On using priced timed automata to achieve optimal scheduling. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality
66Farn Wang Efficient Verification of Timed Automata with BDD-Like Data-Structures. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-checking, verification, data-structures, timed automata, BDD
66Dirk Beyer 0001 Improvements in BDD-Based Reachability Analysis of Timed Automata. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed automata, BDDs, Discretization
66Lina Khatib, Nicola Muscettola, Klaus Havelund Mapping Temporal Planning Constraints into Timed Automata. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
66Frits W. Vaandrager, Nancy A. Lynch Action Transducers and Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
65Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang Symbolic Model Checking for Probabilistic Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
65Zhe Dang Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
65Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
64Satoshi Yamane, Takashi Kanatani Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. Search on Bibsonomy EUC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
64Satoshi Yamane Deductive Verification of Probabilistic Real-Time Systems. Search on Bibsonomy ICDCS Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
64Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated Incremental Synthesis of Timed Automata. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
63Johan Bengtsson, Wang Yi 0001 On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad Extended Timed Automata and Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets
62Rongjie Yan, Guangyuan Li, Zhisong Tang Symbolic Model Checking of Finite Precision Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Finite precision timed automata, model checking, symbolic methods
62Jin Song Dong, Roger Duke, Ping Hao Integrating Object-Z with Timed Automata. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Specification, Timed Automata, Object-Z
62Pierluigi San Pietro, Zhe Dang Automatic Verification of Multi-queue Discrete Timed Automata. Search on Bibsonomy COCOON The full citation details ... 2003 DBLP  DOI  BibTeX  RDF infinite-state model-checking, real-time systems, Timed Automata
62Rachel Cardell-Oliver Conformance Tests for Real-Time Systems with Timed Automata Specifications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Real-time systems, Timed automata, Conformance testing, Test selection
61Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell 0001 Zone-Based Universality Analysis for Single-Clock Timed Automata. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Rajeev Alur, P. Madhusudan Decision Problems for Timed Automata: A Survey. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Biniam Gebremichael, Frits W. Vaandrager Specifying Urgency in Timed I/O Automata. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen Time-Abstracting Bisimulation for Probabilistic Timed Automata. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF time-abstracting bisimulation, probabilistic timed automata
60Eugene Asarin Timed Automata and Timed Languages Challenges and Open Problems. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi 0001 Timed vs. Time-Triggered Automata. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
60Elena Fersman, Paul Pettersson, Wang Yi 0001 Timed Automata with Asynchronous Processes: Schedulability and Decidability. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60Ruggero Lanotte, Andrea Maggiolo-Schettini Timed Automata with Monotonic Activities. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
59Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier Robust Analysis of Timed Automata via Channel Machines. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza Fault Diagnosis Using Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer Past Pushdown Timed Automata. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit 0001 Expressiveness of Updatable Timed Automata. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
59Christer Norström, Anders Wall, Wang Yi 0001 Timed Automata as Task Models for Event-Driven Systems. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Xavier Nicollin, Joseph Sifakis, Sergio Yovine Compiling Real-Time Specifications into Extended Automata. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
58Nils Jansen 0001, Mariëlle Stoelinga, Petra van den Bos (eds.) A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58David N. Jansen, Xinxin Liu Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Herman Geuvers Apartness and Distinguishing Formulas in Hennessy-Milner Logic. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Petra van den Bos, Marieke Huisman The Integration of Testing and Program Verification - A Position Paper. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Rance Cleaveland Better Automata Through Process Algebra. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Falk Howar, Bernhard Steffen Active Automata Learning as Black-Box Search and Lazy Partition Refinement. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Joshua Moerman, Thorsten Wißmann State Identification and Verification with Satisfaction. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Alex Thieme, Twan Basten Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Benedikt Bollig, Martin Leucker, Daniel Neider A Survey of Model Learning Techniques for Recurrent Neural Networks. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Markus Frohme, Bernhard Steffen From Languages to Behaviors and Back. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Carlos Diego Nascimento Damasceno, Daniel Strüber 0001 Family-Based Fingerprint Analysis: A Position Paper. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Bart Jacobs 0001 A Reconstruction of Ewens' Sampling Formula via Lists of Coins. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Ivan Kurtev, Jozef Hooman Runtime Verification of Compound Components with ComMA. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Hans Zantema Passive Automata Learning: DFAs and NFAs. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Tiago Ferreira 0001, Gerco van Heerdt, Alexandra Silva 0001 Tree-Based Adaptive Model Learning. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Rob van Glabbeek Fair Must Testing for I/O Automata. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Wil M. P. van der Aalst Discovering Directly-Follows Complete Petri Nets from Event Data. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
58Henk Barendregt, Antonino Raffone Axiomatizing Consciousness with Applications. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1549 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license