Hyper power impulse magnetron – HyPIM – glow discharge von Morel, E., Rozier, Y., Minéa, T.

Volltext

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems von Moosbrugger, Patrick, Rozier, Kristin Y., Schumann, Johann

Volltext

Pyramidal texturing of silicon solar cell with TMAH chemical anisotropic etching von Papet, P., Nichiporuk, O., Kaminski, A., Rozier, Y., Kraiem, J., Lelievre, J.-F., Chaumartin, A., Fave, A., Lemiti, M.

Volltext

Multi-physics analysis of a 1 MW gyrotron cavity cooled by mini-channels von Bertinetti, A., Avramidis, K.A., Albajar, F., Cau, F., Cismondi, F., Rozier, Y., Savoldi, L., Zanino, R.

Volltext

SAT-based explicit LTLf satisfiability checking von Li, Jianwen, Pu, Geguang, Zhang, Yueling, Vardi, Moshe Y., Rozier, Kristin Y.

Volltext

Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems von Schumann, Johann, Rozier, Kristin Y., Reinbacher, Thomas, Mengshoel, Ole J., Mbaya, Timmy, Ippolito, Corey

Volltext

Linear Temporal Logic Symbolic Model Checking von Rozier, Kristin Y.

Volltext

CW Experiments With the EU 1-MW, 170-GHz Industrial Prototype Gyrotron for ITER at KIT von Ioannidis, Zisis C., Rzesnicki, Tomasz, Albajar, F., Alberti, S., Avramidis, Konstantinos A., Bin, William, Bonicelli, T., Bruschi, Alessandro, Chelis, Ioannis, Frigot, P.-E, Gantenbein, Gerd, Hermann, V., Hogge, J.-P, Illy, Stefan, Jianbo Jin, Jelonnek, John, Kasparek, W., Latsas, G., Lechte, C., Legrand, F., Kobarg, Thorsten, Pagonakis, Ioannis Gr, Rozier, Y., Schlatter, C., Schmid, Martin, Tigelis, Ioannis G., Thumm, Manfred, Tran, M. Q., Zein, Andy, Zisis, A.

Volltext

Incremental design-space model checking via reusable reachable state approximations von Dureja, Rohit, Rozier, Kristin Y.

Volltext

Experimental verification of the European 1 MW, 170 GHz industrial CW prototype gyrotron for ITER von Rzesnicki, T., Albajar, F., Alberti, S., Avramidis, K.A., Bin, W., Bonicelli, T., Braunmueller, F., Bruschi, A., Chelis, J., Frigot, P.-E., Gantenbein, G., Hermann, V., Hogge, J.-P., Illy, S., Ioannidis, Z.C., Jin, J., Jelonnek, J., Kasparek, W., Latsas, G.P., Lechte, C., Lontano, M., Kobarg, T., Pagonakis, I.G., Rozier, Y., Schlatter, C., Schmid, M., Tigelis, I.G., Thumm, M., Tran, M.Q., Vomvoridis, J.L., Zisis, A.

Volltext

Integrating runtime verification into an automated UAS traffic management system von Hammer, Abigail, Cauwels, Matthew, Hertz, Benjamin, Jones, Phillip H., Rozier, Kristin Y.

Volltext

LTL satisfiability checking von Rozier, Kristin Y., Vardi, Moshe Y.

Volltext

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints von Johannsen, Chris, Kempa, Brian, Jones, Phillip H., Rozier, Kristin Y., Wongpiromsarn, Tichakorn

Volltext

Epitaxial growth of LaAlO3 on Si(001) using interface engineering von MERCKLING, C, DELHAYE, G, ROBACH, Y, HOLLINGER, G, EL-KAZZI, M, GAILLARD, S, ROZIER, Y, RAPENNE, L, CHENEVIER, B, MARTY, O, SAINT-GIRONS, G, GENDRY, M

Volltext

LaAlO3 films prepared by MBE on LaAlO3(001) and Si(001) substrates von Gaillard, S., Rozier, Y., Merckling, C., Ducroquet, F., Gendry, M., Hollinger, G.

Volltext

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types von Hariharan, Gokul, Kempa, Brian, Wongpiromsarn, Tichakorn, Jones, Phillip H., Rozier, Kristin Y.

Volltext

Stalnaker's Epistemic Logic in Isabelle/HOL von Gamboa Guzman, Laura P., Rozier, Kristin Y.

Volltext

Satisfiability checking for Mission-time LTL (MLTL) von Li, Jianwen, Vardi, Moshe Y., Rozier, Kristin Y.

Volltext

Multi-physics analysis of a 1MW gyrotron cavity cooled by mini-channels von Bertinetti, A., Avramidis, K.A., Albajar, F., Cau, F., Cismondi, F., Rozier, Y., Savoldi, L., Zanino, R.

Volltext

From Series Production of Gyrotrons for W7-X Toward EU-1 MW Gyrotrons for ITER von Jelonnek, John, Albajar, Ferran, Alberti, Stefano, Avramidis, Konstantinos, Benin, Patrick, Bonicelli, Tullio, Cismondi, Fabio, Erckmann, Volker, Gantenbein, Gerd, Hesch, Klaus, Hogge, Jean-Philippe, Illy, Stefan, Ioannidis, Zisis C., Jin, Jianbo, Laqua, Heinrich, Latsas, George P., Legrand, Francois, Michel, Georg, Pagonakis, Ioannis G., Piosczyk, Bernhard, Rozier, Yoann, Rzesnicki, Tomasz, Tigelis, Ioannis G., Thumm, Manfred, Tran, Minh Quang, Vomvoridis, John L.

Volltext