Inductive verification of data model invariants in web applications using first-order logic von Bocić, Ivan, Bultan, Tevfik, Rosner, Nicolás

Volltext

JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation von Brennan, Tegan, Rosner, Nicolas, Bultan, Tevfik

Volltext

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds von Galeotti, J. P., Rosner, N., Lopez Pombo, Carlos G., Frias, M. F.

Volltext

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support von Rosner, Nicolas, Geldenhuys, Jaco, Aguirre, Nazareno M., Visser, Willem, Frias, Marcelo F.

Volltext

Efficient Tight Field Bounds Computation Based on Shape Predicates von Ponzio, Pablo, Rosner, Nicolás, Aguirre, Nazareno, Frias, Marcelo

Volltext

Bounded exhaustive test input generation from hybrid invariants von Rosner, Nicolás, Bengolea, Valeria, Ponzio, Pablo, Khalek, Shadi Abdul, Aguirre, Nazareno, Frias, Marcelo F., Khurshid, Sarfraz

Volltext

Parallel Bounded Verification of Alloy Models by TranScoping von Rosner, Nicolás, López Pombo, Carlos Gustavo, Aguirre, Nazareno, Jaoua, Ali, Mili, Ali, Frias, Marcelo F.

Volltext

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving von Abad, Pablo, Aguirre, Nazareno, Bengolea, Valeria, Ciolek, Daniel, Frias, Marcelo F., Galeotti, Juan, Maibaum, Tom, Moscato, Mariano, Rosner, Nicolas, Vissani, Ignacio

Volltext

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models von Rosner, Nicolás, Galeotti, Juan P., Lopez Pombo, Carlos G., Frias, Marcelo F.

Volltext

Visualizing dependent relationships in computer program analysis trace elements von Pike, Lee, Sengupta, Aritra, Rosner, Nicolas Leandro, Visser, Willem Conradie, Schaef, Martin

Volltext bestellen

Insect stereopsis demonstrated using a 3D insect cinema von Nityananda, Vivek, Tarawneh, Ghaith, Rosner, Ronny, Nicolas, Judith, Crichton, Stuart, Read, Jenny

Volltext

Risk prediction models for endometrial cancer: development and validation in an international consortium von Shi, Joy, Kraft, Peter, Rosner, Bernard A, Benavente, Yolanda, Black, Amanda, Brinton, Louise A, Chen, Chu, Clarke, Megan A, Cook, Linda S, Costas, Laura, Dal Maso, Luigino, Freudenheim, Jo L, Frias-Gomez, Jon, Friedenreich, Christine M, Garcia-Closas, Montserrat, Goodman, Marc T, Johnson, Lisa, La Vecchia, Carlo, Levi, Fabio, Lissowska, Jolanta, Lu, Lingeng, McCann, Susan E, Moysich, Kirsten B, Negri, Eva, O'Connell, Kelli, Parazzini, Fabio, Petruzella, Stacey, Polesel, Jerry, Ponte, Jeanette, Rebbeck, Timothy R, Reynolds, Peggy, Ricceri, Fulvio, Risch, Harvey A, Sacerdote, Carlotta, Setiawan, Veronica W, Shu, Xiao-Ou, Spurdle, Amanda B, Trabert, Britton, Webb, Penelope M, Wentzensen, Nicolas, Wilkens, Lynne R, Xu, Wang Hong, Yang, Hannah P, Yu, Herbert, Du, Mengmeng, De Vivo, Immaculata

Volltext

Short-term single-centre experience with the HeartMate 3 left ventricular assist device for advanced heart failure von Nowacka, Anna, Hullin, Roger, Tozzi, Piergiorgio, Barras, Nicolas, Regamey, Julien, Yerly, Patrick, Rosner, Lorenzo, Marcucci, Carlos, Rusca, Marco, Liaudet, Lucas, Kirsch, Matthias

Volltext

Hormonal and Reproductive Risk Factors for Epithelial Ovarian Cancer by Tumor Aggressiveness von POOLE, Elizabeth M, MERRITT, Melissa A, TERRY, Kathryn L, TWOROGER, Shelley S, JORDAN, Susan J, YANG, Hannah P, HANKINSON, Susan E, PARK, Yikung, ROSNER, Bernard, WEBB, Penelope M, CRAMER, Daniel W, WENTZENSEN, Nicolas

Volltext

C–H Arylation in the Formation of a Complex Pyrrolopyridine, the Commercial Synthesis of the Potent JAK2 Inhibitor, BMS-911543 von Fox, Richard J, Cuniere, Nicolas L, Bakrania, Lopa, Wei, Carolyn, Strotman, Neil A, Hay, Michael, Fanfair, Dayne, Regens, Christopher, Beutner, Gregory L, Lawler, Michael, Lobben, Paul, Soumeillant, Maxime C, Cohen, Benjamin, Zhu, Keming, Skliar, Dimitri, Rosner, Thorsten, Markwalter, Chester E, Hsiao, Yi, Tran, Kristy, Eastgate, Martin D

Volltext

The Multicenter Collaborative to Enhance Biologic Understanding, Quality, and Outcomes in Cardiogenic Shock (VANQUISH Shock): Rationale and Design von Tehrani, Behnam N., Drakos, Stavros G., Billia, Filio, Batchelor, Wayne B., Luk, Adriana, Stelling, Kelly, Tonna, Joseph, Rosner, Carolyn, Hanff, Thomas, Rao, Vivek, Brozzi, Nicolas A., Baran, David A.

Volltext

The Fourth Report on the Diagnosis, Evaluation, and Treatment of High Blood Pressure in Children and Adolescents von National High Blood Pressure Education Program Working Group on High Blood Pressure in Children and Adolescents

Volltext

Abstract 888: Personalized cutpoints of CA125 to improve early detection of ovarian cancer in postmenopausal women von Sasamoto, Naoko, Rosner, Bernard A., Fortner, Renée T., Trabert, Britton, Vitonis, Allison F., Nartey, Stephanie, Fichorova, Raina N., Titus, Linda J., Cramer, Daniel W., Wentzensen, Nicolas, Tworoger, Shelley S., Kaaks, Rudolf, Terry, Kathryn L.

Volltext

Increased Extravascular Lung Water and Plasma Biomarkers of Acute Lung Injury Precede Oxygenation Impairment in Primary Graft Dysfunction After Lung Transplantation von Pottecher, Julien, Roche, Anne-Claude, Dégot, Tristan, Helms, Olivier, Hentz, Jean-Gustave, Schmitt, Jean-Paul, Falcoz, Pierre-Emmanuel, Santelmo, Nicola, Levy, François, Collange, Olivier, Uring-Lambert, Béatrice, Bahram, Siamak, Schaeffer, Mickaël, Meyer, Nicolas, Geny, Bernard, Lassalle, Philippe, Diemunsch, Pierre, Massard, Gilbert, Kessler, Romain, Steib, Annick

Volltext

First Supra-THz Heterodyne Array Receivers for Astronomy With the SOFIA Observatory von Risacher, Christophe, Gusten, Rolf, Stutzki, Jurgen, Hubers, Heinz-Wilhelm, Buchel, Denis, Graf, Urs U., Heyminck, Stefan, Honingh, Cornelia E., Jacobs, Karl, Klein, Bernd, Klein, Thomas, Leinz, Christian, Putz, Patrick, Reyes, Nicolas, Ricken, Oliver, Wunsch, Hans-Joachim, Fusco, Paul, Rosner, Stefan

Volltext