Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Oliver Möller"'
Autor:
Tom Bokhove, Kenneth Lausdahl, Jos Höll, Carl Gamble, Alachew Mengist, Christian F. J. König, Adrian Pop, Etienne Brosse, Oliver Möller
Publikováno v:
Linköping Electronic Conference Proceedings.
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 9783030034238
ISoLA (3)
ISoLA (3)
This paper compares two test engine architectures, one based on the RT-Tester test system, and one based on FMI, and analyzes how these different approaches satisfy the needs for verification and validation of safety-critical avionics software. The s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d6511bab54962b33132c41e46ae0cf7
https://doi.org/10.1007/978-3-030-03424-5_32
https://doi.org/10.1007/978-3-030-03424-5_32
Autor:
Christoph, Hünseler, Gunter, Balling, Christoph, Röhlig, Rainer, Blickheuser, Uwe, Trieschmann, Ulla, Lieser, Christian, Dohna-Schwake, Corinna, Gebauer, Oliver, Möller, Fritz, Hering, Thomas, Hoehn, Stephan, Schubert, Roland, Hentschel, Ralf G, Huth, Andreas, Müller, Carsten, Müller, Gernot, Wassmer, Moritz, Hahn, Urs, Harnischmacher, Julie, Behr, Bernhard, Roth, J, Behr
Publikováno v:
Pediatric Critical Care Medicine. 15:511-522
OBJECTIVES To assess the influence of an infusion of clonidine 1 μg/kg/hr on fentanyl and midazolam requirement in ventilated newborns and infants. DESIGN Prospective, double-blind, randomized controlled multicenter trial. Controlled trials.com/ISRC
Publikováno v:
Molecular and Cellular Pediatrics
BACKGROUND: Stent implantation into the tracheo-bronchial system may be life-saving in selected pediatric patients with otherwise intractable stenosis of the upper airways. Following implantation, significant tissue proliferation may occur, requiring
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0f45fbcce6bc463adcc5201c437c5fb
http://resolver.sub.uni-goettingen.de/purl?gs-1/12586
http://resolver.sub.uni-goettingen.de/purl?gs-1/12586
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642336775
SAFECOMP
SAFECOMP
Large asynchronous systems composed from synchronous components (so called GALS--globally asynchronous, locally synchronous--systems) pose a challenge to formal verification. We present an approach which abstracts components with contracts capturing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8df9cbc0e5e34ed6918037550588ad8
https://doi.org/10.1007/978-3-642-33678-2_25
https://doi.org/10.1007/978-3-642-33678-2_25
Autor:
Babak Alikhani, Angel Givechev, Philipp Rudolf John, Jörg Leske, Oliver Möller, Norbert Pietralla, Christian Röder, J. A. Caballero, C. E. Alonso, M. V. Andrés, J. E. García Ramos, F. Pérez-Bernal
Publikováno v:
AIP Conference Proceedings.
In comparison to common Compton Polarimeters the DAGATA (Darmstadt GAmma‐ray Tracking Assembly) polarimeter will significantly enhance the sensitivity for γ‐rays above 4 MeV making use of its large volume 36‐fold segmented HPGe AGATA crystal a
Autor:
Oliver Möller, Peter Stuckmann
Publikováno v:
5th European Personal Mobile Communications Conference 2003.
In this paper we analyze the performance of scheduling algorithms applied in the radio link control/medium access control (RLC/MAC) layer of the (E)GPRS base station subsystem (BSS). At first, scheduling algorithms are presented for an EGPRS best-eff
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783540433538
FASE
FASE
We present a framework for formal verification of a real-time extension of UML statecharts. For clarity, we restrict ourselves to a reasonable subset of the rich UML statechart model and extend this with real-time constructs (clocks, timed guards, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52f28c2894c2469ab9dcd7ca5d4c4731
https://doi.org/10.1007/3-540-45923-5_15
https://doi.org/10.1007/3-540-45923-5_15
Publikováno v:
BRICS Report Series; No 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems
BRICS Report Series; Nr. 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems
Möller, M O, Rueß, H & Sorea, M 2001, ' Predicate Abstraction for Dense Real-Time Systems ' B R I C S Report Series, no. RS-01-44 .
BRICS Report Series; Nr. 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems
Möller, M O, Rueß, H & Sorea, M 2001, ' Predicate Abstraction for Dense Real-Time Systems ' B R I C S Report Series, no. RS-01-44 .
We propose predicate abstraction as a means for verifying a rich class of safety and liveness properties for dense real-time systems. First, we define a restricted semantics of timed systems which is observationally equivalent to the standard semanti
Autor:
M. Oliver Möller, Alexandre David
Publikováno v:
BRICS Report Series; No 11 (2001): RS-11 From HUPPAAL to UPPAAL-A Translation from Hierarchical Timed Automata to Flat Timed Automata
BRICS Report Series; Nr. 11 (2001): RS-11 From HUPPAAL to UPPAAL-A Translation from Hierarchical Timed Automata to Flat Timed Automata
David, A & Möller, M O 2001, ' From HUppaal to Uppaal : A Translation from Hierarchical Timed Automata to Flat Timed Automata ' B R I C S Report Series, no. RS-01-11 .
BRICS Report Series; Nr. 11 (2001): RS-11 From HUPPAAL to UPPAAL-A Translation from Hierarchical Timed Automata to Flat Timed Automata
David, A & Möller, M O 2001, ' From HUppaal to Uppaal : A Translation from Hierarchical Timed Automata to Flat Timed Automata ' B R I C S Report Series, no. RS-01-11 .
We present a hierarchical version of timed automata, equipped with data types,hand-shake synchronization, and local variables. We describe the formal semantics of this hierarchical timed automata (HTA) formalism in terms of a transition system. We re