SCHEDULING LACQUER PRODUCTION BY REACHABILITY ANALYSIS – A CASE STUDY

Autor: Behrmann, Gerd, Brinksma, Ed, Hendriks, Martijn, Mader, Angelika

Publikováno v: In IFAC Proceedings Volumes 2005 38(1):50-55

dCache: Moving to open source development model and tools

Autor: Mkrtchyan, Tigran, Millar, Alexander Paul, Fuhrmann, Patrick, behrmann, Gerd

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

UPPAAL - Now, Next, and Future

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

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

A distributed storage system with dCache

Autor: Behrmann, Gerd, Fuhrmann, Patrick, Grønager, Michael, Kleist, Josva

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

UPPAAL-TIGA:Time for Playing Games!

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