X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
parametric timed automata (16) 16
model checking (15) 15
computer science (13) 13
automata (12) 12
analysis (11) 11
computer science, theory & methods (11) 11
parametric models (9) 9
robustness (9) 9
clocks (8) 8
computer science, software engineering (8) 8
mathematical models (8) 8
robots (8) 8
verification (8) 8
model-checking (7) 7
modeling (7) 7
cost accounting (6) 6
psychology, mathematical (6) 6
real-time systems (6) 6
algorithms (5) 5
logic (5) 5
parameter synthesis (5) 5
parametric model checking (5) 5
parametric verification (5) 5
studies (5) 5
systems (5) 5
timing (5) 5
[info.info-es]computer science [cs]/embedded systems (4) 4
[info.info-lo]computer science [cs]/logic in computer science [cs.lo] (4) 4
computer science - logic in computer science (4) 4
computer science, hardware & architecture (4) 4
datasets (4) 4
embedded systems (4) 4
inverse method (4) 4
item response theory (4) 4
markov processes (4) 4
multilevel models (4) 4
psychology, applied (4) 4
psychology, educational (4) 4
reaction time (4) 4
semantics (4) 4
software (4) 4
software engineering (4) 4
software engineering/programming and operating systems (4) 4
temporale logik (4) 4
test items (4) 4
theory of computation (4) 4
analytical models (3) 3
computation (3) 3
computational modeling (3) 3
correlations (3) 3
csp (3) 3
decidability (3) 3
delays (3) 3
educational evaluation (3) 3
engineering, electrical & electronic (3) 3
formal methods (3) 3
logic in computer science (3) 3
markov chains (3) 3
markov models (3) 3
mathematical model (3) 3
mathematics (3) 3
methods (3) 3
parametric timed verification (3) 3
probabilistic model checking (3) 3
probability theory (3) 3
reachability (3) 3
response time (3) 3
specifications (3) 3
temporal logic (3) 3
testing (3) 3
timed automata (3) 3
timed tests (3) 3
[ info.info-es ] computer science [cs]/embedded systems (2) 2
abstraction (2) 2
application software (2) 2
asynchronous circuits (2) 2
automation (2) 2
bayesian analysis (2) 2
behavior (2) 2
calibration (2) 2
comparative analysis (2) 2
computer science - formal languages and automata theory (2) 2
computer science, information systems (2) 2
computer simulation (2) 2
cyber-physisches system (2) 2
delay (2) 2
design (2) 2
education & educational research (2) 2
estimate reliability (2) 2
exact solutions (2) 2
expressiveness (2) 2
fallstudie (2) 2
formal languages and automata theory (2) 2
formal method (2) 2
formal verification (2) 2
fragment (2) 2
goodness of fit (2) 2
hybrid automata (2) 2
hybridsystem (2) 2
imitator (2) 2
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 4/2019, Volume 21, Issue 2, pp. 203 - 219
Journal Article
Formal methods in system design, ISSN 1572-8102, 2009, Volume 35, Issue 2, pp. 121 - 151
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2019, Volume 11388, pp. 409 - 424
.... In this work, we prove the correctness of a variant of this industrial algorithm. We use a method combining abstraction, the SafeProver solver, and a parametric timed model-checker... 
Model checking | Parameterized verification | Parametric timed automata | Leader election | Distributed algorithm | SaveProver | Computer Science - Logic in Computer Science
Conference Proceeding
Nonlinear Analysis: Hybrid Systems, ISSN 1751-570X, 02/2017, Volume 23, pp. 166 - 190
Journal Article
Journal Article
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 12/2018, Volume 2018-, pp. 1 - 9
...). We first study the LTL model checking problem for PTA. Based on a careful analysis of parametric zones, we introduce a new layered NDFS approach to LTL model checking... 
LTL model checking | Semantics | Automata | Model checking | Timing | Space exploration | Cost accounting | parametric timed automata | Clocks | depth first search
Conference Proceeding
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 07/2019, pp. 176 - 183
.... Thales developed an open formalism "Time4Sys" to model real-time systems, with expressive features such as periodic or sporadic tasks, task dependencies, distributed systems, etc... 
IMITATOR | Program processors | Processor scheduling | schedulability analysis | Automata | parametric timed model checking | Real-time systems | Timing | Task analysis | Clocks | Time4Sys
Conference Proceeding
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), 11/2019, pp. 87 - 96
.... This challenge becomes even harder when some timing constants are missing or unknown. Parametric timed formalisms, such as parametric timed automata (PTAs... 
TCTL | model checking | decidability | Semantics | Automata | Syntactics | parameter synthesis | Delays | Cost accounting | parametric timed automata | Clocks | invariants
Conference Proceeding
ACM Transactions on Embedded Computing Systems (TECS), ISSN 1539-9087, 12/2016, Volume 16, Issue 2, pp. 1 - 26
Journal Article
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, ISSN 2352-2208, 10/2018, Volume 99, pp. 114 - 142
.... Our technique adapts the ideas of the automata-based approach to Clock Aware LTL model checking of timed automata... 
MODEL CHECKING | Parameter synthesis | Parametric timed automaton | SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | Clock-aware linear temporal logic | LOGIC | Linear temporal logic
Journal Article
Information processing letters, ISSN 0020-0190, 2007, Volume 102, Issue 5, pp. 208 - 213
Journal Article
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 11/2017, Volume 2017-, pp. 1 - 10
Parametric timed automata are a powerful formalism to reason about, model and verify real-time systems in which some constraints are unknown, or subject to uncertainty... 
IMITATOR | parametric model checking | Automata | Model checking | Real-time systems | Explosions | Timing | exploration order | Cost accounting | parametric timed automata | Clocks | Exploration order | Parametric model checking | Parametric timed automata
Conference Proceeding
Theoretical Computer Science, ISSN 0304-3975, 01/2015, Volume 564, Issue C, pp. 131 - 148
.... For this logic, we study decision problems which are the analogues of satisfiability, validity and model-checking problems for non-parametric temporal logic... 
Parametric real-time verification | (Parametric) timed automata | Temporal logic | MODEL-CHECKING | AUTOMATA | COMPUTER SCIENCE, THEORY & METHODS | Intervals | Queries | Constrictions | Fragments | Polarity | Mathematical models | Polynomials | Logic
Journal Article
International Journal of Foundations of Computer Science, ISSN 0129-0541, 08/2006, Volume 17, Issue 4, pp. 833 - 849
In the development of real-time communicating hardware/embedded-software systems, it is frequently the case that we want to refine/optimize the system's internal behavior while preserving the external timed 1/0 behavior... 
Equivalence checking | Timed failure equivalence | Parametric timed automata | Abstraction | Real-time communicating systems | CSP | abstraction | real-time communicating systems | SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | equivalence checking | timed failure equivalence | parametric timed automata
Journal Article
IEICE transactions on fundamentals of electronics, communications and computer sciences, ISSN 0916-8508, 11/2005, Volume 88, Issue 11, pp. 3007 - 3021
Journal Article
2014
.... In this thesis we investigate several such algorithmic problems. In the first part of the thesis we develop a theory of completeness thresholds in Bounded Model Checking... 
Computer science | Algorithms | formal verification | automata theory | temporal logic | bounded model checking | Mathematics | Application software | parametric timed automata
Dissertation
Information and Computation, ISSN 0890-5401, 04/2015, Volume 241, pp. 321 - 348
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.