Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Remenska D"'
Autor:
Remenska, D., Willemse, T.A.C., Templon, J.A., Verstoep, K., Bal, H.E., Ábrahám, E., Palamidessi, C.
Publikováno v:
Lecture Notes in Computer Science
34th Formal Techniques for Networked and Distributed Systems (FORTE)
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.17-32, ⟨10.1007/978-3-662-43613-4_2⟩
Remenska, D, Bal, H E, Templon, J A, Verstoep, K & Willemse, T 2014, Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs . in 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014) .
Vrije Universiteit Amsterdam
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783662436127
FORTE
34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
Formal Techniques for Distributed Objects, Components and Systems (34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings), 17-32
STARTPAGE=17;ENDPAGE=32;TITLE=Formal Techniques for Distributed Objects, Components and Systems (34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings)
34th Formal Techniques for Networked and Distributed Systems (FORTE)
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.17-32, ⟨10.1007/978-3-662-43613-4_2⟩
Remenska, D, Bal, H E, Templon, J A, Verstoep, K & Willemse, T 2014, Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs . in 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014) .
Vrije Universiteit Amsterdam
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783662436127
FORTE
34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
Formal Techniques for Distributed Objects, Components and Systems (34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings), 17-32
STARTPAGE=17;ENDPAGE=32;TITLE=Formal Techniques for Distributed Objects, Components and Systems (34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings)
Part 1: Specification Languages and Type Systems; International audience; Developing correct concurrent software is challenging. Design errors can result in deadlocks, race conditions and livelocks, and discovering these is difficult. A serious obsta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::125b5d41bffa87ac874bb766d362fc61
https://hal.inria.fr/hal-01398006
https://hal.inria.fr/hal-01398006
Autor:
Čengić M; Department of Environmental Science Institute for Water and Wetland Research Radboud University Nijmegen The Netherlands., Rost J; PBL Netherlands Environmental Assessment Agency The Hague The Netherlands., Remenska D; Netherlands eScience Center Amsterdam The Netherlands., Janse JH; PBL Netherlands Environmental Assessment Agency The Hague The Netherlands., Huijbregts MAJ; Department of Environmental Science Institute for Water and Wetland Research Radboud University Nijmegen The Netherlands., Schipper AM; Department of Environmental Science Institute for Water and Wetland Research Radboud University Nijmegen The Netherlands.; PBL Netherlands Environmental Assessment Agency The Hague The Netherlands.
Publikováno v:
Ecology and evolution [Ecol Evol] 2020 Oct 16; Vol. 10 (21), pp. 12307-12317. Date of Electronic Publication: 2020 Oct 16 (Print Publication: 2020).
Autor:
Remenska, D., Templon, J.A., Willemse, T.A.C., Homburg, P., Verstoep, K., Casajus, A., Bal, H.E., Brat, G., Rungta, N., Venet, A.
Publikováno v:
NASA Formal Methods (5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings), 244-260
STARTPAGE=244;ENDPAGE=260;TITLE=NASA Formal Methods (5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642380877
NASA Formal Methods
STARTPAGE=244;ENDPAGE=260;TITLE=NASA Formal Methods (5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642380877
NASA Formal Methods
One of the challenges in concurrent software development is early discovery of design errors which could lead to deadlocks or race-conditions. For safety-critical and complex distributed applications, traditional testing does not always expose such p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d2dfc1e01a4b377cb30c01fa9169d6c
https://research.tue.nl/en/publications/15c0f2ec-3257-4cb1-b4eb-770d89ac7130
https://research.tue.nl/en/publications/15c0f2ec-3257-4cb1-b4eb-770d89ac7130
Autor:
Arrabito, L, Bernardoff, V, Bouvet, D, Cattaneo, M, Charpentier, P, Clarke, P, Closier, J, Franchini, P, Graciani, R, Lanciotti, E, Mendez, V, Perazzini, S, Nandkumar, R, Remenska, D, Roiser, S, Romanovskiy, V, Santinelli, R, Stagni, F, Tsaregorodtsev, A, Ubeda Garcia, M, Vedaee, A, Zhelezov, A
The increase of luminosity in the LHC during its second year of operation (2011) was achieved by delivering more protons per bunch and increasing the number of bunches. Taking advantage of these changed conditions, LHCb ran with a higher pileup as we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________65::1e9a8d1b66e65dd35a12906afc3663d1
http://cds.cern.ch/record/1451599
http://cds.cern.ch/record/1451599
Autor:
Harris, Grant M.1 (AUTHOR) grant_harris@fws.gov, Sesnie, Steven E.1 (AUTHOR), Stewart, David R.1 (AUTHOR)
Publikováno v:
Scientific Reports. 11/15/2023, Vol. 13 Issue 1, p1-18. 18p.
Publikováno v:
Science of Nature; Dec2024, Vol. 111 Issue 6, p1-12, 12p
Publikováno v:
Insects (2075-4450); Oct2024, Vol. 15 Issue 10, p756, 15p
Autor:
Remenska, D., Bal, H. E., Templon, J. A., C. Verstoep, Willemse, T., Homburg, P. C., Casajus, A.
Publikováno v:
Vrije Universiteit Amsterdam
Remenska, D, Bal, H E, Templon, J A, Verstoep, K, Willemse, T, Homburg, P C & Casajus, A 2013, From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems . in 5th NASA Formal Methods Symposium (NFM) 2013 .
5th NASA Formal Methods Symposium (NFM) 2013
Remenska, D, Bal, H E, Templon, J A, Verstoep, K, Willemse, T, Homburg, P C & Casajus, A 2013, From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems . in 5th NASA Formal Methods Symposium (NFM) 2013 .
5th NASA Formal Methods Symposium (NFM) 2013
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b1c46b93c71fa88c592af37d605c1563
https://research.vu.nl/en/publications/2f62293e-f672-429e-bb9c-44a215c8b932
https://research.vu.nl/en/publications/2f62293e-f672-429e-bb9c-44a215c8b932
Publikováno v:
Forests (19994907); Aug2024, Vol. 15 Issue 8, p1313, 12p