Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Behrmann, Gerd"'
Publikováno v:
In IFAC Proceedings Volumes 2005 38(1):50-55
Autor:
Behrmann, Gerd
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 68(4):486-502
Publikováno v:
21st International Conference on Computing in High Energy and Nuclear Physics 2015, CHEP 2015, Okinawa, Japan, 2015-04-13-2015-04-17
For over a decade, dCache.ORG has provided software which is used at more than 80 sites around the world, providing reliable services for WLCG experiments and others. This can be achieved only with a well established process from white board, where i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1108::69013458796e2121356ae9accd4afa03
https://bib-pubdb1.desy.de/record/292111
https://bib-pubdb1.desy.de/record/292111
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540230687
SFM
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures, 200-236
STARTPAGE=200;ENDPAGE=236;TITLE=Formal Methods for the Design of Real-Time Systems
SFM
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures, 200-236
STARTPAGE=200;ENDPAGE=236;TITLE=Formal Methods for the Design of Real-Time Systems
This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide ref
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0cc4fe3f31c5039781a53da14b39d5d
https://doi.org/10.1007/978-3-540-30080-9_7
https://doi.org/10.1007/978-3-540-30080-9_7
Autor:
Amnell, Tobias, Behrmann, Gerd, Bengtsson, Johan, D'Argenio, Pedro R., David, Alexandre, Fehnker, Ansgar, Hune, Thomas, Jeannet, Bertrand, Larsen, Kim G., Möller, M. Oliver, Pettersson, Paul, Weise, Carsten, Yi, Wang, Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot
Publikováno v:
Modeling and Verification of Parallel Processes ISBN: 9783540427872
MOVEP
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures, 99-124
STARTPAGE=99;ENDPAGE=124;TITLE=Modeling and Verification of Parallel Processes
MOVEP
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures, 99-124
STARTPAGE=99;ENDPAGE=124;TITLE=Modeling and Verification of Parallel Processes
UPPAAL is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modeled as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::117096d9abc05c067b2821455fcf2074
https://doi.org/10.1007/3-540-45510-8_4
https://doi.org/10.1007/3-540-45510-8_4
Publikováno v:
Kleist, J, Behrmann, G, Fischer, L, Gamst, M & Grønager, M 2010, ' Analysis of internal network requirements for the distributed Nordic Tier-1 ', Journal of Physics-Conference Series, vol. 219, no. 5 . https://doi.org/10.1088/1742-6596/219/5/052001
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2d98edc78af094214fa5b642ff214f4f
https://vbn.aau.dk/da/publications/e8a9a1aa-94ee-4b96-b830-c6cccde47cc9
https://vbn.aau.dk/da/publications/e8a9a1aa-94ee-4b96-b830-c6cccde47cc9
Publikováno v:
Behrmann, G, Fuhrmann, P, Grønager, M & Kleist, J 2008, ' A distributed storage system with dCache ', Journal of Physics-Conference Series . https://doi.org/10.1088/1742-6596/119/6/062014
The LCG collaboration is encompassed by a number of Tier 1 centers. The Nordic LCG Tier 1, operated by NDGF, is in contrast to many other Tier 1 centers distributed over the Nordic countries. A distributed setup was chosen for both political and tech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61264a2ce3ccdb69f6c776a74fb29a22
https://vbn.aau.dk/da/publications/d4f68cb0-db05-11dd-a016-000ea68e967b
https://vbn.aau.dk/da/publications/d4f68cb0-db05-11dd-a016-000ea68e967b
Autor:
David, Alexandre, Behrmann, Gerd, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum, BÉRARD, Béatrice, GIRARD, Antoine, HADDAD, Serge, CASSEZ, Franck, JARD, Claude, DANG, Thao, LE GERNIC, Colas, DONATELLI, Susanna, LIME, Didier, ELLOY, Jean-Pierre, MAGNIN, Morgan, FREHSE, Goran, MARKEY, Nicolas, PETTERSSON, Paul, TRIPAKIS, Stavros, Yi, Wang, H. ROUX, Olivier
Publikováno v:
David, A, Behrmann, G, Larsen, K G, Rasmussen, J I, BÉRARD, B, GIRARD, A, HADDAD, S, CASSEZ, F, JARD, C, DANG, T, LE GERNIC, C, DONATELLI, S, LIME, D, ELLOY, J-P, MAGNIN, M, FREHSE, G, MARKEY, N, PETTERSSON, P, TRIPAKIS, S, Yi, W & H. ROUX, O 2008, Approches formelles des systèmes embarqués communicants . Hermés Science Publications .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c531fc4b0105b3b9cdc6d8fc4412781e
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967b
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967b
Autor:
David, Alexandre, Behrmann, Gerd, Cougnard, Agnès, Fleury, Emmanuel, Larsen, Kim Guldstrand, Lime, Didier
Publikováno v:
David, A, Behrmann, G, Cougnard, A, Fleury, E, Larsen, K G & Lime, D 2007, UPPAAL-TIGA : Time for Playing Games! in Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings . Springer, Lecture Notes in Computer Science, no. 4590, pp. 121-125, Computer Aided Verification, Berlin, Germany, 03/07/2007 . < http://www.cs.aau.dk/~adavid/publications/29-tigatool.pdf >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4025ad044806329027cf1f4c7c61c52c
https://vbn.aau.dk/da/publications/f48847b0-a269-11dc-8188-000ea68e967b
https://vbn.aau.dk/da/publications/f48847b0-a269-11dc-8188-000ea68e967b
Autor:
David, Alexandre, Larsen, Kim Guldstrand, Behrmann, Gerd, Håkansson, John, Pettersson, Paul, Yi, Wang, Hendriks, Martijn
Publikováno v:
David, A, Larsen, K G, Behrmann, G, Håkansson, J, Pettersson, P, Yi, W & Hendriks, M 2006, UPPAAL 4.0 . in Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006 . IEEE Computer Society Press, pp. 125-126, Quantitative Evaluation of SysTems (QEST) 2006, Riverside, United States, 11/09/2006 .
UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements and polish to the the easy to use graphical user interface, and is accompa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00956::46e75a08b463b3f1fcd4272aa7913a78
https://vbn.aau.dk/da/publications/e8080e00-a088-11db-8ed6-000ea68e967b
https://vbn.aau.dk/da/publications/e8080e00-a088-11db-8ed6-000ea68e967b