-
1
المؤلفون: Henrik Lipskoch, Margarete Muhle, Abhishek Dhama, Wilhelm Hasselbring, Simon Giesecke, Steffen Becker, Matthias Rohr, Timo Warns, Jan Ploski, Alexandra Paul, Heiko Koziolek, Mani Swaminathan, Roland Meyer, Marko Bošković, Daniel Winteler, Jens Happe
المصدر: ACM SIGSOFT Software Engineering Notes. 31:1-18
مصطلحات موضوعية: Social software engineering, Computer science, business.industry, Software construction, Software development, General Medicine, Software system, Software requirements, Software engineering, business, Software quality, Software verification, Software quality control
-
2
المؤلفون: Holger Hermanns, Pepijn Crouzen, Ralf Wimmer, Oliver Theel, Abhishek Dhama, Bernd Becker, Ernst Moritz Hahn, Bettina Braitling
المصدر: ACSD
مصطلحات موضوعية: symbols.namesake, Theoretical computer science, Computer science, Distributed algorithm, Bounded function, Fairness measure, Probabilistic logic, symbols, Dependability, Markov process, Markov decision process, Wireless sensor network
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::579129172dda4e1e2b02e98bdce712a1
https://doi.org/10.1109/acsd.2011.21 -
3
المؤلفون: Bernd Becker, Bettina Braitling, Oliver Theel, Holger Hermanns, Ernst Moritz Hahn, Pepijn Crouzen, Abhishek Dhama, Ralf Wimmer
المصدر: QEST
مصطلحات موضوعية: Bisimulation, symbols.namesake, Mathematical optimization, Markov chain, Binary decision diagram, Probabilistic logic, symbols, State space, Markov process, Markov decision process, Data structure, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6fbdda512ef2e9f11c63b74750652c77
https://doi.org/10.1109/qest.2010.12 -
4
المؤلفون: Oliver Theel, Abhishek Dhama
المصدر: Lecture Notes in Computer Science ISBN: 9783642160226
SSSمصطلحات موضوعية: Critical section, Theoretical computer science, Computer science, Distributed computing, Mutual exclusion, Span tree, Computer Science::Operating Systems, Algorithm, Scheduling (computing)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5623f2fbfc8a5fe2bebf694007f61a6c
https://doi.org/10.1007/978-3-642-16023-3_9 -
5
المؤلفون: Oliver Theel, Nils Mullner, Abhishek Dhama
المصدر: 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing.
مصطلحات موضوعية: High probability, symbols.namesake, Ubiquitous computing, Computer science, Distributed computing, symbols, Redundancy (engineering), Markov process, Self-stabilization, Fault tolerance, Markov model, Trade-off
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d324dd94f32938562aa20b5b0dbbda32
https://doi.org/10.1109/uic-atc.2009.88 -
6
المؤلفون: Pepijn Crouzen, Bernd Becker, Holger Hermanns, Ralf Wimmer, Oliver Theel, Abhishek Dhama
المصدر: Lecture Notes in Computer Science ISBN: 9783642051173
SSSمصطلحات موضوعية: Degree (graph theory), Computer science, Distributed computing, Dependability, Statistical model, Transient (computer programming), Fault model, Heuristics, Probabilistic model checking, Counterexample
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2ddbe149d5633960621b4f50fb3dc5b5
https://doi.org/10.1007/978-3-642-05118-0_17 -
7
المؤلفون: Abhishek Dhama, Oliver Theel, Nils Mullner
المصدر: Annual Simulation Symposium
مصطلحات موضوعية: Computer science, Distributed algorithm, Software fault tolerance, Reliability (computer networking), Scalability, Self-stabilization, Algorithm design, Fault tolerance, Fault (power engineering), Algorithm
-
8
المؤلفون: Jens Oehlerking, Oliver Theel, Abhishek Dhama
المصدر: ICPADS (1)
مصطلحات موضوعية: Lyapunov function, symbols.namesake, Computer science, Distributed algorithm, Hybrid system, Distributed computing, symbols, Orbit (dynamics), Fault tolerance, Self-stabilization, State (functional analysis), Topology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::29ac38dc932a688c2378de57813bbacb
https://doi.org/10.1109/icpads.2006.108 -
9
المؤلفون: Timo Warns, Abhishek Dhama, Oliver Theel
المصدر: Lecture Notes in Computer Science ISBN: 9783540490180
SSSمصطلحات موضوعية: Mathematical optimization, Spanning tree, Predicate abstraction, Spacetime, Computer science, State space, Fault tolerance, Time complexity, Algorithm, Reliability (statistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0eb3017b291d3e1bda70b8b1ce43dd7e
https://doi.org/10.1007/978-3-540-49823-0_17 -
10
المؤلفون: Abhishek Dhama, Jens Oehlerking, Oliver Theel
المصدر: Lecture Notes in Computer Science ISBN: 9783540298144
Self-Stabilizing Systemsمصطلحات موضوعية: Lyapunov function, Computer science, Fault tolerance, Self-stabilization, Dynamical system, symbols.namesake, Exponential stability, Proof theory, Distributed algorithm, Hybrid system, Stability theory, Convergence (routing), symbols, Affine transformation, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e3911f5dc09fdffa30a3f375e8930922
https://doi.org/10.1007/11577327_14