المؤلفون: Graf, S., Pettersson, Paul, 1902, Steffen, B.

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume LNCS 15230. :1-7

مصطلحات موضوعية: Cyber-physical Systems, Embedded Systems, Model-checking, Real-time Scheduling, Real-time System Design, Real-time Systems, Task Automata, Timed Automata, Timed CCS, Timed Systems, UPPAAL, Automata theory, Cyber Physical System, Integrated circuit design, Intelligent systems, Real time control, Response time (computer systems), Cybe-physical systems, Embedded-system, Models checking, Real - Time system, Real time scheduling, Real-time system designs, Task automaton

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-68994

المؤلفون: Castro Iglesias, Antonio César

مصطلحات موضوعية: Transition systems, Process algebra, Timed automata, Probabilistic automata, Model checking, Uppaal model checker

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10773/42757

المؤلفون: Libero Nigro, Franco Cicirelli

المصدر: Modelling, Vol 5, Iss 3, Pp 694-719 (2024)

مصطلحات موضوعية: mutual exclusion algorithms, correctness analysis, automated reasoning, model checking, statistical model checking, Timed Automata, Engineering design, TA174

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2673-3951/5/3/37; https://doaj.org/toc/2673-3951

URL الوصول: https://doaj.org/article/60556c19bb2143a5b74c718389bb3de5

المؤلفون: Wenbo Zhou, Yujiao Zhao, Ye Zhang, Liwen Mu, Yiyuan Wang, Minghao Yin

المصدر: PeerJ Computer Science, Vol 10, p e2377 (2024)

مصطلحات موضوعية: Electronic examination, Timed automata, Formal verification, System design, Trustworthy digital education, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://peerj.com/articles/cs-2377.pdf; https://peerj.com/articles/cs-2377/; https://doaj.org/toc/2376-5992

URL الوصول: https://doaj.org/article/712619d8d9694fb78e5b81ac4d9512c5

المؤلفون: TIAN Yi, CHEN Jiehui, YUAN Haixiao, MA Shiyao

المصدر: Hangkong gongcheng jinzhan, Vol 15, Iss 2, Pp 108-116 (2024)

مصطلحات موضوعية: ac power system of aircraft, stpa, uca, the theory of timed automata, Motor vehicles. Aeronautics. Astronautics, TL1-4050

وصف الملف: electronic resource

Relation: http://hkgcjz.cnjournals.com/hkgcjz/article/abstract/2023022; https://doaj.org/toc/1674-8190

URL الوصول: https://doaj.org/article/0ca061066a9046f180e83d3a2f004d73

المؤلفون: Ahmed Bouzenada, Djamel Eddine Saidouni, Gregorio Díaz

المصدر: Mathematics, Vol 12, Iss 24, p 4008 (2024)

مصطلحات موضوعية: timed automata, real-time systems, action duration, maximality-based semantics, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/12/24/4008; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/46388619dd9546228743de23ccb61dbe

المؤلفون: Apipath Kamput, Chanon Dechsupa, Wiwat Vatanawood, Suttinan Pomsiri

المصدر: IEEE Access, Vol 12, Pp 124260-124281 (2024)

مصطلحات موضوعية: Formal verification, model checking, timed automata, UPPAAL, traffic control systems, safety property, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10666689/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/2126f3b27b784344b23b2633f3143c46

المؤلفون: André, Étienne, Duflot, Marie, Laversa, Laetitia, Lefaucheux, Engel

المساهمون: Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Alexandre Madeira, Alexander Knapp, ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022), ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019)

المصدر: Proceedings of the 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024) ; 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024) ; https://inria.hal.science/hal-04732493 ; 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024), Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro (Portugal), Portugal. ⟨10.1007/978-3-031-77382-2_20⟩ ; https://sefm-conference.github.io/2024/

مصطلحات موضوعية: timed automata, opacity, side-channel attacks, timed control, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Aveiro (Portugal), Portugal

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2409.10336; ARXIV: 2409.10336

الاتاحة: https://inria.hal.science/hal-04732493
https://inria.hal.science/hal-04732493v2/document
https://inria.hal.science/hal-04732493v2/file/2409.10336v2.pdf
https://doi.org/10.1007/978-3-031-77382-2_20

المؤلفون: André, Étienne

المساهمون: Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Kazuhiro Ogata, Meng Sun, Dominique Méry, ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022)

