Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
UPPAAL timed automata (võtmesõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
10
Vaata veel..
(4/60)
Ekspordi
ekspordi kõik päringu tulemused
(10)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
A tool-supported approach for introducing aspects in UPPAAL timed automata
Truscan, Dragos
;
Vain, Jüri
;
Koskinen, Martin
;
Iqbal, Junaid
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
2015
/
p. 349-364
http://dx.doi.org/10.1007/978-3-319-25579-8_20
artikkel kogumikus
2
artikkel kogumikus
Aspect-oriented Model-based testing with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gert
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 117-124
https://doi.org/10.1007/978-3-030-78428-7_10
artikkel kogumikus
3
artikkel kogumikus
Combining aspect-orientation and UPPAAL timed automata
Truscan, Dragos
;
Vain, Jüri
;
Koskinen, Martin
ICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014
2014
/
p. 159-164 : ill
artikkel kogumikus
4
artikkel kogumikus
Developing multi-view Contracts using Event-B and Uppaal Timed Automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Guin, Jishu
2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings
2016
/
p. 126-134 : ill
https://doi.org/10.1109/ICECCS.2016.024
artikkel kogumikus
5
artikkel ajakirjas
DTRON : a tool for distributed model-based testing of time critical applications
Anier, Aivo
;
Vain, Jüri
;
Tsiopoulos, Leonidas
Proceedings of the Estonian Academy of Sciences
2017
/
p. 75-88 : ill
https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est
artikkel ajakirjas
6
artikkel kogumikus
Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
;
Nõmm, Sven
Green IT Engineering: Social, Business and Industrial Applications
2019
/
p. 273-297
https://doi.org/10.1007/978-3-030-00253-4_12
artikkel kogumikus
7
artikkel kogumikus
Model-based analysis of secure and patient-dependent pacemaker monitoring system
Tsiopoulos, Leonidas
;
Kuusik, Alar
;
Vain, Jüri
;
Bahsi, Hayretdin
Body Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings
2020
/
p. 77-91
https://doi.org/10.1007/978-3-030-64991-3_6
artikkel kogumikus
8
artikkel kogumikus
Multi-fragment Markov model guided online test generation for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
ICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 2017
2017
/
p. 594-607 : ill
http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267
http://ceur-ws.org/Vol-1844/10000594.pdf
artikkel kogumikus
9
artikkel kogumikus
Multi-view modeling for MPSoC design aspects [Online resource]
Vain, Jüri
;
Apneet Kaur
;
Tsiopoulos, Leonidas
;
Raik, Jaan
;
Jenihhin, Maksim
BEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 2018
2018
/
4 p.: ill
https://doi.org/10.1109/BEC.2018.8600986
artikkel kogumikus
10
raamat
The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
Iqbal, Junaid
;
Truscan, Dragos
;
Porres, Ivan
;
Tsiopoulos, Leonidas
;
Vain, Jüri
2016
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
raamat
Kirjeid leitud 10, kuvan
1 - 10
pealkiri
39
1.
A tool-supported approach for introducing aspects in UPPAAL timed automata
2.
Aspect-oriented Model-based testing with UPPAAL timed automata
3.
Combining aspect-orientation and UPPAAL timed automata
4.
Developing multi-view Contracts using Event-B and Uppaal Timed Automata
5.
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
6.
On mutating UPPAAL timed automata to assess robustness of web services
7.
An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata
8.
Application of bidding automata for measuring the informativeness of hand motion characteristic features
9.
Attributed automata model of computing
10.
Book reviews : Semigroups and automata. SelectaUno Kaljulaid (1941-1999). Edited by Jaak Peetre (Lund, Sweden) and Jaan Penjam (Tallinn, Estonia), 2006, IOS Press, Amsterdam. ISBN 1-58603-582-7
11.
Boolean automata and atoms of regular languages
12.
Categories, automata and splicing systems
13.
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
14.
Design of real-time systems using timed object modelling
15.
Disturbance decoupling problem in finite automata : sensor location problem
16.
Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
17.
Formal verification of maritime autonomous systems using UPPAAL STRATEGO
18.
Human-robot interaction learning using timed automata
19.
Implementing duration calculus specifications by timed automata
20.
Informational operators of finite automata
21.
Integrating refinement-based methods for developing timed systems
22.
Iterative approach to control automata partitioning
23.
Learning timed automata from interaction traces
24.
Lower bound methods for the size of nondeterministic finite automata revisited
25.
Models of attributed automata
26.
Post-surjectivity and balancedness of cellular automata over groups
27.
Provably correct test development for timed systems
28.
Provably correct test generation for online testing of timed systems
29.
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
30.
Refinement-based development of timed systems
31.
Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery
32.
(Semi-)Automatic generation of Uppaal models for model checking embedded control systems
33.
Supervised training of voting automata for the surgeon's motion recognition during laparoscope surgery
34.
Surjective cellular automata far from the Garden of Eden
35.
Synthesis of control automata using graph schemes of algorithms
36.
The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
37.
Theoretical aspects of symbolic automata
38.
Timed automata based provably correct robot control
39.
Wreath products of generalized automata
võtmesõna
16
1.
bisimulation of Uppaal timed automata
2.
UPPAAL timed automata
3.
analytical mechanics of cellular automata
4.
Automata, Formal Verification
5.
cellular automata
6.
finite automata
7.
nondeterministic finite automata
8.
reversible deter-ministic finite automata (REV-DFAs)
9.
rtioco-based timed test sequences
10.
timed automata
11.
timed automata mutation
12.
timed symbolic traces
13.
timed-automata
14.
UPPAAL
15.
Uppaal model-checker
16.
Uppaal Tron
allikas
4
1.
Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings
2.
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
3.
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings
4.
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
TTÜ märksõna
1
1.
UPPAAL STRATEGO