Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Stylianos Basagiannis"'
Publikováno v:
Numerical Algebra, Control & Optimization. 10:177-206
This paper pilots Schulz generalised matrix inverse algorithm as a paradigm in demonstrating how computer aided reachability analysis and theoretical numerical analysis can be combined effectively in developing verification methodologies and tools fo
Autor:
Vassilios A. Tsachouridis, Georgios Giantamidis, Stylianos Basagiannis, Konstantinos Kouramas
Publikováno v:
Lecture Notes in Control and Information Sciences-Proceedings ISBN: 9783030853174
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::510fd6596d83fcbffd9cb289fa54e3a0
https://doi.org/10.1007/978-3-030-85318-1_13
https://doi.org/10.1007/978-3-030-85318-1_13
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:1-29
The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in par
Publikováno v:
IDSTA
Insider threats are considered a major threat to information and communication technology (ICT) systems creating an important source of vulnerabilities from a security perspective. The technical knowledge that insiders have about the ICT systems, suc
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030545482
SAFECOMP
SAFECOMP
Safety LTL properties are ubiquitous in the verification of safety critical systems. There is already evidence that translating safety properties into DFA rather than Buchi automata results in faster verification times. Conventional translation strat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44066408b38b1e98bbbd7e015ef1e799
https://doi.org/10.1007/978-3-030-54549-9_8
https://doi.org/10.1007/978-3-030-54549-9_8
Publikováno v:
IEEE Transactions on Green Communications and Networking. 2:246-259
Energy-efficient passive optical networks (PONs) have gained significant interest since they are estimated to be the largest energy consumers among the wired access networks for the next ten years. In Ethernet PONs (EPONs), the equipment placed at th
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783030328719
IMBSA
IMBSA
Interlocking control prevents certain operations from occurring, unless preceded by specific events. It is used in traffic network control systems (e.g. railway interlocking control), piping and tunneling control systems and in other applications lik
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f8c59a5a920c878e3e67c6c6e292740
https://doi.org/10.1007/978-3-030-32872-6_14
https://doi.org/10.1007/978-3-030-32872-6_14
Publikováno v:
Computers & Security. 60:1-14
Near field communication (NFC) is a short-range wireless communication technology envisioned to support a large gamut of smart-device applications, such as payment and ticketing. Although two NFC devices need to be in close proximity to communicate (
Autor:
Alie El-Din Mady, Stylianos Basagiannis, El Hassan Ridouane, Miran Hasanagić, Luis Diogo Couto, Peter Gorm Larsen
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319747804
SEFM Workshops
SEFM Workshops
Model-based design tools supporting the Functional Mockup Interface (FMI) standard, often employ specification languages ideal for modelling specific domain problems without capturing the overall behavior of a Cyber-Physical System (CPS). These tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f45ca55dd381d2e269e7f7d8d89adfc4
https://doi.org/10.1007/978-3-319-74781-1_20
https://doi.org/10.1007/978-3-319-74781-1_20
Autor:
Stylianos Basagiannis, Erica Zavaglio, El Hassan Ridouane, Pasquale Antonante, Sara Falleni, Hajer Saada, Luis Diogo Couto
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 9783030034238
ISoLA (3)
ISoLA (3)
Model-Based Design is an effective way to carry out Cyber-Physical Systems (CPS) development. One of the main sets of challenges in CPS projects is dealing with the highly heterogeneous nature of the development teams. These challenges can be brought
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d135f8338ebe360ac7b5a398bfaa472
https://doi.org/10.1007/978-3-030-03424-5_33
https://doi.org/10.1007/978-3-030-03424-5_33