Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Formal verification of information flow security for a simple arm-based separation kernelDam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, OliverProceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
All laser-based fabrication of optical elementsSchwarz, Simon ; Rung, Stefan ; Esen, Cemal ; Hellmann, Ralf Osellame, Roberto ; Herman, Peter R ; Meunier, MichelSPIE 2020Sem texto completo |
3 |
Material Type: Ata de Congresso
|
![]() |
Facebook Interface in External Communication. Case: Educational Peruvian School, 2020Reyes Pérez, Moisés David ; Facho Cornejo, Jhoselit Lisset ; Gómez Fuertes, Alberto ; Azpeitia Torres, Enrique RobertoHCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture, p.467-479 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
4 |
Material Type: Ata de Congresso
|
![]() |
Analysis of key properties for optical power limiting and the influence of nonlinear scatteringKoerber, M ; Azarian, A ; Schwarz, B ; Eberle, B Szep, Attila A ; Burgess, Douglas ; Owen, Gari ; Zamboni, Roberto ; Rana, Harbinder ; Kajzar, FrançoisSPIE 2014Sem texto completo |
5 |
Material Type: Ata de Congresso
|
![]() |
A Common Notation and Tool Support for Embedded Feature AnnotationsSchwarz, Tobias ; Mahmood, Wardah ; Berger, Thorsten Lopez-Herrejon, Roberto Erick ; Collet, Philippe ; Krüger, Jacob ; Reinhartz-Berger, Iris ; Capilla, Rafael ; Schaefer, Ina ; Gazzillo, Paul ; Rubin, Julia ; Nadi, Sarah ; Perrouin, GillesProceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B, 2020, p.5-8New York, NY, USA: ACMSem texto completo |
6 |
Material Type: Ata de Congresso
|
![]() |
SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical SystemsHernandez, Carles ; Flieh, Jose ; Paredes, Roberto ; Lefebvre, Charles-Alexis ; Allende, Imanol ; Abella, Jaume ; Trilla, David ; Matschnig, Martin ; Fischer, Bernhard ; Schwarz, Konrad ; Kiszka, Jan ; Ronnback, Martin ; Klockars, Johan ; McGuire, Nicholas ; Rammerstorfer, Franz ; Schwarzl, Christian ; Wartet, Franck ; Ludemann, Dierk ; Labayen, Mikel2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, p.370-377IEEESem texto completo |
7 |
Material Type: Ata de Congresso
|
![]() |
SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical SystemsHernández Luz, Carles ; Flich Cardo, José ; Paredes Palacios, Roberto ; Lefebvre, Charles-Alexis ; Allende, Imanol ; Abella, Jaume ; Trilla, David ; Matschnig, Martin ; Fischer, Bernhard ; Schwarz, Konrad ; Kiszka, Jan ; Ronnback, Martin ; Klockars, Johan ; McGuire, Nicholas ; Rammerstorfer, FranzIEEE 2020Texto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Multiple measurement techniques in a complex satellite antenna integration scenarioCotogni, Marco ; Di Serio, Maurizio ; Cosentino, Gabriele ; Silvestri, Roberto ; Di Giorgio, Fabio ; von Alberti, Mathias ; Diel, Stephen ; Schwarz, Sebastian2015 IEEE Metrology for Aerospace (MetroAeroSpace), 2015, p.580-584IEEESem texto completo |