Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Bert Lisser"'
Autor:
Jeroen van den Bos, Atze van der Ploeg, Bas Basten, Paul Klint, Bert Lisser, Arnold Lankamp, Tijs van der Storm, Mark Hills, Jurgen Vinju
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2015, 114, pp.7-19. ⟨10.1016/j.scico.2015.11.003⟩
Science of Computer Programming, 114, 7-19
Science of Computer Programming, 2015, 114, pp.7-19. ⟨10.1016/j.scico.2015.11.003⟩
Science of Computer Programming, Elsevier, 2015, 114, pp.7-19. ⟨10.1016/j.scico.2015.11.003⟩
Science of Computer Programming, 114, 7-19
Science of Computer Programming, 2015, 114, pp.7-19. ⟨10.1016/j.scico.2015.11.003⟩
International audience; All software evolves, and programming languages and programming language tools are no exception. And just like in ordinary software construction, modular implementations can help ease the process of changing a language impleme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c09688184a2486fe7294cffc13ee742f
https://doi.org/10.1016/j.scico.2015.11.003
https://doi.org/10.1016/j.scico.2015.11.003
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:
Mathematical models and methods in applied science, 11(6), 1101-1127. World Scientific Publishing Co. Pte. Ltd.
Mathematical Models and Methods in Applied Sciences, 11(6), 1101-1127
Mathematical Models and Methods in Applied Sciences, 11(6), 1101-1127
The paper introduces a new numerical method for continuation of equilibria of models describing physiologically structured populations. To describe such populations, we use integral equations coupled with each other via interaction (or feedback) vari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79c4807ff5e44ee615bb83d8f1c778c0
https://hdl.handle.net/11245/1.183490
https://hdl.handle.net/11245/1.183490
Autor:
Bert Lisser, C. T. H. Everaars
Publikováno v:
Coordinatio Languages and Models ISBN: 9783540658368
COORDINATION
COORDINATION
In this paper we describe an experiment in which MANIFOLD is used to coordinate the interprocess communication in a parallelized proposition solver. MANIFOLD is very well suited for applications involving dynamic process creation and dynamically chan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::454ed9c827d4ffda4b587b8f68296370
https://doi.org/10.1007/3-540-48919-3_20
https://doi.org/10.1007/3-540-48919-3_20
Publikováno v:
Electronic Notes in Theoretical Computer Science. (1):68-83
With model checking techniques growing towards maturity, the availability for standardised file formats for labeled transition systems is more important than ever. A number of requirements for file formats are introduced, based on requirements for so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d688878ece3a506c743b1ca98bc29192
Publikováno v:
Proceedings of the 6th International Workshop on Parallel and Distributed Methods on verifiCation, 93-99
STARTPAGE=93;ENDPAGE=99;TITLE=Proceedings of the 6th International Workshop on Parallel and Distributed Methods on verifiCation
STARTPAGE=93;ENDPAGE=99;TITLE=Proceedings of the 6th International Workshop on Parallel and Distributed Methods on verifiCation
We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed μCRL toolset are also reported.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2dc6a021a05ca4f8ddf59c5dc3478778
Autor:
Jan Friso Groote, Bert Lisser
Publikováno v:
Pure TUe
ACM Sigplan Notices, 37(12), 98-107. Association for Computing Machinery, Inc
ACM Sigplan Notices, 37(12), 98-107. Association for Computing Machinery, Inc
Specifications of system behaviour tend to become large. Analysis of such specifications requires automated tools. Most attention hitherto has been invested in fully automatic tools. We however believe that in many cases human intervention is require
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a10c5416cf5590634ec8ae40444f9a4
https://research.tue.nl/en/publications/63fdb935-31a5-433a-95c0-7cb5abd0c384
https://research.tue.nl/en/publications/63fdb935-31a5-433a-95c0-7cb5abd0c384