Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Yaroslav S. Usenko"'
Autor:
Holger Hermanns, Yaroslav S. Usenko, Johann L. Hurink, Henrik Bohnenkamp, Angelika Mader, David N. Jansen
Publikováno v:
International journal on software tools for technology transfer, 12(5), 305-317. Springer
International Journal on Software Tools for Technology Transfer, 12, 305-318
International Journal on Software Tools for Technology Transfer, 12, 5, pp. 305-318
International Journal on Software Tools for Technology Transfer, 12, 305-318
International Journal on Software Tools for Technology Transfer, 12, 5, pp. 305-318
We treat the problem of generating cost-optimal schedules for orders with individual due dates and cost functions based on earliness/tardiness. Orders can run in parallel in a resource-constrained manufacturing environment, where resources are subjec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8daa76f226b462eeea3cb5131143fcc2
https://doi.org/10.1007/s10009-009-0129-y
https://doi.org/10.1007/s10009-009-0129-y
Publikováno v:
Fundamentals of Software Engineering, Third IPM International Con ference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Paper s
Fundamentals of Software Engineering, Third IPM International Con ference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Paper s, Oct 2010, Eindhoven, Netherlands. pp.308-323, ⟨10.1007/978-3-642-11623-0_18⟩
Fundamentals of Software Engineering ISBN: 9783642116223
FSEN
Fokkink, W J, Klint, P, Lisser, B & Usenko, Y S 2009, ' Automated translation and analysis of a ToolBus script for auctions ', Lecture Notes in Computer Science, vol. 5961, pp. 308-323 .
Lecture Notes in Computer Science, 5961, 308-323. Springer Verlag
Vrije Universiteit Amsterdam
Fundamentals of Software Engineering, Third IPM International Con ference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Paper s, Oct 2010, Eindhoven, Netherlands. pp.308-323, ⟨10.1007/978-3-642-11623-0_18⟩
Fundamentals of Software Engineering ISBN: 9783642116223
FSEN
Fokkink, W J, Klint, P, Lisser, B & Usenko, Y S 2009, ' Automated translation and analysis of a ToolBus script for auctions ', Lecture Notes in Computer Science, vol. 5961, pp. 308-323 .
Lecture Notes in Computer Science, 5961, 308-323. Springer Verlag
Vrije Universiteit Amsterdam
International audience; ToolBus allows to connect tools via a software bus. Pro- gramming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work we presented a method for analyzing a Tscript by trans
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ab5d5bf4de8f3efe68388c84c72a5c8
https://hdl.handle.net/1871.1/59315469-ef3b-4ac6-862e-08101a0642ac
https://hdl.handle.net/1871.1/59315469-ef3b-4ac6-862e-08101a0642ac
Publikováno v:
Electronic Notes in Theoretical Computer Science. 162:191-196
We sketch the language mCRL2, the successor of μCRL, which is a process algebra with data, devised in 1990 to model and study the behaviour of interacting programs and systems. The language is improved in several respects guided by the experience ob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4a64122a6908775de87ab2095865d12
Publikováno v:
Tomas Krilavičius
ResearcherID
Scopus-Elsevier
ResearcherID
Scopus-Elsevier
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the na
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db535d7c42096099e6d3170a51822eaa
https://doi.org/10.3182/20050703-6-cz-1902.00338
https://doi.org/10.3182/20050703-6-cz-1902.00338
Publikováno v:
IFAC Proceedings Volumes. 37:423-428
This paper presents a formal model of the real-time service allocation unit or the Car Periphery Supervision (CPS) system—a case study proposed by Robert Bosch GmbH in the context of the EU IST project AMETIST. The CPS system is a hybrid system, wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a7507c7da337fac652cf83a26a1efa8
https://doi.org/10.1016/s1474-6670(17)30783-8
https://doi.org/10.1016/s1474-6670(17)30783-8
Autor:
Yaroslav S. Usenko
Publikováno v:
Science of Computer Programming, 43(1), 1-33
This paper describes two specifications of the leader election protocol from the home audio/video interoperability (HAVi) architecture. The specifications were written in two concurrent specification languages: μCRL and PROMELA. Two toolsets allowin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dbae33be32377b80ca649c3b747680c
Autor:
Alban Ponse, Yaroslav S. Usenko
Publikováno v:
Information Processing Letters, 80(1), 59-65
Information Processing Letters, 80(1), 59-65. Elsevier
Information Processing Letters, 80(1), 59-65. Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44cafaae54caf069b2f14c0a5d14608a
https://doi.org/10.1016/s0020-0190(01)00218-6
https://doi.org/10.1016/s0020-0190(01)00218-6
Publikováno v:
Journal of Logic and Algebraic Programming, 48(1-2), 39-70. Elsevier
The Journal of Logic and Algebraic Programming, 48, 39-70. Elsevier
Scopus-Elsevier
Journal of Logic and Algebraic Programming, 48(2), 39-70
The Journal of Logic and Algebraic Programming, 48, 39-70. Elsevier
Scopus-Elsevier
Journal of Logic and Algebraic Programming, 48(2), 39-70
We describe a linearization algorithm for parallel pCRL processes similar to the one implemented in the linearizer of the μCRL Toolset. This algorithm finds its roots in formal language theory: the `grammar' defining a process is transformed into a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77f7ab5049942c04b3922ad225b7ed59
https://doi.org/10.1016/S1567-8326(01)00005-4
https://doi.org/10.1016/S1567-8326(01)00005-4
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783540797067
FMICS
FMICS
This paper reports the analysis of an industrial implementationof the session-layer of a load-balancing software system. This softwarecomprises 7.5 thousand lines of C code. It is used for distributionof the print jobs among several document processo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::978389f792cb8a5596c653ca53edacc1
https://doi.org/10.1007/978-3-540-79707-4_14
https://doi.org/10.1007/978-3-540-79707-4_14
Publikováno v:
Proceedings of the 5th international workshop on Software and performance, 13-23
STARTPAGE=13;ENDPAGE=23;TITLE=Proceedings of the 5th international workshop on Software and performance
WOSP
Scopus-Elsevier
Proceedings 5th International Workshop on Software and Performance (WOSP'05, Palma, Illes Balears, Spain, July 12-14, 2005), 13-23
STARTPAGE=13;ENDPAGE=23;TITLE=Proceedings 5th International Workshop on Software and Performance (WOSP'05, Palma, Illes Balears, Spain, July 12-14, 2005)
STARTPAGE=13;ENDPAGE=23;TITLE=Proceedings of the 5th international workshop on Software and performance
WOSP
Scopus-Elsevier
Proceedings 5th International Workshop on Software and Performance (WOSP'05, Palma, Illes Balears, Spain, July 12-14, 2005), 13-23
STARTPAGE=13;ENDPAGE=23;TITLE=Proceedings 5th International Workshop on Software and Performance (WOSP'05, Palma, Illes Balears, Spain, July 12-14, 2005)
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the principal tractability of realistic cases with this approa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0a153bda19d86b51921d33ae21bb85c
https://research.utwente.nl/en/publications/a2ffd86e-165d-4f8e-b6c9-99cd2c7c8e3e
https://research.utwente.nl/en/publications/a2ffd86e-165d-4f8e-b6c9-99cd2c7c8e3e