Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)

Autor: Baier, Daniel, Beyer, Dirk, Chien, Po-Chun, Jakobs, Marie-Christine, Jankola, Marek, Kettl, Matthias, Lee, Nian-Ze, Lemberger, Thomas, Lingsch-Rosenfeld, Marian, Wachowitz, Henrik, Wendler, Philipp

This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory

Externí odkaz: http://arxiv.org/abs/2409.02094

Functional Sieve Bootstrap for the Partial Sum Process with Application to Change-Point Detection without Dimension Reduction

Autor: Paparoditis, Efstathios, Wegner, Lea, Wendler, Martin

Change-points in functional time series can be detected using the CUSUM-statistic, which is a non-linear functional of the partial sum process. Various methods have been proposed to obtain critical values for this statistic. In this paper we use the

Externí odkaz: http://arxiv.org/abs/2408.05071

The PLATO Mission

Autor: Rauer, Heike, Aerts, Conny, Cabrera, Juan, Deleuil, Magali, Erikson, Anders, Gizon, Laurent, Goupil, Mariejo, Heras, Ana, Lorenzo-Alvarez, Jose, Marliani, Filippo, Martin-Garcia, Cesar, Mas-Hesse, J. Miguel, O'Rourke, Laurence, Osborn, Hugh, Pagano, Isabella, Piotto, Giampaolo, Pollacco, Don, Ragazzoni, Roberto, Ramsay, Gavin, Udry, Stéphane, Appourchaux, Thierry, Benz, Willy, Brandeker, Alexis, Güdel, Manuel, Janot-Pacheco, Eduardo, Kabath, Petr, Kjeldsen, Hans, Min, Michiel, Santos, Nuno, Smith, Alan, Suarez, Juan-Carlos, Werner, Stephanie C., Aboudan, Alessio, Abreu, Manuel, Acuña, Lorena, Adams, Moritz, Adibekyan, Vardan, Affer, Laura, Agneray, François, Agnor, Craig, Børsen-Koch, Victor Aguirre, Ahmed, Saad, Aigrain, Suzanne, Al-Bahlawan, Ashraf, Gil, M de los Angeles Alcacera, Alei, Eleonora, Alencar, Silvia, Alexander, Richard, Alfonso-Garzón, Julia, Alibert, Yann, Prieto, Carlos Allende, Almeida, Leonardo, Sobrino, Roi Alonso, Altavilla, Giuseppe, Althaus, Christian, Trujillo, Luis Alonso Alvarez, Amarsi, Anish, Eiff, Matthias Ammler-von, Amôres, Eduardo, Andrade, Laerte, Antoniadis-Karnavas, Alexandros, António, Carlos, del Moral, Beatriz Aparicio, Appolloni, Matteo, Arena, Claudio, Armstrong, David, Aliaga, Jose Aroca, Asplund, Martin, Audenaert, Jeroen, Auricchio, Natalia, Avelino, Pedro, Baeke, Ann, Baillié, Kevin, Balado, Ana, Balestra, Andrea, Ball, Warrick, Ballans, Herve, Ballot, Jerome, Barban, Caroline, Barbary, Gaële, Barbieri, Mauro, Forteza, Sebastià Barceló, Barker, Adrian, Barklem, Paul, Barnes, Sydney, Navascues, David Barrado, Barragan, Oscar, Baruteau, Clément, Basu, Sarbani, Baudin, Frederic, Baumeister, Philipp, Bayliss, Daniel, Bazot, Michael, Beck, Paul G., Bedding, Tim, Belkacem, Kevin, Bellinger, Earl, Benatti, Serena, Benomar, Othman, Bérard, Diane, Bergemann, Maria, Bergomi, Maria, Bernardo, Pierre, Biazzo, Katia, Bignamini, Andrea, Bigot, Lionel, Billot, Nicolas, Binet, Martin, Biondi, David, Biondi, Federico, Birch, Aaron C., Bitsch, Bertram, Ceballos, Paz Victoria Bluhm, Bódi, Attila, Bognár, Zsófia, Boisse, Isabelle, Bolmont, Emeline, Bonanno, Alfio, Bonavita, Mariangela, Bonfanti, Andrea, Bonfils, Xavier, Bonito, Rosaria, Bonomo, Aldo Stefano, Börner, Anko, Saikia, Sudeshna Boro, Martín, Elisa Borreguero, Borsa, Francesco, Borsato, Luca, Bossini, Diego, Bouchy, Francois, Boué, Gwenaël, Boufleur, Rodrigo, Boumier, Patrick, Bourrier, Vincent, Bowman, Dominic M., Bozzo, Enrico, Bradley, Louisa, Bray, John, Bressan, Alessandro, Breton, Sylvain, Brienza, Daniele, Brito, Ana, Brogi, Matteo, Brown, Beverly, Brown, David, Brun, Allan Sacha, Bruno, Giovanni, Bruns, Michael, Buchhave, Lars A., Bugnet, Lisa, Buldgen, Gaël, Burgess, Patrick, Busatta, Andrea, Busso, Giorgia, Buzasi, Derek, Caballero, José A., Cabral, Alexandre, Calderone, Flavia, Cameron, Robert, Cameron, Andrew, Campante, Tiago, Martins, Bruno Leonardo Canto, Cara, Christophe, Carone, Ludmila, Carrasco, Josep Manel, Casagrande, Luca, Casewell, Sarah L., Cassisi, Santi, Castellani, Marco, Castro, Matthieu, Catala, Claude, Fernández, Irene Catalán, Catelan, Márcio, Cegla, Heather, Cerruti, Chiara, Cessa, Virginie, Chadid, Merieme, Chaplin, William, Charpinet, Stephane, Chiappini, Cristina, Chiarucci, Simone, Chiavassa, Andrea, Chinellato, Simonetta, Chirulli, Giovanni, Christensen-Dalsgaard, Jorgen, Church, Ross, Claret, Antonio, Clarke, Cathie, Claudi, Riccardo, Clermont, Lionel, Coelho, Hugo, Coelho, Joao, Cogato, Fabrizio, Colomé, Josep, Condamin, Mathieu, Conseil, Simon, Corbard, Thierry, Correia, Alexandre C. M., Corsaro, Enrico, Cosentino, Rosario, Costes, Jean, Cottinelli, Andrea, Covone, Giovanni, Creevey, Orlagh L., Crida, Aurelien, Csizmadia, Szilard, Cunha, Margarida, Curry, Patrick, da Costa, Jefferson, da Silva, Francys, Dalal, Shweta, Damasso, Mario, Damiani, Cilia, Damiani, Francesco, Chagas, Maria Liduina das, Davies, Melvyn, Davies, Guy, Davies, Ben, Davison, Gary, de Almeida, Leandro, de Angeli, Francesca, de Barros, Susana Cristina Cabral, Leão, Izan de Castro, de Freitas, Daniel Brito, de Freitas, Marcia Cristina, De Martino, Domitilla, de Medeiros, José Renan, de Paula, Luiz Alberto, de Plaa, Jelle, De Ridder, Joris, Deal, Morgan, Decin, Leen, Deeg, Hans, Degl'Innocenti, Scilla, Deheuvels, Sebastien, del Burgo, Carlos, Del Sordo, Fabio, Delgado-Mena, Elisa, Demangeon, Olivier, Denk, Tilmann, Derekas, Aliz, Desidera, Silvano, Dexet, Marc, Di Criscienzo, Marcella, Di Giorgio, Anna Maria, Di Mauro, Maria Pia, Rial, Federico Jose Diaz, Díaz-García, José-Javier, Dima, Marco, Dinuzzi, Giacomo, Dionatos, Odysseas, Distefano, Elisa, Nascimento Jr., Jose-Dias do, Domingo, Albert, D'Orazi, Valentina, Dorn, Caroline, Doyle, Lauren, Duarte, Elena, Ducellier, Florent, Dumaye, Luc, Dumusque, Xavier, Dupret, Marc-Antoine, Eggenberger, Patrick, Ehrenreich, David, Eigmüller, Philipp, Eising, Johannes, Emilio, Marcelo, Eriksson, Kjell, Ermocida, Marco, Giribaldi, Riano Isidoro Escate, Eschen, Yoshi, Estrela, Inês, Evans, Dafydd Wyn, Fabbian, Damian, Fabrizio, Michele, Faria, João Pedro, Farina, Maria, Farinato, Jacopo, Feliz, Dax, Feltzing, Sofia, Fenouillet, Thomas, Ferrari, Lorenza, Ferraz-Mello, Sylvio, Fialho, Fabio, Fienga, Agnes, Figueira, Pedro, Fiori, Laura, Flaccomio, Ettore, Focardi, Mauro, Foley, Steve, Fontignie, Jean, Ford, Dominic, Fornazier, Karin, Forveille, Thierry, Fossati, Luca, Franca, Rodrigo de Marca, da Silva, Lucas Franco, Frasca, Antonio, Fridlund, Malcolm, Furlan, Marco, Gabler, Sarah-Maria, Gaido, Marco, Gallagher, Andrew, Galli, Emanuele, Garcia, Rafael A., Hernández, Antonio García, Munoz, Antonio Garcia, García-Vázquez, Hugo, Haba, Rafael Garrido, Gaulme, Patrick, Gauthier, Nicolas, Gehan, Charlotte, Gent, Matthew, Georgieva, Iskra, Ghigo, Mauro, Giana, Edoardo, Gill, Samuel, Girardi, Leo, Winter, Silvia Giuliatti, Giusi, Giovanni, da Silva, João Gomes, Zazo, Luis Jorge Gómez, Gomez-Lopez, Juan Manuel, Hernández, Jonay Isai González, Murillo, Kevin Gonzalez, Gorius, Nicolas, Gouel, Pierre-Vincent, Goulty, Duncan, Granata, Valentina, Grenfell, John Lee, Grießbach, Denis, Grolleau, Emmanuel, Grouffal, Salomé, Grziwa, Sascha, Guarcello, Mario Giuseppe, Gueguen, Loïc, Guenther, Eike Wolf, Guilhem, Terrasa, Guillerot, Lucas, Guiot, Pierre, Guterman, Pascal, Gutiérrez, Antonio, Gutiérrez-Canales, Fernando, Hagelberg, Janis, Haldemann, Jonas, Hall, Cassandra, Handberg, Rasmus, Harrison, Ian, Harrison, Diana L., Hasiba, Johann, Haswell, Carole A., Hatalova, Petra, Hatzes, Artie, Haywood, Raphaelle, Hébrard, Guillaume, Heckes, Frank, Heiter, Ulrike, Hekker, Saskia, Heller, René, Helling, Christiane, Helminiak, Krzysztof, Hemsley, Simon, Heng, Kevin, Hermans, Aline, Hermes, JJ, Torres, Nadia Hidalgo, Hinkel, Natalie, Hobbs, David, Hodgkin, Simon, Hofmann, Karl, Hojjatpanah, Saeed, Houdek, Günter, Huber, Daniel, Huesler, Joseph, Hui-Bon-Hoa, Alain, Huygen, Rik, Huynh, Duc-Dat, Iro, Nicolas, Irwin, Jonathan, Irwin, Mike, Izidoro, André, Jacquinod, Sophie, Jannsen, Nicholas Emborg, Janson, Markus, Jeszenszky, Harald, Jiang, Chen, Mancebo, Antonio José Jimenez, Jofre, Paula, Johansen, Anders, Johnston, Cole, Jones, Geraint, Kallinger, Thomas, Kálmán, Szilárd, Kanitz, Thomas, Karjalainen, Marie, Karjalainen, Raine, Karoff, Christoffer, Kawaler, Steven, Kawata, Daisuke, Keereman, Arnoud, Keiderling, David, Kennedy, Tom, Kenworthy, Matthew, Kerschbaum, Franz, Kidger, Mark, Kiefer, Flavien, Kintziger, Christian, Kislyakova, Kristina, Kiss, László, Klagyivik, Peter, Klahr, Hubert, Klevas, Jonas, Kochukhov, Oleg, Köhler, Ulrich, Kolb, Ulrich, Koncz, Alexander, Korth, Judith, Kostogryz, Nadiia, Kovács, Gábor, Kovács, József, Kozhura, Oleg, Krivova, Natalie, Kučinskas, Arunas, Kuhlemann, Ilyas, Kupka, Friedrich, Laauwen, Wouter, Labiano, Alvaro, Lagarde, Nadege, Laget, Philippe, Laky, Gunter, Lam, Kristine Wai Fun, Lambrechts, Michiel, Lammer, Helmut, Lanza, Antonino Francesco, Lanzafame, Alessandro, Martiz, Mariel Lares, Laskar, Jacques, Latter, Henrik, Lavanant, Tony, Lawrenson, Alastair, Lazzoni, Cecilia, Lebre, Agnes, Lebreton, Yveline, Etangs, Alain Lecavelier des, Leinhardt, Zoe, Leleu, Adrien, Lendl, Monika, Leto, Giuseppe, Levillain, Yves, Libert, Anne-Sophie, Lichtenberg, Tim, Ligi, Roxanne, Lignieres, Francois, Lillo-Box, Jorge, Linsky, Jeffrey, Liu, John Scige, Loidolt, Dominik, Longval, Yuying, Lopes, Ilídio, Lorenzani, Andrea, Ludwig, Hans-Guenter, Lund, Mikkel, Lundkvist, Mia Sloth, Luri, Xavier, Maceroni, Carla, Madden, Sean, Madhusudhan, Nikku, Maggio, Antonio, Magliano, Christian, Magrin, Demetrio, Mahy, Laurent, Maibaum, Olaf, Malac-Allain, LeeRoy, Malapert, Jean-Christophe, Malavolta, Luca, Maldonado, Jesus, Mamonova, Elena, Manchon, Louis, Mann, Andrew, Mantovan, Giacomo, Marafatto, Luca, Marconi, Marcella, Mardling, Rosemary, Marigo, Paola, Marinoni, Silvia, Marques, Érico, Marques, Joao Pedro, Marrese, Paola Maria, Marshall, Douglas, Perales, Silvia Martínez, Mary, David, Marzari, Francesco, Masana, Eduard, Mascher, Andrina, Mathis, Stéphane, Mathur, Savita, Figueiredo, Ana Carolina Mattiuci, Maxted, Pierre F. L., Mazeh, Tsevi, Mazevet, Stephane, Mazzei, Francesco, McCormac, James, McMillan, Paul, Menou, Lucas, Merle, Thibault, Meru, Farzana, Mesa, Dino, Messina, Sergio, Mészáros, Szabolcs, Meunier, Nadége, Meunier, Jean-Charles, Micela, Giuseppina, Michaelis, Harald, Michel, Eric, Michielsen, Mathias, Michtchenko, Tatiana, Miglio, Andrea, Miguel, Yamila, Milligan, David, Mirouh, Giovanni, Mitchell, Morgan, Moedas, Nuno, Molendini, Francesca, Molnár, László, Mombarg, Joey, Montalban, Josefina, Montalto, Marco, Monteiro, Mário J. P. F. G., Morales, Juan Carlos, Morales-Calderon, Maria, Morbidelli, Alessandro, Mordasini, Christoph, Moreau, Chrystel, Morel, Thierry, Morello, Guiseppe, Morin, Julien, Mortier, Annelies, Mosser, Benoît, Mourard, Denis, Mousis, Olivier, Moutou, Claire, Mowlavi, Nami, Moya, Andrés, Muehlmann, Prisca, Muirhead, Philip, Munari, Matteo, Musella, Ilaria, Mustill, Alexander James, Nardetto, Nicolas, Nardiello, Domenico, Narita, Norio, Nascimbeni, Valerio, Nash, Anna, Neiner, Coralie, Nelson, Richard P., Nettelmann, Nadine, Nicolini, Gianalfredo, Nielsen, Martin, Niemi, Sami-Matias, Noack, Lena, Noels-Grotsch, Arlette, Noll, Anthony, Norazman, Azib, Norton, Andrew J., Nsamba, Benard, Ofir, Aviv, Ogilvie, Gordon, Olander, Terese, Olivetto, Christian, Olofsson, Göran, Ong, Joel, Ortolani, Sergio, Oshagh, Mahmoudreza, Ottacher, Harald, Ottensamer, Roland, Ouazzani, Rhita-Maria, Paardekooper, Sijme-Jan, Pace, Emanuele, Pajas, Miriam, Palacios, Ana, Palandri, Gaelle, Palle, Enric, Paproth, Carsten, Parro, Vanderlei, Parviainen, Hannu, Granado, Javier Pascual, Passegger, Vera Maria, Pastor-Morales, Carmen, Pätzold, Martin, Pedersen, May Gade, Hidalgo, David Pena, Pepe, Francesco, Pereira, Filipe, Persson, Carina M., Pertenais, Martin, Peter, Gisbert, Petit, Antoine C., Petit, Pascal, Pezzuto, Stefano, Pichierri, Gabriele, Pietrinferni, Adriano, Pinheiro, Fernando, Pinsonneault, Marc, Plachy, Emese, Plasson, Philippe, Plez, Bertrand, Poppenhaeger, Katja, Poretti, Ennio, Portaluri, Elisa, Portell, Jordi, de Mello, Gustavo Frederico Porto, Poyatos, Julien, Pozuelos, Francisco J., Moroni, Pier Giorgio Prada, Pricopi, Dumitru, Prisinzano, Loredana, Quade, Matthias, Quirrenbach160, ndreas, Reina6, Julio Arturo Rabanal, Soares, Maria Cristina Rabello, Raimondo, Gabriella, Rainer, Monica, Rodón, Jose Ramón, Ramón-Ballesta, Alejandro, Zapata, Gonzalo Ramos, Rätz, Stefanie, Rauterberg, Christoph, Redman, Bob, Redmer, Ronald, Reese, Daniel, Regibo, Sara, Reiners, Ansgar, Reinhold, Timo, Renie, Christian, Ribas, Ignasi, Ribeiro, Sergio, Ricciardi, Thiago Pereira, Rice, Ken, Richard, Olivier, Riello, Marco, Rieutord, Michel, Ripepi, Vincenzo, Rixon, Guy, Rockstein, Steve, Rodríguez, María Teresa Rodrigo, Díaz, Luisa Fernanda Rodríguez, Garcia, Juan Pablo Rodriguez, Rodriguez-Gomez, Julio, Roehlly, Yannick, Roig, Fernando, Rojas-Ayala, Bárbara, Rolf, Tobias, Rørsted, Jakob Lysgaard, Rosado, Hugo, Rosotti, Giovanni, Roth, Olivier, Roth, Markus, Rousseau, Alex, Roxburgh, Ian, Roy, Fabrice, Royer, Pierre, Ruane, Kirk, Mastropasqua, Sergio Rufini, de Galarreta, Claudia Ruiz, Russi, Andrea, Saar, Steven, Saillenfest, Melaine, Salaris, Maurizio, Salmon, Sebastien, Saltas, Ippocratis, Samadi, Réza, Samadi, Aunia, Samra, Dominic, da Silva, Tiago Sanches, Carrasco, Miguel Andrés Sánchez, Santerne, Alexandre, Santoli, Francesco, Santos, Ângela R. G., Mesa, Rosario Sanz, Sarro, Luis Manuel, Scandariato, Gaetano, Schäfer, Martin, Schlafly, Edward, Schmider, François-Xavier, Schneider, Jean, Schou, Jesper, Schunker, Hannah, Schwarzkopf, Gabriel Jörg, Serenelli, Aldo, Seynaeve, Dries, Shan, Yutong, Shapiro, Alexander, Shipman, Russel, Sicilia, Daniela, Sanmartin, Maria Angeles Sierra, Sigot, Axelle, Silliman, Kyle, Silvotti, Roberto, Simon, Attila E., Napoli, Ricardo Simoyama, Skarka, Marek, Smalley, Barry, Smiljanic, Rodolfo, Smit, Samuel, Smith, Alexis, Smith, Leigh, Snellen, Ignas, Sódor, Ádám, Sohl, Frank, Solanki, Sami K., Sortino, Francesca, Sousa, Sérgio, Southworth, John, Souto, Diogo, Sozzetti, Alessandro, Stamatellos, Dimitris, Stassun, Keivan, Steller, Manfred, Stello, Dennis, Stelzer, Beate, Stiebeler, Ulrike, Stokholm, Amalie, Storelvmo, Trude, Strassmeier, Klaus, Strøm, Paul Anthony, Strugarek, Antoine, Sulis, Sophia, Švanda, Michal, Szabados, László, Szabó, Róbert, Szabó, Gyula M., Szuszkiewicz, Ewa, Talens, Geert Jan, Teti, Daniele, Theisen, Tom, Thévenin, Frédéric, Thoul, Anne, Tiphene, Didier, Titz-Weider, Ruth, Tkachenko, Andrew, Tomecki, Daniel, Tonfat, Jorge, Tosi, Nicola, Trampedach, Regner, Traven, Gregor, Triaud, Amaury, Trønnes, Reidar, Tsantaki, Maria, Tschentscher, Matthias, Turin, Arnaud, Tvaruzka, Adam, Ulmer, Bernd, Ulmer-Moll, Solène, Ulusoy, Ceren, Umbriaco, Gabriele, Valencia, Diana, Valentini, Marica, Valio, Adriana, Guijarro, Ángel Luis Valverde, Van Eylen, Vincent, Van Grootel, Valerie, van Kempen, Tim A., Van Reeth, Timothy, Van Zelst, Iris, Vandenbussche, Bart, Vasiliou, Konstantinos, Vasilyev, Valeriy, de Mascarenhas, David Vaz, Vazan, Allona, Nunez, Marina Vela, Velloso, Eduardo Nunes, Ventura, Rita, Ventura, Paolo, Venturini, Julia, Trallero, Isabel Vera, Veras, Dimitri, Verdugo, Eva, Verma, Kuldeep, Vibert, Didier, Martinez, Tobias Vicanek, Vida, Krisztián, Vigan, Arthur, Villacorta, Antonio, Villaver, Eva, Aparicio, Marcos Villaverde, Viotto, Valentina, Vorobyov, Eduard, Vorontsov, Sergey, Wagner, Frank W., Walloschek, Thomas, Walton, Nicholas, Walton, Dave, Wang, Haiyang, Waters, Rens, Watson, Christopher, Wedemeyer, Sven, Weeks, Angharad, Weingril, Jörg, Weiss, Annita, Wendler, Belinda, West, Richard, Westerdorff, Karsten, Westphal, Pierre-Amaury, Wheatley, Peter, White, Tim, Whittaker, Amadou, Wickhusen, Kai, Wilson, Thomas, Windsor, James, Winter, Othon, Winther, Mark Lykke, Winton, Alistair, Witteck, Ulrike, Witzke, Veronika, Woitke, Peter, Wolter, David, Wuchterl, Günther, Wyatt, Mark, Yang, Dan, Yu, Jie, Sanchez, Ricardo Zanmar, Osorio, María Rosa Zapatero, Zechmeister, Mathias, Zhou, Yixiao, Ziemke, Claas, Zwintz, Konstanze

PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) ar

Externí odkaz: http://arxiv.org/abs/2406.05447

Shape Completion in the Dark: Completing Vertebrae Morphology from 3D Ultrasound

Autor: Gafencu, Miruna-Alexandra, Velikova, Yordanka, Saleh, Mahdi, Ungi, Tamas, Navab, Nassir, Wendler, Thomas, Azampour, Mohammad Farid

Purpose: Ultrasound (US) imaging, while advantageous for its radiation-free nature, is challenging to interpret due to only partially visible organs and a lack of complete 3D information. While performing US-based diagnosis or investigation, medical

Externí odkaz: http://arxiv.org/abs/2404.07668

Do Llamas Work in English? On the Latent Language of Multilingual Transformers

Autor: Wendler, Chris, Veselovsky, Veniamin, Monea, Giovanni, West, Robert

We ask whether multilingual language models trained on unbalanced, English-dominated corpora use English as an internal pivot language -- a question of key importance for understanding how language models function and the origins of linguistic bias.

Externí odkaz: http://arxiv.org/abs/2402.10588