Zobrazeno 1 - 10
of 1 351
pro vyhledávání: '"Kehrer, P."'
Publikováno v:
Integrated Formal Methods, IFM 2024, LNCS 15234 (2025), pp 24-34
TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research community, knowledge about usage of the TLA+ ecosystem in practice remains
Externí odkaz:
http://arxiv.org/abs/2411.13722
Autor:
Cacciapuoti, L., Busso, A., Jansen, R., Pataraia, S., Peignier, T., Weinberg, S., Crescence, P., Helm, A., Kehrer, J., Koller, S., Lachaud, R., Niedermaier, T., Esnault, F. -X., Massonnet, D., Goujon, D., Pittet, J., Perri, A., Wang, Q., Liu, S., Schaefer, W., Schwall, T., Prochazka, I., Schlicht, A., Schreiber, U., Laurent, P., Lilley, M., Wolf, P., Salomon, C.
The Atomic Clock Ensemble in Space (ACES) mission is developing high performance clocks and links for space to test Einstein's theory of general relativity. From the International Space Station, the ACES payload will distribute a clock signal with fr
Externí odkaz:
http://arxiv.org/abs/2411.02912
Autor:
Suliga, Anna M., Cheong, Patrick Chi-Kit, Froustey, Julien, Fuller, George M., Gráf, Lukáš, Kehrer, Kyle, Scholer, Oliver, Shalgar, Shashank
We show that strong interactions violating the conservation of lepton numbers in the neutrino sector could significantly alter the standard low entropy picture for the pre-supernova collapsing core of a massive star. A rapid neutrino-antineutrino equ
Externí odkaz:
http://arxiv.org/abs/2410.01080
GitHub Actions (GA) is an orchestration platform that streamlines the automatic execution of software engineering tasks such as building, testing, and deployment. Although GA workflows are the primary means for automation, according to our experience
Externí odkaz:
http://arxiv.org/abs/2409.02366
Autor:
Kehrer, Kyle S., Fuller, George M.
Publikováno v:
Phys. Rev. D 110, 083035, 2024
We calculate the extent to which collisionless dark matter impacts the stability of supermassive stars $(M\gtrsim10^4\,M_\odot)$. We find that, depending on the star's mass, a dark matter content in excess of ${\sim}1\%$ by mass throughout the entire
Externí odkaz:
http://arxiv.org/abs/2406.13887
Publikováno v:
Phys. Rev. A 110, 042203 (2024)
Synchronization manifests itself in oscillators adjusting their frequencies and phases with respect to an external signal or another oscillator. In the quantum case, new features appear such as destructive interferences that can result in the suppres
Externí odkaz:
http://arxiv.org/abs/2405.05182
As the era of autonomous cyber-physical systems (ACPSs), such as unmanned aerial vehicles and self-driving cars, unfolds, the demand for robust testing methodologies is key to realizing the adoption of such systems in real-world scenarios. However, t
Externí odkaz:
http://arxiv.org/abs/2405.01064
Autor:
Birchler, Christian, Mohammed, Tanzil Kombarabettu, Rani, Pooja, Nechita, Teodora, Kehrer, Timo, Panichella, Sebastiano
Software metrics such as coverage and mutation scores have been extensively explored for the automated quality assessment of test suites. While traditional tools rely on such quantifiable software metrics, the field of self-driving cars (SDCs) has pr
Externí odkaz:
http://arxiv.org/abs/2401.14736
The rise of self-driving cars (SDCs) presents important safety challenges to address in dynamic environments. While field testing is essential, current methods lack diversity in assessing critical SDC scenarios. Prior research introduced simulation-b
Externí odkaz:
http://arxiv.org/abs/2401.14682
Autor:
Rani, Pooja, Zellweger, Jonas, Kousadianos, Veronika, Cruz, Luis, Kehrer, Timo, Bacchelli, Alberto
As the energy footprint generated by software is increasing at an alarming rate, understanding how to develop energy-efficient applications has become a necessity. Previous work has introduced catalogs of coding practices, also known as energy patter
Externí odkaz:
http://arxiv.org/abs/2401.06482