The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning von Isberner, Malte, Howar, Falk, Steffen, Bernhard

Volltext

On-Line Monitoring for Temporal Logic Robustness von Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios

Volltext

New CCL|MPL Architecture Reducing Interfacial Gaps and Enhancing PEM Fuel Cell Performance von Daniel, L., Bonakdarpour, A., Sharman, J., Wilkinson, D. P.

Volltext

Reaction of Li with Alloy Thin Films Studied by In Situ AFM von Beaulieu, L. Y., Hatchard, T. D., Bonakdarpour, A., Fleischauer, M. D., Dahn, J. R.

Volltext

Impact of Carbon Porosity on the Performance of Cathode Microporous Layers in Proton Exchange Membrane Fuel Cells von Govindarajan, R., Payoyo, J., Fang, B., Bonakdarpour, A., Wilkinson, D. P.

Volltext

Loading of Se/Ru/C electrocatalyst on a rotating ring-disk electrode and the loading impact on a H2O2 release during oxygen reduction reaction von BONAKDARPOUR, A, DELACOTE, C, YANG, R, WIECKOWSKI, A, DAHN, J. R

Volltext

ROSRV: Runtime Verification for Robots von Huang, Jeff, Erdogan, Cansu, Zhang, Yi, Moore, Brandon, Luo, Qingzhou, Sundaresan, Aravind, Rosu, Grigore

Volltext

Economical Sputtering System To Produce Large-Size Composition-Spread Libraries Having Linear and Orthogonal Stoichiometry Variations von Dahn, J. R, Trussler, S, Hatchard, T. D, Bonakdarpour, A, Mueller-Neuhaus, J. R, Hewitt, K. C, Fleischauer, M

Volltext

The genetic architecture of the human cerebral cortex von Grasby, Katrina L, Jahanshad, Neda, Painter, Jodie N, Colodro-Conde, Lucía, Bralten, Janita, Hibar, Derrek P, Lind, Penelope A, Pizzagalli, Fabrizio, Ching, Christopher R K, McMahon, Mary Agnes B, Shatokhina, Natalia, Zsembik, Leo C P, Thomopoulos, Sophia I, Zhu, Alyssa H, Strike, Lachlan T, Agartz, Ingrid, Alhusaini, Saud, Almeida, Marcio A A, Alnæs, Dag, Amlien, Inge K, Andersson, Micael, Ard, Tyler, Armstrong, Nicola J, Ashley-Koch, Allison, Atkins, Joshua R, Bernard, Manon, Brouwer, Rachel M, Buimer, Elizabeth E L, Bülow, Robin, Bürger, Christian, Cannon, Dara M, Chakravarty, Mallar, Chen, Qiang, Cheung, Joshua W, Couvy-Duchesne, Baptiste, Dale, Anders M, Dalvie, Shareefa, de Araujo, Tânia K, de Zubicaray, Greig I, de Zwarte, Sonja M C, den Braber, Anouk, Doan, Nhat Trung, Dohm, Katharina, Ehrlich, Stefan, Engelbrecht, Hannah-Ruth, Erk, Susanne, Fan, Chun Chieh, Fedko, Iryna O, Foley, Sonya F, Ford, Judith M, Fukunaga, Masaki, Garrett, Melanie E, Ge, Tian, Giddaluru, Sudheer, Goldman, Aaron L, Green, Melissa J, Groenewold, Nynke A, Grotegerd, Dominik, Gurholt, Tiril P, Gutman, Boris A, Hansell, Narelle K, Harris, Mathew A, Harrison, Marc B, Haswell, Courtney C, Hauser, Michael, Herms, Stefan, Heslenfeld, Dirk J, Ho, New Fei, Hoehn, David, Hoffmann, Per, Holleran, Laurena, Hoogman, Martine, Hottenga, Jouke-Jan, Ikeda, Masashi, Janowitz, Deborah, Jansen, Iris E, Jia, Tianye, Jockwitz, Christiane, Kanai, Ryota, Karama, Sherif, Kasperaviciute, Dalia, Kaufmann, Tobias, Kelly, Sinead, Kikuchi, Masataka, Klein, Marieke, Knapp, Michael, Knodt, Annchen R, Krämer, Bernd, Lam, Max, Lancaster, Thomas M, Lee, Phil H, Lett, Tristram A, Lewis, Lindsay B, Lopes-Cendes, Iscia, Luciano, Michelle, Macciardi, Fabio, Marquand, Andre F, Mathias, Samuel R, Melzer, Tracy R, Milaneschi, Yuri

Volltext

Anomalous, high-voltage irreversible capacity in tin electrodes for lithium batteries von BEATTIE, S. D, HATCHARD, T, BONAKDARPOUR, A, HEWITT, K. C, DAHN, J. R

Volltext

Scalable Offline Monitoring von Basin, David, Caronni, Germano, Ereth, Sarah, Harvan, Matúš, Klaedtke, Felix, Mantel, Heiko

Volltext

Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems von Geist, Johannes, Rozier, Kristin Y., Schumann, Johann

Volltext

Online Monitoring of Metric Temporal Logic von Ho, Hsi-Ming, Ouaknine, Joël, Worrell, James

Volltext

Self-stabilizing Robots in Highly Dynamic Environments von Bournat, Marjorie, Datta, Ajoy K., Dubois, Swan

Volltext

An Economical Half-Cell and Modified Rotating Disk Electrode for Electrochemical Characterizations of Fuel Cell Catalyst-Coated Membranes and Gas Diffusion Electrodes von Bonakdarpour, Arman, Kwan, Jason, Pinaud, Blaise A, Daniel, Lius, Afonso, Greg, Wilkinson, David P

Volltext

The electrochemical reaction of Li with amorphous Si-Sn alloys von BEAULIEU, L. Y, HEWITT, K. C, TURNER, R. L, BONAKDARPOUR, A, ABDO, A. A, CHRISTENSEN, L, EBERMAN, K. W, KRAUSE, L. J, DAHN, J. R

Volltext

First International Competition on Software for Runtime Verification von Bartocci, Ezio, Bonakdarpour, Borzoo, Falcone, Yliès

Volltext

On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems von Fraigniaud, Pierre, Rajsbaum, Sergio, Travers, Corentin

Volltext

Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm von Balabonski, Thibaut, Delga, Amélie, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier

Volltext

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models von Mitsch, Stefan, Platzer, André

Volltext