المصدر: Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM 2024) ; 25th International Conference on Formal Engineering Methods (ICFEM 2024) ; https://hal.science/hal-04822116 ; 25th International Conference on Formal Engineering Methods (ICFEM 2024), Kazuhiro Ogata; Meng Sun; Dominique Méry, Dec 2024, Hiroshima, Japan. pp.37-50, ⟨10.1007/978-981-96-0617-7_3⟩ ; https://icfem2024.info/

مصطلحات موضوعية: railway scheduling, scheduling, timed automata, parameter synthesis, IMITATOR, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]

جغرافية الموضوع: Hiroshima, Japan

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2412.04730; ARXIV: 2412.04730

الاتاحة: https://hal.science/hal-04822116
https://hal.science/hal-04822116v1/document
https://hal.science/hal-04822116v1/file/2412.04730v1.pdf
https://doi.org/10.1007/978-981-96-0617-7_3

المؤلفون: Alsmann, Eric, Bruse, Florian

المساهمون: Eric Alsmann and Florian Bruse

مصطلحات موضوعية: Timed Automata, Higher-Order Recursion Schemes, Tree Automata

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.16

الاتاحة: https://doi.org/10.4230/LIPIcs.TIME.2024.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-212236
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.16

المؤلفون: Akshay, S., Gastin, Paul, Govind, R., Srivathsan, B.

المساهمون: S. Akshay and Paul Gastin and R. Govind and B. Srivathsan

مصطلحات موضوعية: MITL model checking, timed automata, zones, liveness

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 311, 35th International Conference on Concurrency Theory (CONCUR 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.5

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2024.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-207774
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.5

المؤلفون: André, Étienne, Duflot, Marie, Laversa, Laetitia, Lefaucheux, Engel

المساهمون: Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022), ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019)

المصدر: SEFM 2024 ; https://inria.hal.science/hal-04732493 ; SEFM 2024, Nov 2024, Aveiro (Portugal), Portugal

مصطلحات موضوعية: timed automata, opacity, side-channel attacks, timed control, [INFO]Computer Science [cs]

جغرافية الموضوع: Aveiro (Portugal), Portugal

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2409.10336; ARXIV: 2409.10336

الاتاحة: https://inria.hal.science/hal-04732493
https://inria.hal.science/hal-04732493v1/document
https://inria.hal.science/hal-04732493v1/file/2409.10336v1.pdf

المؤلفون: André, Étienne, Dépernet, Sarah, Lefaucheux, Engel

المساهمون: Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Kazuhiro Ogata, Meng Sun, Dominique Méry, ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022)

المصدر: Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM 2024) ; 25th International Conference on Formal Engineering Methods (ICFEM 2024) ; https://hal.science/hal-04631012 ; 25th International Conference on Formal Engineering Methods (ICFEM 2024), Kazuhiro Ogata; Meng Sun; Dominique Méry, Dec 2024, Hiroshima, Japan. pp.51-69, ⟨10.1007/978-981-96-0617-7_4⟩ ; https://icfem2024.info/

مصطلحات موضوعية: timed automata, opacity, timing attacks, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Hiroshima, Japan

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2408.12240; ARXIV: 2408.12240

الاتاحة: https://hal.science/hal-04631012
https://hal.science/hal-04631012v3/document
https://hal.science/hal-04631012v3/file/ICFEM-opacity.pdf
https://doi.org/10.1007/978-981-96-0617-7_4

المؤلفون: Foughali, Mohammed, Mikučionis, Marius, Zhang, Maryline

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université Paris Cité (UPCité), Aalborg University Denmark (AAU)

المصدر: International Conference on Computers, Software, and Applications (COMPSAC) ; https://hal.science/hal-04571414 ; International Conference on Computers, Software, and Applications (COMPSAC), Jul 2024, Osaka, Japan

مصطلحات موضوعية: Timed automata, Model checking, Real-time systems, [INFO]Computer Science [cs]

جغرافية الموضوع: Osaka, Japan

Relation: hal-04571414; https://hal.science/hal-04571414; https://hal.science/hal-04571414v2/document; https://hal.science/hal-04571414v2/file/main.pdf

الاتاحة: https://hal.science/hal-04571414
https://hal.science/hal-04571414v2/document
https://hal.science/hal-04571414v2/file/main.pdf

المؤلفون: Lennartson, Bengt, 1956

المصدر: 16th IFAC Workshop on Discrete Event Systems (WODES), Prague, Czech Republic IFAC-PapersOnLine. 55(28):344-349

مصطلحات موضوعية: Timed systems, modular systems, timed automata, automata, optimization

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/533471
https://research.chalmers.se/publication/533471/file/533471_Fulltext.pdf

