Zobrazeno 1 - 10 of 2 638 pro vyhledávání: '"Havelund, K."'
1
ZTTK syndrome: Clinical and molecular findings of 15 cases and a review of the literature
Autor: Kushary, S.T., Revah-Politi, A., Barua, S., Ganapathi, M., Accogli, A., Aggarwal, V., Brunetti-Pierri, N., Cappuccio, G., Capra, V., Fagerberg, C.R., Gazdagh, G., Guzman, E., Hadonou, M., Harrison, V., Havelund, K., Iancu, D., Kraus, A., Lippa, N.C., Mansukhani, M., McBrian, D., McEntagart, M., Pacio-Miguez, M., Palomares-Bralo, M., Pottinger, C., Ruivenkamp, C.A.L., Sacco, O., Santen, G.W.E., Santos-Simarro, F., Scala, M., Short, J., Sorensen, K.P., Woods, C.G., Yeboa, K.A., DDD Study, TUDP Consortium
Publikováno v: Am J Med Genet A
American Journal of Medical Genetics Part A. WILEY
American Journal of Medical Genetics Part A
Kushary, S T, Revah-Politi, A, Barua, S, Ganapathi, M, Accogli, A, Aggarwal, V, Brunetti-Pierri, N, Cappuccio, G, Capra, V, Fagerberg, C R, Gazdagh, G, Guzman, E, Hadonou, M, Harrison, V, Havelund, K, Iancu, D, Kraus, A, Lippa, N C, Mansukhani, M, McBrian, D, McEntagart, M, Pacio-Míguez, M, Palomares-Bralo, M, Pottinger, C, Ruivenkamp, C A L, Sacco, O, Santen, G W E, Santos-Simarro, F, Scala, M, Short, J, Sørensen, K P, Woods, C G, Anyane Yeboa, K, DDD Study & TUDP Consortium 2021, ' ZTTK syndrome : Clinical and molecular findings of 15 cases and a review of the literature ', American Journal of Medical Genetics, Part A, vol. 185, no. 12, pp. 3740-3753 . https://doi.org/10.1002/ajmg.a.62445
Zhu-Tokita-Takenouchi-Kim (ZTTK) syndrome is caused by de novo loss-of-function variants in the SON gene (MIM #617140). This multisystemic disorder is characterized by intellectual disability, seizures, abnormal brain imaging, variable dysmorphic fea
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4593b25670ca216555ca32b4c3200bd
https://hdl.handle.net/1887/3213898
Zobrazit plný text záznamu
2
Deadlock detection for actor-based coroutines
Autor: Azadbakht, Keyvan, de Boer, Frank S., de Vink, Erik, Havelund, K., Peleska, J., Roscoe, B., de Vink, E.
Publikováno v: Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings, 39-54
STARTPAGE=39;ENDPAGE=54;TITLE=Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
Formal Methods ISBN: 9783319955810
FM
The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations belonging to an actor. We model the local behavior of an actor as a well-st
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1be865af42bec53bcb4381f125450bf3
http://www.scopus.com/inward/record.url?scp=85050348788&partnerID=8YFLogxK
Zobrazit plný text záznamu
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
4
Formal API Specification of the PikeOS Separation Kernel
Autor: Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Stephan, W., Wolff, B., Nemouchi, Y., Havelund, K., Holzmann, G., Joshi, R.
Publikováno v: Lecture Notes in Computer Science
NASA Formal Methods-7th International Symposium, NFM 2015
NASA Formal Methods-7th International Symposium, NFM 2015, Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi, Apr 2015, Pasadena, CA, USA, France. pp.375--389, ⟨10.1007/978-3-319-17524-9_26⟩
Havelund, K.; Holzmann, G.; Joshi, R. (ed.), NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, pp. 375-389
Lecture Notes in Computer Science ISBN: 9783319175232
NFM
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, 375-389
STARTPAGE=375;ENDPAGE=389;TITLE=NASA Formal Methods
Lecture Notes in Computer Science ; 9058, 375-389. Berlin : Springer International Publishing
STARTPAGE=375;ENDPAGE=389;TITLE=Lecture Notes in Computer Science ; 9058
Verbeek, F, Havle, O, Schmaltz, J, Tverdyshev, S, Blasum, H, Langenstein, B, Werner, S, Wolff, B & Nemouchi, Y 2015, Formal API Specification of the PikeOS Separation Kernel . in K Havelund, G Holzmann & R Joshi (eds), NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings . Springer International Publishing AG, Cham, Lecture Notes in Computer Science (LNCS) series, no. 9058, Programming and Software Engineering LNPSE, vol. 9058, pp. 375-389, 7th NASA Formal Methods Symposium, Pasadena, United States, 27/04/15 . https://doi.org/10.1007/978-3-319-17524-9_26
PikeOS is an industrial operating system for safety and security critical applications in, for example, avionics and automotive contexts. A consortium of several European partners from industry and academia works on the certification of PikeOS up to
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fa5d6a773db1c731aea92a8a77bf08e
https://hal.inria.fr/hal-01275405
Zobrazit plný text záznamu
5
To compose, or not to compose, that is the question
Autor: de Putter, Sander, Wijs, Anton, Havelund, K., Peleska, J., Roscoe, B., de Vink, E.
Publikováno v: Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings, 485-504
STARTPAGE=485;ENDPAGE=504;TITLE=Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
Formal Methods ISBN: 9783319955810
FM
To combat state space explosion several compositional verification approaches have been proposed. One such approach is compositional aggregation, where a given system consisting of a number of parallel components is iteratively composed and minimised
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6474560608706617256ea5527de5fa46
https://research.tue.nl/en/publications/404aacdd-317a-41ad-99a1-a064394d0559
Zobrazit plný text záznamu
6
Periodical
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
CIF 3 : model-based engineering of supervisory controllers
Autor: Beek, van, D.A., Fokkink, W.J., Hendriks, D., Hofkamp, A.T., Markovski, J., Mortel - Fronczak, van de, J.M., Reniers, M.A., Abraham, E., Havelund, K.
Publikováno v: Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, 575-580
STARTPAGE=575;ENDPAGE=580;TITLE=Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642548611
TACAS
The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c17817cd85e8056c25fb101e02facfb
https://doi.org/10.1007/978-3-642-54862-8_48
Zobrazit plný text záznamu
9
A symbolic framework for model-based testing
Autor: Frantzen, L., Tretmans, J., Willemse, T.A.C., Havelund, K., Nunez, M., Rosu, G., Wolff, B.
Publikováno v: Lecture notes in computer science (2006): 40–54.
info:cnr-pdr/source/autori:Frantzen L., Tretmans J., Willemse T./titolo:A symbolic framework for model-based testing/doi:/rivista:Lecture notes in computer science/anno:2006/pagina_da:40/pagina_a:54/intervallo_pagine:40–54/volume
Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification-FATES/RV'06, 40-54. Berlin : Springer
STARTPAGE=40;ENDPAGE=54;TITLE=Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification-FATES/RV'06
Formal Approaches to Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised Selected Papers, 40-54
STARTPAGE=40;ENDPAGE=54;TITLE=Formal Approaches to Testing and Runtime Verification
Lecture Notes in Computer Science ISBN: 9783540496991
FATES/RV
Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification-FATES/RV'06, pp. 40-54
The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formal
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12ed85fbf7d556d6e4d8dbfa08feb3e6
https://publications.cnr.it/doc/43857
Zobrazit plný text záznamu
10
Model-Based Testing of Thin-Client Web Applications
Autor: Koopman, P.W.M., Plasmeijer, Rinus, Achten, Peter, Havelund, K.
Publikováno v: Havelund, K. (ed.), Proceedings Formal Approaches to Testing and Runtime Verification (FATES/RV06), 115-132. Seattle, USA : Springer
STARTPAGE=115;ENDPAGE=132;TITLE=Havelund, K. (ed.), Proceedings Formal Approaches to Testing and Runtime Verification (FATES/RV06)
Havelund, K. (ed.), Proceedings Formal Approaches to Testing and Runtime Verification (FATES/RV06), pp. 115-132
Contains fulltext : 35655.pdf (author's version ) (Open Access)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15a5bd6338b8748e54fc654c5b0847db
https://hdl.handle.net/2066/35655
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje