Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Csaba Ölveczky, P."'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 105, Iss Proc. FTSCS 2012, Pp 5-21 (2012)
Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous commun
Externí odkaz:
https://doaj.org/article/dcccc8aa8b754a4c9effc2a349253a54
Autor:
Peter Csaba Ölveczky
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 56, Iss Proc. AMMSE 2011, Pp 3-13 (2011)
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems. One can then use the code generation facilities of the tools for the modeling la
Externí odkaz:
https://doaj.org/article/7d3b174a32494c31b8ec02e38d482a4d
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 56, Iss Proc. AMMSE 2011, Pp 49-63 (2011)
e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulation, reachability analysis, and LTL model checking. e-Motions is charac
Externí odkaz:
https://doaj.org/article/c844ef7dd5a34a4f85184a52294a5bcb
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 117-136 (2010)
This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude specifications. W
Externí odkaz:
https://doaj.org/article/c886454a8d3144088c750291acf0d813
Autor:
José Meseguer, Peter Csaba Ölveczky
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 137-157 (2010)
Distributed embedded systems (DESs) are no longer the exception; they are the rule in many application areas such as avionics, the automotive industry, traffic systems, sensor networks, and medical devices. Formal DES specification and verification i
Externí odkaz:
https://doaj.org/article/eca2c21a23784ef7adac84e8699628fc
Autor:
Peter Csaba Ölveczky, Kyungmin Bae
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 46-66 (2010)
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computation
Externí odkaz:
https://doaj.org/article/27f75ce46fc64e21967c8ffb183d0792
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 82-100 (2010)
This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physic
Externí odkaz:
https://doaj.org/article/954daf4776274c7cb7f375572921cce3
Autor:
Bosnacki, D., van den Brand, M.G.J., Gabriels, J.M.A.M., Jacobs, B., Kuiper, R., Roede, S., Wijs, A.J., Zhang, D., Braga, C., Csaba Ölveczky, P.
Publikováno v:
Formal Aspects of Component Software ISBN: 9783319289335
FACS
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, 141-160
STARTPAGE=141;ENDPAGE=160;TITLE=Formal Aspects of Component Software
FACS
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, 141-160
STARTPAGE=141;ENDPAGE=160;TITLE=Formal Aspects of Component Software
An important problem in Model Driven Engineering is maintaining the correctness of a specification under model transformations. We consider this issue for a framework that implements the transformation chain from the modeling language SLCO to Java. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fa4d8227b85747f39b6d59660917e66
http://www.scopus.com/inward/record.url?scp=84958093527&partnerID=8YFLogxK
http://www.scopus.com/inward/record.url?scp=84958093527&partnerID=8YFLogxK
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.