المؤلفون: Saddek Bensalem, Moez Krichen, Stavros Tripakis

المصدر: 2008 9th International Workshop on Discrete Event Systems Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on. :225-230 May, 2008

Relation: 2008 9th International Workshop on Discrete Event Systems - WODES

المؤلفون: Stavros Tripakis, Karen Rudie

المصدر: IEEE Control Systems Letters. 6:1652-1657

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Control and Optimization, Theoretical computer science, Formal Languages and Automata Theory (cs.FL), Computer science, Event (relativity), Computer Science - Formal Languages and Automata Theory, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Logic in Computer Science (cs.LO), Undecidable problem, Decidability, Software Engineering (cs.SE), Computer Science - Software Engineering, Control and Systems Engineering, Formal specification, FOS: Electrical engineering, electronic engineering, information engineering, Computer Science - Multiagent Systems, Observability, Multiagent Systems (cs.MA)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60f15db1795810477186058191185ea5
https://doi.org/10.1109/lcsys.2021.3130887

المؤلفون: Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis

المصدر: IFAC-PapersOnLine. 55:158-164

مصطلحات موضوعية: Control and Systems Engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::20c0d8fd5ff1147d7abb7732cd7e464d
https://doi.org/10.1016/j.ifacol.2022.10.338

المؤلفون: Srinivas Pinisetty, Ankit Pradhan, Partha Roop, Stavros Tripakis

المصدر: Formal Methods in System Design. 59:205-252

مصطلحات موضوعية: Hardware and Architecture, Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::67fa2f1b450978c6a60e6069b8671bb3
https://doi.org/10.1007/s10703-022-00401-y

المؤلفون: Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis

المصدر: 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::64052c97d08ec2a80492d9d8201f6936
https://doi.org/10.1109/csf54842.2022.9919679

المؤلفون: Cremona, Fabio, Lohstroh, Marten, Broman, David, 1977, Di Natale, Marco, Lee, Edward, Stavros, Tripakis

المصدر: Proceedings of the 14th ACM-IEEE International Conference on formal Methods and Models for System Design (MEMOCODE).

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199042
https://kth.diva-portal.org/smash/get/diva2:1059700/FULLTEXT01.pdf

المؤلفون: Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis

المصدر: Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science ISBN: 9783031158384

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd9d1f038e699c505dbc7e1edf20efc0

المؤلفون: Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis

المصدر: International Journal on Software Tools for Technology Transfer. 23:1-29

مصطلحات موضوعية: Mealy machine, Finite-state machine, Learning automata, Computer science, business.industry, Moore machine, Automaton, Theory of computation, Artificial intelligence, Equivalence (formal languages), business, Equivalence (measure theory), Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::31f4b00c48a1a808f45577d2a7046fb9
https://doi.org/10.1007/s10009-019-00544-0

المؤلفون: Lisa Oakley, Alina Oprea, Stavros Tripakis

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, Formal Languages and Automata Theory (cs.FL), FOS: Electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, Systems and Control (eess.SY), Cryptography and Security (cs.CR), Electrical Engineering and Systems Science - Systems and Control, Machine Learning (cs.LG), Computer Science::Cryptography and Security

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0926dd0b8e9b6abb505ac1f8391284e5
http://arxiv.org/abs/2110.02125

المؤلفون: Igor Buzhinsky, Stavros Tripakis, Arseny Nerinovsky

المصدر: Machine Learning.

مصطلحات موضوعية: Artificial neural network, Contextual image classification, Computer science, business.industry, Space (commercial competition), Machine learning, computer.software_genre, Measure (mathematics), Adversarial system, Artificial Intelligence, Robustness (computer science), Classifier (linguistics), Probability distribution, Artificial intelligence, business, computer, Software, Computer Science::Cryptography and Security

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b1f8ebc15087ed28a5283187b0650271
https://doi.org/10.1007/s10994-021-05994-9