المؤلفون: CUARTAS GRANADA, Jaime, Cortés, David, BETANCOURT ARIAS, Joan Sebastian, ARANDA BUENO, Jesus Alexander, Cordy, Maxime, Ortiz Vega, James Jerson, Perrouin, Gilles, Schobbens, Pierre-Yves

المصدر: CUARTAS GRANADA , J , Cortés , D , BETANCOURT ARIAS , J S , ARANDA BUENO , J A , Cordy , M , Ortiz Vega , J J , Perrouin , G & Schobbens , P-Y 2024 , ' MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems ' , Software Testing, Verification and Reliability , vol. 35 , no. 1 , e1907 . https://doi.org/10.1002/stvr.1907

مصطلحات موضوعية: model-based testing, mutation testing, timed automata, UPPAAL

وصف الملف: application/pdf

الاتاحة: https://researchportal.unamur.be/en/publications/5664f763-0fff-4ffb-a60f-529c5df92f9d
https://doi.org/10.1002/stvr.1907
https://pure.unamur.be/ws/files/102978879/STVR_Journal_MUPPAAL_Final.pdf
http://www.scopus.com/inward/record.url?scp=85208782810&partnerID=8YFLogxK

المؤلفون: Lehmann, Sascha, Schupp, Sibylle

مصطلحات موضوعية: Containment checking | Model transformation | Observation matching | Reachability problem | Timed automata, 0: Computer Science, Information and General Works::004: Computer Sciences, 6: Technology::620: Engineering, 5: Natural Sciences and Mathematics::519: Applied Mathematics, Probabilities

وصف الملف: application/pdf

Relation: Software and systems modeling; 1619-1374%7C%7C%7C1619-1366; Projekt DEAL; Software and Systems Modeling (in Press): (2024); https://hdl.handle.net/11420/52210; https://doi.org/10.15480/882.13769

الاتاحة: https://hdl.handle.net/11420/52210
https://doi.org/10.15480/882.13769

المؤلفون: Bose, Sougata, Henzinger, Thomas, Lehtinen, Karoliina, Schewe, Sven, Totzke, Patrick

المساهمون: Modélisation et Vérification (MOVE), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), ANR-23-CE48-0008,QuaSy,Synthèse Quantitative(2023), European Project: 101022093,VAMOS

المصدر: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04271355 ; Logical Methods in Computer Science, 2024, Logical Methods in Computer Science, Volume 20, Issue 4, ⟨10.46298/LMCS-20(4:1)2024⟩

مصطلحات موضوعية: History-determinism, Good-for-games, fair simulation, synthesis, Timed Automata, [INFO]Computer Science [cs]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2304.03183; info:eu-repo/grantAgreement//101022093/EU/Vigilant Algorithmic Monitoring of Software/VAMOS; ARXIV: 2304.03183

الاتاحة: https://hal.science/hal-04271355
https://hal.science/hal-04271355v1/document
https://hal.science/hal-04271355v1/file/main%20%281%29.pdf
https://doi.org/10.46298/LMCS-20(4:1)2024

المؤلفون: Reniers, Michel A., Tielen, René L.P.

المصدر: Reniers , M A & Tielen , R L P 2024 , ' Expressivity of Timed Discrete Event Systems and Timed Automata ' , IFAC-PapersOnLine , vol. 58 , no. 1 , pp. 216-221 . https://doi.org/10.1016/j.ifacol.2024.07.037

مصطلحات موضوعية: Timed discrete event systems, expressivity, timed automata

وصف الملف: application/pdf

الاتاحة: https://research.tue.nl/en/publications/c37645af-ca84-4c94-a172-4f1ffdc772b1
https://doi.org/10.1016/j.ifacol.2024.07.037
https://pure.tue.nl/ws/files/335700135/1-s2.0-S2405896324001150-main.pdf
http://www.scopus.com/inward/record.url?scp=85199491275&partnerID=8YFLogxK

المؤلفون: Libero Nigro, Franco Cicirelli

المصدر: Mathematics, Vol 12, Iss 6, p 812 (2024)

مصطلحات موضوعية: embedded real-time systems, timing constraints, schedulability analysis, formal modeling, high-level time Petri nets, timed automata, Mathematics, QA1-939

Relation: https://www.mdpi.com/2227-7390/12/6/812; https://doaj.org/toc/2227-7390; https://doaj.org/article/f99bad6a57414dd7a94b7c9e35a8f25e

الاتاحة: https://doi.org/10.3390/math12060812
https://doaj.org/article/f99bad6a57414dd7a94b7c9e35a8f25e