Facoltà di scienze informatiche
Pubblicazioni
Articolo pubblicato in rivista scientifica (462)
Vecchi E.,
Bassetti D.,
Graziato F.,
Pospisil L.,
Horenko I. (in uscita)
Gauge-optimal approximate learning for small data classification problems , Neural Computation
Crupi L.,
Butera L. ,
Ferrante A. ,
Giusti A. ,
Palossi D. (in uscita)
An Efficient Ground-aerial Transportation System for Pest Control Enabled by AI-based Autonomous Nano-UAVs , ACM J. Auton. Transport. Syst.
Janett G.,
Zeuner F. ,
Milić I.,
Belluzzi L. (2026)
Solar magnetic field stratification from Ca I 4227 Å spectropolarimetric inversions , Astronomy & Astrophysics, 707
Laneve L. (2026)
An adversary bound for quantum signal processing , Quantum, 10
Zanardi I.,
Valguarnera S.,
Landoni M. (2026)
The Stargazer Map of participatory sessions with children. Scoping review of contextual elements and framework for reporting , International Journal of Child-Computer Interaction, 48
Eftekhari A. ,
Folini D.,
Friedl A.,
Kubler F.,
Scheidegger S.,
Schenk O. (2025)
Building Interpretable Climate Emulators for Economics , Economic Journal (November)
Sharygina N. ,
Blicha M.,
Britikov K. (2025)
Golem: a flexible and efficient solver for constrained Horn clauses , Formal Methods in System Design
Kardoš J.,
Edeling W.,
Suleimenova D.,
Groen D.,
Schenk O. (2025)
Sensitivity Analysis of High-Dimensional Models with Correlated Inputs , Journal of Computational Science (July)
Lau C.,
Nurlisman Z.,
Wahid K.,
Ishak A.,
Hamidi Z.,
Monstein C. (2025)
Characteristics Analysis of Type II Solar Radio Bursts Detected by CALLISTO Spectrometer at The Space Technology Complex (STC), Banting, Malaysia During Ascending Phase of Solar Cycle 25 , MALAYSIAN JOURNAL OF APPLIED SCIENCES, 10 (1)
Riva F. M. ,
Janett G. ,
Belluzzi L. ,
del Pino Alemán T.,
Alsina Ballester E.,
Trujillo Bueno J.,
Benedusi P. ,
Riva S. ,
Krause R. (2025)
A numerical approach for modelling the polarisation signals of strong resonance lines with partial frequency redistribution , Astronomy & Astrophysics
Cabini R. F.,
Tettamanti H.,
Zanella M. (2025)
Understanding the impact of evaluation metrics in kinetic models for consensus-based segmentation , Entropy, 27 (2)
Bédard C. A. (2025)
On the alleged locality in the Schrödinger picture. Comment on Vedral, V. locality in the Schrödinger picture of quantum mechanics. Physics 2024, 6, 793–800 , Physics, 7 (2)
Esteban Pozuelo S.,
Asensio Ramos A.,
Trujillo Bueno J.,
Ramelli R.,
Bianda M.,
Zeuner F. (2025)
Study of an active region prominence using spectropolarimetric data in the He I D3 multiplet , Astronomy & Astrophysics, 696
Zeuner F. ,
Belluzzi L.,
Alsina Ballester E.,
Casini R.,
Harrington D. M.,
del Pino Alemán T.,
Trujillo Bueno J. (2025)
DKIST resolves sub-arcsec photospheric scattering polarization , Astronomy & Astrophysics, 703
Rovelli D.,
Rive M. D.,
Eugster P. T. (2025)
Toward a Practical Deterministic Datapath for 6G End Devices , IEEE Network, 39 (3)
Chuprikov P.,
Eugster P. T. ,
Mangipudi S. (2025)
Security Policy as Code , IEEE Security & Privacy, 23 (2)
MazraehKhatiri S. ,
Mohammadi Amin F.,
Panichella S.,
Tonella P. (2025)
When uncertainty leads to unsafety: Empirical insights into the role of uncertainty in unmanned aerial vehicle safety , Empirical Software Engineering, 30 (6)
Biagiola M. ,
Feldt R.,
Tonella P. (2025)
Adaptive random testing with Q-grams : the illusion comes true , Proceedings of the ACM on Software Engineering, 2 (FSE)
Olianas D.,
Leotta M.,
Ricca F.,
Biagiola M. ,
Tonella P. (2025)
STILE : a tool for optimizing E2E web test scripts parallelization , Journal of Systems and Software, 222
Humbatova N. ,
Kim J. ,
Jahangirova G.,
Yoo S.,
Tonella P. (2025)
An empirical study of fault localisation techniques for deep neural networks , Empirical Software Engineering, 30 (5)
Pasini S. ,
Kim J. ,
Aiello T.,
Cabrera Lozoya R.,
Sabetta A.,
Tonella P. (2025)
Evaluating and improving the robustness of security attack detectors generated by LLMs , Empirical Software Engineering, 31 (2)
Tehrani M. J.,
Kim J. ,
Foulefack R. Z. L.,
Marchetto A.,
Tonella P. (2025)
A taxonomy of system-level attacks on deep learning models in autonomous vehicles , ACM Transactions on Software Engineering and Methodology
Bouvry P.,
Brorsson M.,
Canal R.,
Hoefinger S.,
Smets D.,
Koestler H.,
Kozubek T.,
Krishnasamy E.,
Llosa J.,
Lukas-Rother A.,
Martorell X.,
Pleiter D.,
Proykova A.,
Sancho M. R.,
Schenk O. ,
Silvano C. (2025)
Shaping an European curriculum for master in HPC , Journal of Parallel and Distributed Computing, 201 (April)
Abdalazim N. A. R. ,
Alchieri L.,
Alecci L.,
Barbiero P.,
Santini S. (2025)
The impact of domain shift on predicting perceived sleep quality from wearables , Sensors, 25 (13)
Alecci L. ,
Laporte M.,
Alchieri L.,
Abdalazim N.,
Santini S. (2025)
What the heart can(not) tell. Potential and pitfalls of biometric recognition methods based on photoplethysmography , Sensors, 25 (24)
Laneve L. ,
Wolf S. (2025)
On multivariate polynomials achievable with quantum signal processing , Quantum, 9
Pizzagalli D. U.,
Carrillo-Barberà P.,
Bansal H.,
Palladino E.,
Ceni K.,
Thelen B.,
Pulfer A.,
Moscatello E.,
Fiamma Cabini R.,
Textor J.,
M N Wortel I.,
Hickey M.,
Norman U.,
Hidalgo A.,
Crainiciuc G.,
Adrover J. M.,
Palomino-Segura M.,
Marangoni F.,
Mempel T. R.,
Xu C.,
Choe K.,
Lennon-Dumenil A. M.,
Obino D.,
Bousso P.,
Moreau H. D.,
Halin C.,
Hunter M. C.,
Stein J. V.,
Pfenninger P.,
Abe J.,
Murooka T. T.,
Iannacone M.,
Ficht X.,
Moalli F.,
Bénéchet A. P.,
Kastenmüller W.,
Eickhoff S.,
Sarris M.,
Georgantzoglou A.,
Engelhardt B.,
Vladymyrov M.,
Pareja J.,
Jahromi N. H.,
Cahalan M. D.,
Othy S.,
Farsakoglu Y.,
Simon H. U.,
Germic N.,
Di Pilato M.,
Sintes J.,
Virgilio T.,
Latino I.,
Romero D. M.,
Pizzichetti C.,
Cappucetti A.,
Chahine K.,
Caetano dos Santos F. L.,
Bordini J.,
Krause R.,
Fernandez Gonzalez S. (2025)
Systematic analysis of immune cell motility leveraging the open intravital microscopy database Immunemap , The EMBO Journal, 45 (1)
Andreella A.,
. Balafas S.,
Mira A. ,
Wit E. J. ,
Ruggeri F.,
Nattino G.,
Ghilardi G.,
Bertolini G. (2024)
A predictive model for planning emergency events rescue during COVID-19 in Lombardy, Italy , Statistical Methods and Applications
Vecchi E.,
Kardoš J.,
Lechekhab M.,
Waechter A.,
Horenko I.,
Schenk O. (2024)
Structure-exploiting interior-point solver for high-dimensional entropy-sparsified regression learning , Journal of Computational Science (January)
Zeuner F. ,
del Pino Alemán T.,
Trujillo Bueno J.,
Solanki S. K. (2024)
Comparing Observed with Simulated Solar-disk-center Scattering Polarization in the Sr I 4607 Å Line , The Astrophysical Journal, 964 (10)
Pesce-Rollins M.,
Klein K. L.,
Krucker S.,
Warmuth A.,
Veronig M. A.,
Omodei N.,
Monstein C. (2024)
Evidence for flare-accelerated particles in large scale loops in the behind-the-limb gamma-ray solar flare of September 29, 2022 , Astronomy & Astrophysics, 683 (February)
Guerreiro N.,
Janett G. ,
Riva S. ,
Benedusi P. ,
Belluzzi L. (2024)
Modeling the scattering polarization in the solar Ca I 4227 Å line with angle-dependent PRD effects and bulk velocities , Astronomy & Astrophysics, 683
Harbrecht H.,
Multerer M. ,
Schenk O. ,
Schwab C. (2024)
Multiresolution kernel matrix algebra , Numerische Mathematik
Li H.,
del Pino Alemán T.,
Trujillo Bueno J.,
Zeuner F. (2024)
Observation and Modeling of the Circular Polarization of the Cr I Magnetic-field-induced Transition at 533.03 nm , The Astrophysical Journal 964, 964 (2)
Gaedke-Merzhäuser L. ,
Krainski E.,
Janalík R.,
Rue H.,
Schenk O. (2024)
Integrated Nested Laplace Approximations for Large-Scale Spatial-Temporal Bayesian Modeling , SIAM Journal on Scientific Computing (SISC), 46 (4 ( April ))
Grattarola D.,
Zambon D. ,
Bianchi F. M.,
Alippi C. (2024)
Understanding Pooling in Graph Neural Networks , IEEE Transactions on Neural Networks and Learning Systems, 35 (2 ( February ))
Butera L. ,
Cini A. ,
Ferrante A. ,
Alippi C. (2024)
Object-Centric Relational Representations for Image Generation , Transactions on Machine Learning Research
Ndacyayisenga T.,
Uwamahoro J.,
Raja K.,
Uwamahoro J.,
Kwisanga C.,
Monstein C. (2024)
An Assessment of Solar Cycle 25 progress through observation of SRBs and associated Geomagnetic Storms , Advances in Space Research, 73 (12)
Aguilar-Rodriguez E.,
Vourlidas A.,
Corona-Romero P.,
Monstein C. ,
Reeve W.,
Romero-Hernandez E.,
Andrade-Mascote E.,
Villanueva-Hernandez P.,
Peralta-Mendoza I.,
Perez-Leon J.,
Perez-Tijerina E. (2024)
Radio Signature of the Strong Compression between a Streamer and a Coronal Hole Boundary , The Astrophysical Journal Letters, 970 (2 ( July ))
Ndacyayisenga T.,
Uwamahoro J.,
Uwamahoro J. C.,
Okoh D.,
Sasikumar Raja K.,
Rabiu A.,
Kwisanga C.,
Monstein C. (2024)
Low-frequency solar radio type II bursts and their association with space weather events during the ascending phase of solar cycle 25 , Annales Geophysicae, 42 (2)
Belluzzi L. ,
Riva S. ,
Janett G. ,
Guerreiro N.,
Riva F. M. ,
Benedusi P. ,
del Pino Alemán T.,
Alsina Ballester E.,
Trujillo Bueno J.,
Štepán J. (2024)
Accurate PRD modeling of the forward-scattering Hanle effect in the chromospheric Ca i 4227 Å line , Astronomy & Astrophysics
Afandi N. M.,
Umar R.,
Sabri N.,
Safei S.,
Monstein C. ,
Lau C.,
Zafar S. S. (2024)
Burst-classifier: Automated Classification of Solar Radio Burst Type II, III and IV for CALLISTO Spectra using Physical Properties during Maximum of Solar Cycle 24 , Advances in Space Research
Multerer M. ,
Schneider P. ,
Sen R. (2024)
Fast empirical scenarios , Journal of Computational Mathematics and Data Science
Lüchtefeld I.,
Pivkin I. ,
Gardini L.,
Zare-Eelanjegh E.,
Gäbelein C.,
Ihle S. J.,
Reichmuth A. M.,
Capitanio M.,
Martinac B.,
Zambelli T.,
others (2024)
Dissecting cell membrane tension dynamics and its effect on Piezo1-mediated cellular mechanosensitivity using force-controlled nanopipettes , Nature Methods
Eugster P. T. (2024)
Toward Robust Control for 6G Networks , IEEE Netw., 38 (3)
Fuda C.,
Hormann K. (2024)
Algorithm 1048: A C++ class for robust linear barycentric rational interpolation , ACM Transactions on Mathematical Software, 50 (3 ( September ))
Fuda C.,
Ramanantoanina A.,
Hormann K. (2024)
A comprehensive comparison of algorithms for evaluating rational Bézier curves , Dolomites Research Notes on Approximation, 17 (3 ( September ))
Fu R.,
Hormann K. ,
Alliez P. (2024)
LFS-aware surface reconstruction from unoriented 3D point clouds , IEEE Transactions on Multimedia, 26
Ströter D.,
Thiery J. M.,
Hormann K. ,
Chen J.,
Chang Q.,
Besler S.,
Mueller-Roemer J. S.,
Boubekeur T.,
Stork A.,
Fellner D. W. (2024)
A survey on cage-based deformation of 3D models , Computer Graphics Forum, 43 (2 ( May ))
Hormann K. ,
Romani L.,
Viscardi A. (2024)
New algebraic and geometric characterizations of planar quintic Pythagorean-hodograph curves , Computer Aided Geometric Design, 108 (February)
Sulem D. ,
Rivoirard V.,
Rousseau J. (2024)
Bayesian estimation of nonlinear Hawkes processes , Bernoulli
Benz A.,
Huber C.,
Timmel V.,
Monstein C. (2024)
Observation of an Extraordinary Type V Solar Radio Burst: Nonlinear Evolution of the Electron Two-Stream Instability , Solar Physics, 299
Adorni G.,
Piatti S.,
Karpenko V. (2024)
Virtual CAT. A multi-interface educational platform for algorithmic thinking assessment , SoftwareX, 27 (September)
Filippi-Mazzola E. G.,
Wit E. J. (2024)
A stochastic gradient relational event additive model for modelling US patent citations from 1976 to 2022 , Journal of the royal statistical society series C: applied statistics, 73 (4)
Hormann K. ,
Mancinelli C. (2024)
Curvature continuous corner cutting , Computer aided geometric design, 114 (102392)
Mastropaolo A.,
Ferrari V.,
Pascarella L.,
Bavota G. (2024)
Log statements generation via deep learning. Widening the support provided to developers , The Journal of Systems & Software, 210
Adorni G.,
Artico I.,
Piatti A.,
Lutz E.,
Gambardella L. M. ,
Negrini L.,
Mondada F.,
Assaf D. (2024)
Development of algorithmic thinking skills in K-12 education. A comparative study of unplugged and digital assessment instruments , Computers in human behavior reports, 15 (August)
Zhang W.,
Mira A. ,
Wit E. J. (2024)
Bayesian poisson regression tensor train decomposition model for learning mortality pattern changes during COVID-19 pandemic , Journal of applied statistics
Fuda C.,
Hormann K. (2024)
A new stable method to compute mean value coordinates , Computer aided geometric design, 111
Donatelli M.,
Mazza M.,
Trotti K. (2024)
Multigrid for two-sided fractional differential equations discretized by finite volume elements on graded meshes , Journal of computational and applied mathematics, 444 (115787)
Felici R.,
Pozzi L. ,
Furia C. A. (2024)
HyperPUT. Generating synthetic faulty programs to challenge bug-finding tools , Empirical software engineering, 29 (38)
Filippi-Mazzola E.,
Wit E. J. (2024)
Modeling non-linear effects with neural networks in Relational Event Models , Social networks, 79
Muscat S.,
Errico S.,
Danani A.,
Chiti F.,
Grasso G. (2024)
Leveraging machine learning-guided molecular simulations coupled with experimental data to decipher membrane binding mechanisms of aminosterols , Journal of chemical theory and computation, 20 (18)
Barnett E.,
Kaiser O.,
Masci J.,
Wit E. J. ,
Fulda S. (2024)
Generative models for periodicity detection in noisy signals , Clocks & sleep, 6 (3)
Giamattei L.,
Biagiola M. ,
Pietrantuono R.,
Russo S.,
Tonella P. (2024)
Reinforcement learning for online testing of autonomous driving systems : a replication and extension study , Empirical Software Engineering, 30 (1)
Zohdinasab T.,
Riccio V.,
Tonella P. (2024)
Focused test generation for autonomous driving systems , ACM Transactions on Software Engineering and Methodology, 33 (6)
Biagiola M. ,
Tonella P. (2024)
Testing of Deep Reinforcement Learning agents with surrogate models , ACM Transactions on Software Engineering and Methodology, 33 (3)
Biagiola M. ,
Stocco A.,
Riccio V.,
Tonella P. (2024)
Two is better than one : digital siblings to improve autonomous driving testing , Empirical Software Engineering, 29 (4)
Pasadakis D. ,
Bollhoefer M.,
Schenk O. (2023)
Sparse Quadratic Approximation for Graph Learning , IEEE Transactions on Pattern Analysis and Machine Intelligence, 45 (April)
Rosales Rosero E. E.,
Basso M.,
Rosà A. ,
Binder W. (2023)
Profiling and Optimizing Java Streams , The Art, Science, and Engineering of Programming 7(3)
Basso M.,
Prokopec A.,
Rosà A. ,
Binder W. (2023)
Optimization-Aware Compiler-Level Event Profiling , ACM Transactions on Programming Languages and Systems
Riva S. ,
Guerreiro N.,
Janett G. ,
Rossinelli D.,
Benedusi P. ,
Krause R. ,
Belluzzi L. (2023)
Assessment of the CRD approximation for the observer's frame RIII redistribution matrix , Astronomy & Astrophysics, 679 (November)
Battaglia A. F.,
Wang W.,
Saqri J.,
Podladchikova T.,
Veronig A. M.,
Collier H.,
Dickson E. C.,
Podladchikova O.,
Monstein C. ,
Warmuth A.,
Schuller F.,
Harra L.,
Krucker S. (2023)
Identifying the energy release site in a solar microflare with a jet , Astronomy & Astrophysics, 670 (February)
Alsina Ballester E.,
Belluzzi L. ,
Trujillo Bueno J. (2023)
The Potential of the Wavelength-integrated Scattering Polarization of the Hydrogen Ly-alpha Line for Probing the Solar Chromosphere , Astrophysical Journal, 947 (2)
Ishikawa R.,
Trujillo Bueno J.,
Alsina Ballester E.,
Belluzzi L. ,
del Pino Alemán T.,
McKenzie D. E.,
Auchère F.,
Kobayashi K.,
Okamoto T. J.,
Rachmeler L. A.,
Song D. (2023)
Evidence for the Operation of the Hanle and Magneto-optical Effects in the Scattering Polarization Signals Observed by CLASP2 across the Mg II h and k Lines , Astrophysical Journal, 945 (2)
Cini A. ,
Zambon D. ,
Alippi C. (2023)
Sparse Graph Learning from Spatiotemporal Time Series , Journal of Machine Learning Research, 24 (242)
Gotsman C.,
Hormann K. (2023)
Efficient point-to-point resistance distance queries in large graphs , Journal of Graph Algorithms and Applications, 27 (1 ( February ))
Sharygina N. ,
Otoni R. B.,
Marescotti M.,
Alt L.,
Eugster P. T. ,
Hyvärinen A. (2023)
A Solicitous Approach to Smart Contract Verification , ACM Transactions on Privacy and Security
Fontana I.,
Langheinrich M. ,
Gjoreski M. (2023)
GANs for privacy-aware mobility modeling , IEEE Access, 11
Rosales E.,
Basso M.,
Binder W. (2023)
Large-scale characterization of Java streams , Journal of software : practice and experience, 53 (9)
Amati R. ,
Piumatti G.,
Franscella G.,
Buttaroni P.,
Camerini A. L. ,
Corna L.,
Levati S.,
Fadda M. ,
Fiordelli M. ,
Annoni A. M. ,
Bezani K.,
Amendola A.,
Fragoso Corti C.,
Sabatini S.,
Kaufmann M.,
Frei A.,
Puhan M. A.,
Crivelli L. ,
Albanese E. (2023)
Trajectories of seroprevalence and neutralizing activity of antibodies against SARS-CoV-2 in Southern Switzerland between July 2020 and July 2021. An ongoing, prospective population-based cohort study , International Journal of Environmental Research and Public Health, 20
Denby B.,
Csapó T. G. (2023)
Future speech interfaces with sensors and machine intelligence , Sensors, 23 (4)
Gobert M.,
Nagy C.,
Rocha H.,
Demeyer S.,
Cleve A. (2023)
Best practices of testing database manipulation code , Information systems, 111
Artico I.,
Wit E. J. (2023)
Dynamic latent space relational event model , Journal of the Royal Statistical Society. Series A. Statistics in society, 186
Chang Q.,
Deng C.,
Hormann K. (2023)
Maximum likelihood coordinates , Computer graphics forum, 42 (5)
Bédard C. A. (2023)
Teleportation revealed , Quantum reports, 5 (2)
Vecchi E.,
Berra G.,
Albrecht S.,
Gagliardini P. ,
Horenko I. (2023)
Entropic approximate learning for financial decision-making in the small data regime , Research in international business and finance, 65
Ramanantoanina A.,
Hormann K. (2023)
Shape control tools for periodic Bézier curves , Computer aided geometric design, 103
Rosa G.,
Pascarella L.,
Scalabrino S.,
Tufano R. ,
Bavota G. ,
Lanza M. ,
Oliveto R. (2023)
A comprehensive evaluation of SZZ variants through a developer-informed oracle , Journal of systems and software, 202
Polizzi S.,
Marzi T. ,
Matteuzzi T.,
Castellani G.,
Bazzani A. (2023)
Random walk approximation for stochastic processes on graphs , Entropy, 25 (3)
Benedusi P. ,
Riva S. ,
Zulian P. ,
Štĕpán J.,
Belluzzi L. ,
Krause R. (2023)
Scalable matrix-free solver for 3D transfer of polarized radiation in stellar atmospheres , Journal of computational physics, 479
Nourry O.,
Kashiwa Y.,
Lin B.,
Bavota G. ,
Lanza M. ,
Kamei Y. (2023)
The human side of fuzzing. Challenges faced by developers during fuzzing activities , ACM transactions on software engineering and methodology, 33 (1)
Adorni G.,
Mangili F.,
Piatti A.,
Bonesana C.,
Antonucci A. (2023)
Rubric-based learner modelling via noisy gates Bayesian networks for computational thinking skills assessment , Journal of communications software and systems, 19 (1)
Corecco S. ,
Adorni G.,
Gambardella L. M. (2023)
Proximal policy optimization-based reinforcement learning and hybrid approaches to explore the cross array task optimal solution , Machine learning and knowledge extraction, 5 (4)
Beghi M.,
Braghin F.,
Roveda L. (2023)
Enhancing disassembly practices for electric vehicle battery packs. A narrative comprehensive review , Designs, 7 (5)
Rezaalipour M.,
Furia C. A. (2023)
An annotation-based approach for finding bugs in neural network programs , The Journal of Systems & Software, 201
Corrias R.,
Gjoreski M. ,
Langheinrich M. (2023)
Exploring transformer and graph convolutional networks for human mobility modeling , Sensors, 23 (10)
Kopanicakova A.,
Kothari H.,
Krause R. (2023)
Nonlinear field-split preconditioners for solving monolithic phase-field models of brittle fracture , Computer Methods in Applied Mechanics and Engineering, 403 (Part B)
Rovi G.,
Kober B.,
Starke G. (2023)
Multigrid for the dual formulation of the frictionless Signorini problem , International journal for numerical methods in engineering, 124 (10)
Bosch-Calvo M.,
Kelk S. (2023)
An improved kernel for the flip distance problem on simple convex polygons , Information processing letters, 182
Lembke J.,
Ravi S.,
Roman P. L.,
Eugster P. T. (2023)
Secure and Reliable Network Updates , ACM Transactions on Privacy and Security, 26 (1)
Amati R. ,
Piumatti G.,
Franscella G.,
Buttaroni P.,
Camerini A. L.,
Corna L.,
Levati S.,
Fadda M. ,
Fiordelli M. ,
Annoni A. M.,
Bezani K.,
Amendola A.,
Fragoso Corti C.,
Sabatini S.,
Kaufmann M.,
Frei A.,
Puhan M. A.,
Albanese E. (2023)
Trajectories of seroprevalence and neutralizing activity of antibodies against SARS-CoV-2 in Southern Switzerland between July 2020 and July 2021. An ongoing, prospective population-based cohort study , International Journal of Environmental Research and Public Health, 20
Amati R. ,
Piumatti G.,
Franscella G.,
Buttaroni P.,
Camerini A. L.,
Corna L.,
Levati S.,
Fadda M. ,
Fiordelli M. ,
Annoni A. M.,
Bezani K.,
Amendola A.,
Fragoso Corti C.,
Sabatini S.,
Kaufmann M.,
Frei A.,
Puhan M. A.,
Albanese E. (2023)
Trajectories of seroprevalence and neutralizing activity of antibodies against SARS-CoV-2 in Southern Switzerland between July 2020 and July 2021. An ongoing, prospective population-based cohort study , International Journal of Environmental Research and Public Health, 20
Bertolino A.,
De Angelis G.,
Miranda B.,
Tonella P. (2023)
In vivo test and rollback of Java applications as they are , Software Testing, Verification and Reliability, 33 (7)
Stocco A.,
Pulfer B.,
Tonella P. (2023)
Model vs system level testing of autonomous driving systems : a replication and extension study , Empirical Software Engineering, 28 (3)
Weiss M.,
Gómez A. G.,
Tonella P. (2023)
Generating and detecting true ambiguity : a forgotten danger in DNN supervision testing , Empirical Software Engineering, 28 (6)
Amati R. ,
Piumatti G.,
Franscella G.,
Buttaroni P.,
Camerini A. L.,
Corna L.,
Levati S.,
Fadda M. ,
Fiordelli M. ,
Annoni A. M.,
Bezani K.,
Amendola A.,
Fragoso Corti C.,
Sabatini S.,
Kaufmann M.,
Frei A.,
Puhan M. A.,
Albanese E. (2023)
Trajectories of seroprevalence and neutralizing activity of antibodies against SARS-CoV-2 in Southern Switzerland between July 2020 and July 2021. An ongoing, prospective population-based cohort study , International Journal of Environmental Research and Public Health, 20
Butera L. ,
Ferrante A. ,
Prevostini M. ,
Alippi C. ,
Jermini M. (2022)
Precise Agriculture: Effective Deep Learning Strategies to Detect Pest Insect , IEEE/CAA Journal of Automatica Sinica, vol. 9, no. 2
Gander L.,
Pezzuto S. ,
Gharaviri A.,
Krause R. ,
Perdikaris P.,
Sahli Costabal F. (2022)
Fast characterization of inducible regions of atrial fibrillation models with multi-fidelity Gaussian process classification , Frontiers in Physiology
Eftekhari A. ,
Gaedke-Merzhäuser L. ,
Pasadakis D. ,
Bollhoefer M.,
Scheidegger S.,
Schenk O. (2022)
Large-Scale Precision Matrix Estimation With SQUIC , Social Science Research Network
Pasadakis D. ,
Bollhoefer M.,
Schenk O. (2022)
Sparse Quadratic Approximation for Graph Learning , Technology Research
Vecchi E.,
Pospíšil L.,
Albrecht S.,
O'Kane T.,
Horenko I. (2022)
eSPA+: Scalable Entropy-Optimal Machine Learning Classification for Small Data Problems , Neural Computation, 34 (5)
Horenko I.,
Pospíšil L.,
Vecchi E.,
Albrecht S.,
Gerber A.,
Rehbock B.,
Stroh A.,
Gerber S. (2022)
Low-Cost Probabilistic 3D Denoising with Applications for Ultra-Low-Radiation Computed Tomography , Journal of Imaging, 8 (6)
ALAPPAT C.,
Wellein G.,
Schenk O. ,
Hager G. (2022)
Level-based Blocking for Sparse Matrices: Sparse Matrix-Power-Vector Multiplication , IEEE Transactions on Parallel and Distributed Systems
Horenko I.,
Vecchi E.,
Kardoš J.,
Schenk O. ,
Waechter A.,
O’Kane T.,
Gagliardini P. ,
Gerber S. (2022)
On cheap entropy-sparsified regression learning , Proceedings of the National Academy of Sciences (December)
Peter H.,
Alsina Ballester E.,
Andretta V.,
Auchère F.,
Belluzzi L. ,
Bemporad A.,
Berghmans D.,
Buchlin E.,
Calcines A.,
Chitta L. P.,
Dalmasse K.,
del Pino Alemán T.,
Feller A.,
Froment C.,
Harrison R.,
Janvier M.,
Matthews S.,
Parenti S.,
Przybylski D.,
Solanki S. K.,
Štěpán J.,
Teriaca L.,
Trujillo Bueno J. (2022)
Magnetic imaging of the outer solar atmosphere (MImOSA) , Experimental Astronomy, 54
Rachmeler L. A.,
Trujillo Bueno J.,
McKenzie D. E.,
Ishikawa R.,
Auchère F.,
Kobayashi K.,
Kano R.,
Okamoto T. J.,
Bethge C. W.,
Song D.,
Alsina Ballester E.,
Belluzzi L. ,
del Pino Alemán T.,
Asensio Ramos A.,
Yoshida M.,
Shimizu T.,
Winebarger A.,
Kobelski A. R.,
Vigil G. D.,
De Pontieu B.,
Narukage N.,
Kubo M.,
Sakao T.,
Hara H.,
Suematsu Y.,
Štěpán J.,
Carlsson M.,
Leenaarts J. (2022)
Quiet Sun Center to Limb Variation of the Linear Polarization Observed by CLASP2 Across the Mg II h and k Lines , Astrophysical Journal, 936 (1)
Gaedke-Merzhäuser L. ,
Van Niekerk J.,
Schenk O. ,
Rue H. (2022)
Parallelized integrated nested Laplace approximations for fast Bayesian inference , Statistics and Computing
Canivete Cuissa J. R.,
Teyssier R. (2022)
Toward fully compressible numerical simulations of stellar magneto-convection with the RAMSES code , Astronomy and Astrophysics
Canivete Cuissa J. R.,
Steiner O. (2022)
An innovative and automated method for vortex identification. I. Description of the SWIRL algorithm , Astronomy and Astrophysics
Song D.,
Ishikawa R.,
Kano R.,
McKenzie D. E.,
Trujillo Bueno J.,
Auchère F.,
Rachmeler L. A.,
Okamoto T. J.,
Yoshida M.,
Kobayashi K.,
Bethge C.,
Hara H.,
Shinoda K.,
Shimizu T.,
Suematsu Y.,
De Pontieu B.,
Winebarger A.,
Narukage N.,
Kubo M.,
Sakao T.,
Asensio Ramos A.,
Belluzzi L. ,
Štěpán J.,
Carlsson M.,
Del Pino Alemán T.,
Alsina Ballester E.,
Vigil G. D.,
Leenaarts J. (2022)
Polarization Accuracy Verification of the Chromospheric LAyer SpectroPolarimeter , Solar Physics, 297
Wuensche C.,
Villela T.,
Abdalla E.,
Liccardo V.,
Vieira F.,
Browne I.,
Peel M.,
Radcliffe C.,
Abdalla F.,
Marins A.,
Barosi L.,
Brito F.,
Queiroz A.,
Wang B.,
Costa A.,
Ferreira E.,
Fornazier K.,
Landim R.,
Novaes C.,
Santos L.,
dos Santos M.,
Zhang J.,
Chen T.,
Delabrouille J.,
Dickinson C.,
de Gasperis G.,
Gurjão E.,
Harper S.,
Ma Y.,
Machado T.,
Maffei B.,
de Mericia E.,
Monstein C. ,
Motta P.,
Otobone C.,
Reitano L.,
Remazeilles M.,
Roychowdhury S.,
Santos J.,
Serres A.,
Souza A.,
Strauss C.,
Vieira J.,
Xu H. (2022)
The BINGO project - II. Instrument description , Astronomy & Astrophysics, 664
Eugster P. T. ,
Lembke J. (2022)
DEFUSE: An Interface for Fast and Correct User Space File Syst , ACM Trans. Storage, 18 (3)
Eugster P. T. ,
Bl\"ocher M. (2022)
Holistic Resource Scheduling for Data Center In-Network Computing , IEEE/ACM Trans. Netw., 30 (6)
Eugster P. T. ,
Savvides S. (2022)
C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing , ACM Trans. Priv. Secur., 25 (1)
Eugster P. T. ,
Kumar S. (2022)
Software-Based Remote Network Attestation , IEEE Trans. Dependable Secur. Comput., 19 (5)
Sharygina N. ,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G. (2022)
SMT-based verification of program changes through summary repair , Formal Methods in System Design
Bhatt B. N.,
Furia C. A. (2022)
Automated repair of resource leaks in Android applications , The Journal of Systems and Software, 192
Piatti A.,
Adorni G.,
El-Hamamsy L.,
Negrini L.,
Assaf D.,
Gambardella L. M. ,
Mondada F. (2022)
The CT-cube. A framework for the design and the assessment of computational thinking activities , Computers in Human Behavior Reports, 5
Grattarola D.,
Livi L.,
Alippi C. ,
Wennberg R.,
Valiante T. A. (2022)
Seizure localisation with attention-based graph neural networks , Expert systems with applications, 203
Stocco A.,
Tonella P. (2022)
Confidence-driven weighted retraining for predicting safety-critical failures in autonomous driving systems , Journal of software: evolution and process, 34 (10)
Ivanchikj A.,
Serbout S.,
Pautasso C. (2022)
Live process modeling with the BPMN Sketch Miner , Software and systems modeling, 21
Harbrecht H.,
Multerer M. (2022)
Samplets. Construction and scattered data compression , Journal of computational physics, 471
Serbout S.,
Pautasso C. (2022)
A large-scale empirical assessment of web API size evolution , Journal of web engineering, 21 (6)
Kalabakov S.,
Stankoski S.,
Kiprijanovska I.,
Andova A.,
Reščič N.,
Janko V.,
Gjoreski M. ,
Gams M.,
Luštrek M. (2022)
What actually works for activity recognition in scenarios with significant domain shift. Lessons learned from the 2019 and 2020 Sussex-Huawei challenges , Sensors, 22 (10)
Dyke R. M.,
Hormann K. (2022)
Histogram equalization using a selective filter , The visual computer, 39
Kothari H.,
Krause R. (2022)
A generalized multigrid method for solving contact problems in Lagrange multiplier based unfitted Finite Element method , Computer methods in applied mechanics and engineering, 392
Mazuera-Rozo A.,
Escobar-Velásquez C.,
Espitia-Acero J.,
Vega-Guzmán D.,
Trubiani C.,
Linares-Vásquez M.,
Bavota G. (2022)
Taxonomy of security weaknesses in Java and Kotlin Android apps , Journal of systems and software, 187
Ríssola E. A.,
Aliannejadi M.,
Crestani F. (2022)
Mental disorders on online social media through the lens of language and behaviour. Analysis and visualisation , Information processing & management, 59 (3)
de Lima Batista E. R. ,
Alchieri E.,
Dotti F.,
Pedone F. (2022)
Early scheduling on steroids. Boosting parallel state machine replication , Journal of Parallel and Distributed Computing, 163
Huibers T.,
Murgia E.,
Pera M. S. (2022)
Ethical implications for children’s use of search tools in an educational setting , International journal of child-computer interaction, 32
Harbrecht H.,
Multerer M. ,
von Rickenbach R. (2022)
Isogeometric shape optimization of periodic structures in three dimensions , Computer methods in applied mechanics and engineering, 391
Wen F.,
Nagy C.,
Lanza M. ,
Bavota G. (2022)
Quick remedy commits and their impact on mining software repositories , Empirical Software Engineering, 27 (14)
Moreno-Lumbreras D.,
Minelli R. ,
Villaverde A.,
González-Barahona J. M.,
Lanza M. (2022)
CodeCity. A comparison of on-screen and virtual reality , Information and software technology, 153
Dyn N.,
Hormann K. ,
Mancinelli C. (2022)
Non-uniform interpolatory subdivision schemes with improved smoothness , Computer aided geometric design, 94
Kardoš J.,
Kourounis D.,
Schenk O. ,
Zimmerman R. (2022)
BELTISTOS. A robust interior point method for large-scale optimal power flow problems , Electric power systems research, 212
Bianchi F.,
Stivala A.,
Lomi A. (2022)
Multiple clocks in network evolution , Methodological innovations, 15 (1)
Gjoreski M. ,
Kuzmanovski V.,
Bohanec M. (2022)
BAG-DSM. A method for generating alternatives for hierarchical multi-attribute decision models using bayesian optimization , Algorithms, 15 (6)
Zulian P. ,
Schädle P.,
Karagyaur L.,
Nestola M. G. C. (2022)
Comparison and application of non-conforming mesh models for flow in fractured porous media using dual Lagrange multipliers , Journal of Computational Physics, 449 (January)
Mangili F.,
Adorni G.,
Piatti A.,
Bonesana C.,
Antonucci A. (2022)
Modelling assessment rubrics through Bayesian networks. A pragmatic approach , 2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)
Serbout S.,
Pautasso C. (2022)
A large-scale empirical assessment of web API size evolution , Journal of web engineering, 21 (6)
Bianchi F.,
Lomi A. (2022)
From ties to events in the analysis of interorganizational exchange relations , Organizational research methods, 26 (3)
Bédard C. A.,
Bergeron G. (2022)
An algorithmic approach to emergence , Entropy, 24 (7)
Kardoš J.,
Holt T. A. B.,
Fazio V.,
Fabietti L.,
Spazzini F.,
Schenk O. (2022)
Massively parallel data analytics for smart grid applications , Sustainable energy, grids and networks, 31
Fuda C.,
Campagna R.,
Hormann K. (2022)
On the numerical stability of linear barycentric rational interpolation , Numerische Mathematik, 152 (4)
Huang W.,
Multerer M. (2022)
Isogeometric analysis of diffusion problems on random surfaces , Applied numerical mathematics, 179
Stankoski S.,
Kiprijanovska I.,
Mavridou I.,
Nduka C.,
Gjoreski H.,
Gjoreski M. (2022)
Breathing rate estimation from head-worn photoplethysmography sensor data using machine learning , Sensors, 22 (6)
Pasadakis D. ,
Alappat C. L.,
Schenk O. ,
Wellein G. (2022)
Multiway p-spectral graph cuts on Grassmann manifolds , Machine learning, 111
Panine M.,
Kirgo M.,
Ovsjanikov M. (2022)
Non-isometric shape matching via functional maps on landmark-adapted bases , Computer graphics forum, 41
Stocco A.,
Tonella P. (2022)
Confidence-driven weighted retraining for predicting safety-critical failures in autonomous driving systems , Journal of software: evolution and process, 34 (10)
Stocco A.,
Tonella P. (2022)
Confidence-driven weighted retraining for predicting safety-critical failures in autonomous driving systems , Journal of software: evolution and process, 34 (10)
Pasadakis D. ,
Alappat C. L.,
Schenk O. ,
Wellein G. (2022)
Multiway p-spectral graph cuts on Grassmann manifolds , Machine learning, 111
Pasadakis D. ,
Alappat C. L.,
Schenk O. ,
Wellein G. (2022)
Multiway p-spectral graph cuts on Grassmann manifolds , Machine learning, 111
van Niekerk J.,
Bakka H.,
Rue H.,
Schenk O. (2021)
New frontiers in Bayesian modeling using the INLA package in R , Journal of Statistical Software, 100 (2)
Bollhöfer M.,
Schenk O. ,
Verbosio F. (2021)
High Performance Block Incomplete LU Factorization , Applied Numerical Mathematics, 162 (April)
Bettinazzi E. ,
Feldman E. R. (2021)
Stakeholder Orientation and Divestiture Activity , Academy of Management Journal, 64 (4)
Chegini F.,
Kopanicakova A.,
Krause R. ,
Weiser M. (2021)
Efficient Identification of Scars using Heterogeneous Model Hierarchies , EP Europace, 23 (Supplement\_1)
Janett G. ,
Alsina Ballester E.,
Guerreiro N.,
Riva S. ,
Belluzzi L. ,
del Pino Alemán T.,
Trujillo Bueno J. (2021)
Modeling the scattering polarization of the solar Ca i 4227 A line with angle-dependent partial frequency redistribution , Astronomy & Astrophysics
Levie R.,
Huang W.,
Bucci L.,
Bronstein M. ,
Kutyniok G. (2021)
Transferability of spectral graph convolutional neural networks , Journal of Machine Learning Research
Pezzuto S. ,
Prinzen F.,
Potse M.,
Maffessanti F.,
Regoli F. D. ,
Caputo M. L.,
Conte G. ,
Krause R. ,
Auricchio A. (2021)
Reconstruction of three-dimensional biventricular activation based on the 12-lead electrocardiogram via patient-specific modelling , EP Europace, 23 (4 ( April ))
Gotsman C.,
Hormann K. (2021)
On landmark distances in polygons , Computer Graphics Forum, 40 (5 ( August ))
Rovi G. (2021)
Patch-smoother and multigrid for the dual formulation for linear elasticity , International journal for numerical methods in engineering, 122 (24)
Shahid A. A.,
Sesin J. S. V.,
Pecioski D.,
Braghin F.,
Piga D.,
Roveda L. (2021)
Decentralized multi-agent control of a manipulator in continuous task learning , Applied sciences, 11 (21)
Aghajan E.,
Bavota G. ,
Linares-Vásquez M.,
Lanza M. (2021)
Automated documentation of Android apps , IEEE Transactions on Software Engineering, 47 (1)
Berjano P.,
Langella F.,
Ventriglia L.,
Compagnone D.,
Barletta P.,
Huber D.,
Mangili F.,
Licandro G.,
Galbusera F.,
Cina A.,
Bassani T.,
Lamartina C.,
Scaramuzzo L.,
Bassani R.,
Brayda-Bruno M.,
Villafañe J. H.,
Monti L.,
Azzimonti L. (2021)
The influence of baseline clinical status and surgical strategy on early good to excellent result in spinal lumbar arthrodesis. A machine learning approach , Journal of personalized medicine, 11 (12)
Klawonn A.,
Lanser M.,
Uran M.,
Rheinbach O.,
Schenk O. ,
Wellein G.,
Schröder J.,
Balzani D.,
Janalík R. (2020)
Towards A Virtual Laboratory - Computation of Forming Limit Curves , Lecture Notes in Computational Science and Engineering, Springer
Kardoš J.,
Kourounis D.,
Schenk O. (2020)
Two-Level Parallel Augmented Schur Complement Interior-Point Algorithms for the Solution of Security Constrained Optimal Power Flow Problems , IEEE Transactions on Power Systems
Gharaviri A.,
Bidar E.,
Potse M.,
Zeemering S.,
Verheule S.,
Pezzuto S. ,
Krause R. ,
Maessen J. G.,
Auricchio A. ,
Schotten U. (2020)
Epicardial Fibrosis Explains Increased Endo-Epicardial Dissociation and Epicardial Breakthroughs in Human Atrial Fibrillation , Frontiers in Physiology, section Computational Physiology and Medicine
Piazzese C.,
M. Chiara C.,
Krause R. ,
Auricchio A. ,
Lynn W.,
Paola G.,
Gloria T.,
Gianluca P.,
Daniele A.,
Roberto M. L.,
Mauro P.,
Enrico G. C. (2020)
3D right ventricular endocardium segmentation in cardiac magnetic resonance images by using a new inter-modality statistical shape modelling method , Biomedical Signal Processing and Control, 58 (101866 ( April ))
von Planta C.,
Vogler D.,
Xiaoqing C.,
Nestola M. G. C.,
Saar M. O.,
Krause R. (2020)
Modelling of hydro-mechanical processes in heterogeneous fracture intersections using a fictitious domain method with variational transfer operators , Computational Geosciences (Gennaio)
Kopanicakova A.,
Krause R. (2020)
A recursive multilevel trust region method with application to fully monolithic phase-field models of brittle fracture , Computer Methods in Applied Mechanics and Engineering, 360 (1 ( March ))
ALAPPAT C.,
Hager G.,
Schenk O. ,
Thies J.,
Basermann A.,
Bishop A.,
Fehske H.,
Wellein G. (2020)
A Recursive Algebraic Coloring Technique for Hardware-Efficient Symmetric Sparse Matrix-Vector Multiplication , ACM Transactions on Parallel Computing
Cirillo E.,
Hormann K. ,
Sidon J. (2020)
Convergence rates of a Hermite generalization of Floater-Hormann interpolants , Journal of Computational and Applied Mathematics, 371 (June)
Hormann K. ,
Zheng J. (2020)
Algebraic and geometric characterizations of a class of planar quartic curves with rational offsets , Computer Aided Geometric Design, 79 (May)
Deng C.,
Chang Q.,
Hormann K. (2020)
Iterative coordinates , Computer Aided Geometric Design, 79 (May)
Sanan P.,
May D. A.,
Bollhöfer M.,
Schenk O. (2020)
Pragmatic Solvers for 3D Stokes and Elasticity Problems with Heterogeneous Coefficients: Evaluating Modern Incomplete LDL T Preconditioners , Solid Earth
Zulian P. ,
von Planta C.,
Vogler D.,
Saar M. O.,
Krause R. (2020)
Contact between Rough Rock Surfaces Using a Dual Mortar Method , International Journal of Rock Mechanics and Mining Sciences
Donatelli M.,
Krause R. ,
Mazza M.,
Trotti K. (2020)
Multigrid preconditioners for anisotropic space-fractional diffusion equations , Advances in Computational Mathematics
Klawonn A.,
Lanser M.,
Uran M.,
Rheinbach O.,
Schenk O. ,
Wellein G.,
Schröder J.,
Balzani D.,
Janalík R. (2020)
Towards A Virtual Laboratory - Computation of Forming Limit Curves , Lecture Notes in Computational Science and Engineering, Springer
Eigel M.,
Marschall M.,
Multerer M. (2020)
An adaptive stochastic Galerkin tensor train discretization for randomly perturbed domains , SIAM/ASA Journal on Uncertainty Quantification, 8 (3)
Dölz J.,
Harbrecht H.,
Kurz S.,
Multerer M. ,
Schöps S.,
Wolf F. (2020)
Bembel: The Fast Isogeometric Boundary Element C++ Library for Laplace, Helmholtz, and Electric Wave Equation , SoftwareX, 11
Griebel M.,
Harbrecht H.,
Multerer M. (2020)
Multilevel quadrature for elliptic parametric partial differential equations in case of polygonal approximations of curved domains , SIAM Journal on Numerical Analysis, 58 (1)
Grattarola D.,
Zambon D. ,
Livi L.,
Alippi C. (2020)
Change Detection in Graph Streams by Learning Graph Embeddings on Constant-Curvature Manifolds , IEEE Transactions on Neural Networks and Learning Systems, 31 (6 ( June ))
Eugster P. T. ,
Savvides S. (2020)
Efficient Confidentiality-Preserving Data Analytics over Symmetrical , Proc. VLDB Endow., 13 (8)
Eugster P. T. ,
Lembke J. (2020)
RoSCo: Robust Updates for Software-Defined Networks , IEEE J. Sel. Areas Commun., 38 (7)
Farouki R. T.,
Hormann K. ,
Nudo F. (2020)
Singular cases of planar and spatial C1 Hermite interpolation problems based on quintic Pythagorean-hodograph curves , Computer Aided Geometric Design, 82 (October)
Mazuera-Rozo A.,
Trubiani C.,
Linares-Vásquez M.,
Bavota G. (2020)
Investigating types and survivability of performance bugs in mobile apps , Empirical Software Engineering, 25 (3)
Bollhoefer M.,
Eftekhari A. ,
Scheidegger S.,
Schenk O. (2019)
Large-Scale Sparse Inverse Covariance Matrix Estimation , SIAM Journal on Scientific Computing, 41 (1 ( January ))
Milosevic J.,
Ferrante A. ,
Malek M. (2019)
Time, accuracy and power consumption tradeoff in mobile malware detection systems , "Computers & Security", "82"
Dölz J.,
Harbrecht H.,
Multerer M. (2019)
On the best approximation of the hierarchical matrix product , SIAM Journal on Matrix Analysis and Applications, 40 (1)
Harbrecht H.,
Multerer M. ,
Ilić N. (2019)
Rapid computation of far-field statistics for random obstacle scattering , Engineering Analysis with Boundary Elements, 101
Salza P.,
Ferrucci F. (2019)
Speed Up Genetic Algorithms in the Cloud Using Software Containers , Future Generation Computer Systems, 92 (March)
Rosà A. ,
Rosales Rosero E. E.,
Binder W. (2019)
Analysis and Optimization of Task Granularity on the Java Virtual Machine , ACM Transactions on Programming Languages and Systems 41(3)
Zolfaghari H.,
Becsek B.,
Nestola M. G. C.,
Sawyer W. B.,
Krause R. ,
Obrist D. (2019)
High-order accurate simulation of incompressible turbulent flows on many parallel GPUs of a hybrid-node supercomputer , Computational Physics Communications, 244
von Planta C.,
Vogler D.,
Chen X.,
Nestola M. G. C.,
Saar M. O. (2019)
Simulation of hydro-mechanically coupled processes in rough rock fractures using an immersed boundary method and variational transfer operators , Computational Geosciences
Schädle P.,
Zulian P. ,
Sthavishtha R. B.,
Nestola M. G. C.,
Vogler D.,
Anozie E.,
Krause R. ,
Saar M. O. (2019)
3D non-conforming mesh model for flow in fractured porous media using Lagrange multipliers , Computers & Geosciences
Pizzagalli D. U.,
Latino I.,
Pulfer A.,
Palomino-Segura M.,
Virgilio T.,
Farsakoglu Y.,
Krause R. ,
Gonzalez S. F. (2019)
Characterization of the dynamic behavior of neutrophils following influenza vaccination , Frontiers in Immunology, 20 (November)
Favino M. ,
Hunziker J.,
Caspari E.,
Quintal B.,
Holliger K.,
Krause R. (2019)
Fully-Automated Adaptive Mesh Refinement for Media Embedding Complex Heterogeneities: Application to Poroelastic Fluid Pressure Diffusion , Computational Geosciences
Grattarola D.,
Zambon D. ,
Livi L.,
Alippi C. (2019)
Change Detection in Graph Streams by Learning Graph Embeddings on Constant-Curvature Manifolds , IEEE Transactions on Neural Networks and Learning Systems
Zambon D. ,
Alippi C. ,
Livi L. (2019)
Change-Point Methods on a Sequence of Graphs , IEEE Transactions on Signal Processing, 67 (24)
Foster E. L.,
Hormann K. ,
Popa R. T. (2019)
Clipping simple polygons with degenerate intersections , Computers & Graphics: X, 2 (December)
Ye Z.,
Liu Y. J.,
Zheng J.,
Hormann K. ,
He Y. (2019)
DE-Path: A differential-evolution-based method for computing energy-minimizing paths on surfaces , Computer-Aided Design, 114 (September)
Multerer M. (2019)
A note on the domain mapping method with rough diffusion coefficients , Applied Numerical Mathematics, 145
Barac D.,
Multerer M. ,
Iber D. (2019)
Global optimization using Gaussian processes to estimate biological parameters from image data , Journal of Theoretical Biology, 481
Kopanicakova A.,
Krause R. ,
Tamstorf R. (2019)
Subdivision-Based Nonlinear Multiscale Cloth Simulation , SIAM Journal on Scientific Computing
Eugster P. T. (2019)
Ensuring Confidentiality in the Cloud of Things , IEEE Pervasive Comput., 18 (1)
Sharygina N. ,
Jancík P.,
Kofron J.,
Alt L.,
Fedyukovich G. ,
Hyvärinen A. (2019)
Exploiting partial variable assignment in interpolation-based model checking , Formal Methods in System Design
Zambon D. ,
Alippi C. ,
Livi L. (2018)
Concept Drift and Anomaly Detection in Graph Streams , IEEE Transactions on Neural Networks and Learning Systems, 29 (11)
Soulé R. ,
Basu S.,
Marandi P. J.,
Pedone F. ,
Kleinberg R.,
Sirer E. G.,
Foster N. (2018)
Merlin: A Language for Provisioning Network Resources , ACM/IEEE Transactions on Networking (ToN)
Giacomelli S. ,
Gibbert M. (2018)
“He likes playing the hero – I let her have fun shooting”. Gender games in the Italian forest during the hunting season , Journal of Rural Studies
Rosà A. ,
Binder W. (2018)
Optimizing Type-specific Instrumentation on the JVM with Reflective Supertype Information , Journal of Visual Languages & Computing 49
Cirillo E.,
Hormann K. (2018)
An iterative approach to barycentric rational Hermite interpolation , Numerische Mathematik, 140 (4 ( December ))
Chen R.,
Gotsman C.,
Hormann K. (2018)
Path planning with divergence-based distance functions , Computer Aided Geometric Design, 66 (November)
Chen R.,
Gotsman C.,
Hormann K. (2018)
Efficient path generation with reduced coordinates , Computer Graphics Forum, 37 (5 ( August ))
Conti C.,
Deng C.,
Hormann K. (2018)
Symmetric four-directional bivariate pseudo-spline symbols , Computer Aided Geometric Design, 60 (February)
Dell'Accio F.,
Di Tommaso F.,
Hormann K. (2018)
Reconstruction of a function from Hermite-Birkhoff data , Applied Mathematics and Computation, 318 (February)
Zambon D.,
Livi L.,
Alippi C. (2018)
Anomaly and Change Detection in Graph Streams through Constant-Curvature Manifold Embeddings , IJCNN 2018 : International Joint Conference on Neural Networks (July)
Ciobanu C. B.,
Gaydadjiev G.,
Pilato C.,
Sciuto D. (2018)
The Case for Polymorphic Registers in Dataflow Computing , International Journal of Parallel Programming, 54 (October)
Zambon D.,
Alippi C. ,
Livi L. (2018)
Concept Drift and Anomaly Detection in Graph Streams , IEEE Transactions on Neural Networks and Learning Systems, 29 (November)
Pilato C.,
Garg S.,
Karri R.,
Regazzoni F. (2018)
Securing Hardware Accelerators: a New Challenge for High-Level Synthesis , IEEE Embedded Systems Letters, 3 (November)
Pezzuto S.,
Gharaviri A.,
Schotten U.,
Potse M.,
Conte G.,
Caputo M. L.,
Regoli F.,
Krause R. ,
Auricchio A. (2018)
Beat-to-beat P-wave morphological variability in patients with paroxysmal atrial fibrillation: an in silico study , EP Europace, 20 (suppl\_3 ( November ))
Boccia E.,
Gizzi A.,
Nestola M. G. C.,
Cherubini C. (2018)
Viscoelastic computational modeling of the human head-neck system: Eigenfrequencies and time-dependent analysis , International journal for numerical methods in biomedical engineering
Haji-Ali A. L.,
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2018)
Novel results for the anisotropic sparse grid quadrature , Journal of Complexity, 47
Gantner R. N.,
Multerer M. (2018)
Higher-order quasi-Monte Carlo for Bayesian shape inversion , SIAM/ASA Journal on Uncertainty Quantification, 6 (2)
Harbrecht H.,
Multerer M. (2018)
The second order perturbation approach for PDEs on random domains , Applied Numerical Mathematics, 125
Eugster P. T. ,
Bejleri A. (2018)
Cooperative decoupled processes , Softw. Qual. J., 26 (3)
Eugster P. T. (2018)
Admission control in shared memory switches , J. Sched., 21 (5)
Eugster P. T. ,
Bracevac O. (2018)
Versatile event correlation with algebraic effects , Proc. ACM Program. Lang., 2 (ICFP)
Rosà A. ,
Chen L. Y.,
Binder W. (2017)
Failure Analysis and Prediction for Big-Data Systems , IEEE Transactions on Services Computing 10(6)
Cirillo E.,
Hormann K. ,
Sidon J. (2017)
Convergence rates of derivatives of Floater–Hormann interpolants for well-spaced nodes , Applied Numerical Mathematics, 116 (June)
Anisimov D.,
Panozzo D.,
Hormann K. (2017)
Blended barycentric coordinates , Computer Aided Geometric Design, 52-53 (March)
Hormann K. ,
Kosinka J. (2017)
Discretizing Wachspress kernels is safe , Computer Aided Geometric Design, 52-53 (March)
Kourounis D.,
Fuchs A.,
Schenk O. (2017)
Toward the next generation of multiperiod optimal power flow solvers , IEEE Transactions on Power Systems, 33 (4 ( January ))
Rietmann M.,
Marcus Grote,
Peter D.,
Schenk O. (2017)
Newmark local time stepping on high-performance computing architectures
Lengauer C.,
Bolten M.,
Falgout R.,
Schenk O. (2017)
Special issue: Advanced stencil-code engineering , Concurrency and Computation: Practice and Experience
Kreienbuehl A.,
Benedusi P.,
Ruprecht D.,
Krause R. (2017)
Time--parallel Gravitational Collapse Simulation , Communications in Applied Mathematics and Computational Science, 12 (1)
Rosà A. ,
Rosales Rosero E. E.,
Binder W. (2017)
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM , ACM SIGPLAN Notices 52(12)
Rosà A. ,
Chen L. Y.,
Binder W. (2017)
Actor Profiling in Virtual Execution Environments , ACM SIGPLAN Notices 52(3)
Zulian P.,
Schneider T.,
Hormann K. ,
Krause R. (2017)
Parametric finite elements with bijective mappings , BIT Numerical Mathematics, 57 (4 ( December ))
Nestola M. G. C.,
Faggiano E.,
Vergara C.,
Lancellotti R. M.,
Ippoliti S.,
Scrofani R.,
Filippi S.,
Quarteroni A. (2017)
Computational comparison of aortic root stresses in presence of stentless and stented aortic valve bio-prostheses , Computer methods in biomechanics and biomedical engineering
Dambrine M.,
Harbrecht H.,
Multerer M. ,
Puig B. (2017)
On Bernoulli's free boundary problem with a random boundary , International Journal for Uncertainty Quantification, 7 (4)
Dölz J.,
Harbrecht H.,
Multerer M. (2017)
H-matrix based second moment analysis for rough random fields and finite element discretizations , SIAM Journal on Scientific Computing, 39 (4)
Ballani J.,
Kressner D.,
Multerer M. (2017)
Multilevel tensor approximation of PDEs with random data , Stochastics and Partial Differential Equations: Analysis and Computations, 5 (3)
Harbrecht H.,
Multerer M. ,
Schmidlin M. (2017)
Uncertainty quantification for PDEs with anisotropic random diffusion , SIAM Journal on Numerical Analysis, 55 (2)
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2017)
On the quasi-Monte Carlo quadrature with Halton points for elliptic PDEs with log-normal diffusion , Mathematics of Computation, 86 (304)
Bilgen C.,
Kopanicakova A.,
Krause R. ,
Weinberg K. (2017)
A phase-field approach to conchoidal fracture , Meccanica
Eugster P. T. (2017)
Heterogeneous packet processing in shared memory buffers , J. Parallel Distributed Comput., 99
Eugster P. T. (2017)
Big Data Analytics beyond the Single Datacenter , Computer, 50 (6)
Varathan K. D.,
Giachanou A.,
Crestani F. (2017)
Comparative opinion mining: A review , J. Assoc. Inf. Sci. Technol., 68 (4)
Sharygina N. ,
Alberti F.,
Ghilardi S. (2017)
A Framework for the Verification of Parameterized Infinite-state Systems , Fundamenta Informaticae
Sharygina N. ,
Fedyukovich G. ,
Sery O. (2017)
Flexible SAT-based framework for incremental bounded upgrade checking , International Journal on Software Tools for Technology Transfer
Dang H. T.,
Canini M.,
Pedone F. ,
Soulé R. (2016)
Paxos Made Switch-y , SIGCOMM Computer Communication Review
Kaitovic I.,
Obradovic F.,
Lukovic S. ,
Malek M. (2016)
A Framework for Disturbance Analysis in Smart Grids by Fault Injection , Springer Journal on "Computer Science - Research and Development"
Anisimov D.,
Deng C.,
Hormann K. (2016)
Subdividing barycentric coordinates , Computer Aided Geometric Design, 43 (March)
Schärfig R.,
Stamminger M.,
Hormann K. (2016)
Creating light atlases with multi-bounce indirect illumination , Computers \& Graphics, 55 (April)
Hormann K. ,
Schaefer S. (2016)
Pyramid algorithms for barycentric rational interpolation , Computer Aided Geometric Design, 42 (February)
Dell'Accio F.,
Di Tommaso F.,
Hormann K. (2016)
On the approximation order of triangular Shepard interpolation , IMA Journal of Numerical Analysis, 36 (1 ( January ))
Arbenz P.,
Grigori L.,
Krause R. ,
Schenk O. (2016)
Special issue on Parallel Matrix Algorithms and Applications (PMAA'14) , Parallel Computing
De Coninck A.,
De Baets B.,
Kourounis D.,
Verbosio F.,
Schenk O. ,
Maenhout S.,
Fostier J. (2016)
Needles: Toward Large-Scale Genomic Prediction with Marker-by-Environment Interaction , Genetics
Li X.,
Benedusi P.,
Krause R. (2016)
An Iterative Approach for Time Integration Based on Discontinuous Galerkin Methods , Math. of Comp
Nestola M. G. C.,
Cherubini C.,
Filippi S.,
Gizzi A. (2016)
Three-band decomposition analysis in multiscale FSI models of abdominal aortic aneurysms , International Journal of Modern Physics C
Dölz J.,
Harbrecht H.,
Multerer M. (2016)
An interpolation-based fast multipole method for higher order boundary elements on parametric surfaces , International Journal for Numerical Methods in Engineering, 108 (13)
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2016)
Multilevel accelerated quadrature for PDEs with log-normally distributed random coefficient , SIAM/ASA Journal on Uncertainty Quantification, 4 (1)
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2016)
Analysis of the domain mapping method for elliptic diffusion problems on random domains , Numerische Mathematik, 134 (4)
Pivkin I. ,
Peng Z.,
Karniadakis G. E.,
Buffet P. A.,
Dao M.,
Suresh S. (2016)
Biomechanics of red blood cells in human spleen and consequences for physiology and disease , Proceedings of the National Academy of Sciences, 113 (28)
Rosà A. ,
Chen L. Y.,
Binder W. (2015)
Demystifying Casualties of Evictions in Big Data Priority Scheduling , SIGMETRICS Perform. Eval. Rev. 42(4)
Soulé R. ,
Hirzel M.,
Gedik B.,
Grimm R. (2015)
River: An Intermediate Language for Stream Processing , Software: Practice and Experience
Soulé R. ,
Gedik B. (2015)
RailwayDB: Adaptive Storage of Interaction Graphs , Very Large Data Bases Journal
Regazzoni F. ,
Banik S.,
Bogdanov A.,
Isobe T.,
Shibutani K.,
Hiwatari H.,
Akishita T. (2015)
Midori: (A) Block Cipher for Low Energy (Extended Version) , (IACR) Cryptology ePrint Archive, 2015 (December)
Banik S.,
Bogdanov A.,
Regazzoni F. (2015)
Exploring Energy Efficiency of Lightweight Block Ciphers , (IACR) Cryptology ePrint Archive, 2015 (September)
Bayrak A. G.,
Regazzoni F. ,
Novo D.,
Brisk P.,
Standaert F. X.,
Ienne P. (2015)
Automatic Application of Power Analysis Countermeasures , IEEE Transactions on Computers, 64 (February)
Krause R. ,
Veeser A.,
Walloth M. (2015)
An efficient and reliable residual-type a posteriori error estimator for the Signorini problem , Numerische Mathematik, 130 (1 ( December ))
Dyn N.,
Heard A.,
Hormann K. ,
Sharon N. (2015)
Univariate subdivision schemes for noisy data with geometric applications , Computer Aided Geometric Design, 37 (August)
Schneider T.,
Hormann K. (2015)
Smooth bijective maps between arbitrary planar polygons , Computer Aided Geometric Design, 35-36 (May)
Marras S.,
Váša L.,
Brunnett G.,
Hormann K. (2015)
Perception-driven adaptive compression of static triangle meshes , Computer-Aided Design, 58 (January)
Arbenz P.,
Grigori L.,
Krause R. ,
Schenk O. (2015)
Special issue on Parallel Matrix Algorithms and Applications (PMAA'14) , Parallel Computing
Brumm J.,
Mikushin D.,
Scheidegger S. U.,
Schenk O. (2015)
Scalable high-dimensional dynamic stochastic economic modeling , Journal of Computational Science
Lengauer C.,
Bolten M.,
Falgout R. D.,
Schenk O. (2015)
Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161) , Dagstuhl Report, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Kourounis D.,
Schenk O. (2015)
Constraint handling for gradient-based optimization of compositional reservoir flow , Computational Geosciences
Nestola M. G. C.,
Gizzi A.,
Cherubini C.,
Filippi S.,
Succi S. (2015)
Novel risk predictor for thrombus deposition in abdominal aortic aneurysms , Europhysics Letters
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2015)
Efficient approximation of random fields for numerical applications , Numerical Linear Algebra with Applications, 22 (4)
Dölz J.,
Harbrecht H.,
Multerer M. (2015)
H-matrix accelerated second moment analysis for potentials with rough correlation , Journal of Scientific Computing, 65 (1)
Eugster P. T. (2015)
Debugging the Internet of Things: The Case of Wireless Sensor Networks , IEEE Softw., 32 (1)
Wu S.,
Crestani F. (2015)
A geometric framework for data fusion in information retrieval , Inf. Syst., 50
Çavdar D.,
Rosà A. ,
Chen L. Y.,
Binder W. ,
Alagöz F. (2014)
Quantifying the Brown Side of the Priority Scheduler: Lessons from Big Clusters. , SIGMETRICS Perform. Eval. Rev. 42(3)
Hirzel M.,
Soulé R. ,
Schneider S.,
Gedik B.,
Grimm R. (2014)
A catalog of stream processing optimizations , ACM Computing Surveys (CSUR)
Becker G.,
Regazzoni F. ,
Paar C.,
Burleson W. (2014)
Stealthy Dopant-Level Hardware Trojans: Extended Version , Journal of Cryptographic Engineering, 4 (April)
Barenghi A.,
Pelosi G.,
Regazzoni F. (2014)
Simulation-Time Security Margin Assessment against Power-Based Side Channel Attacks , (IACR) Cryptology ePrint Archive, 2014 (May)
Barenghi A.,
Hocquet C.,
Bol D.,
Standaert F. X.,
Regazzoni F. ,
Koren I. (2014)
A Combined Design-Time/Test-Time Study of the Vulnerability of Sub-Threshold Devices to Low Voltage Fault Attacks , IEEE Transactions on Emerging Topics in Computing, PP (April)
Fiorin L.,
Sami M. G. (2014)
Fault-Tolerant Network Interfaces for Networks-on-Chip , IEEE Trans. Dependable Secur. Comput., 11 (January)
Chang H.,
Mariani L.,
Pezzè M. (2014)
Exception Handlers for Healing Component Based Systems , ACM transactions on software engineering and methodology
Giaquinta E.,
Pozzi L. (2014)
An effective exact algorithm and a new upper bound for the number of contacts in the hydrophobic-polar 2D-lattice model , Journal of Computational Biology
Dickopf T.,
Krause R. (2014)
Evaluating local approximations of the L2-orthogonal projection between non-nested finite element spaces , Numerical Mathematics: Theory, Methods, and Applications, 7 (3)
Zhang J.,
Deng B.,
Liu Z.,
Patanè G.,
Bouaziz S.,
Hormann K. ,
Liu L. (2014)
Local barycentric coordinates , ACM Transactions on Graphics, 33 (6 ( November ))
Saba M.,
Schneider T.,
Hormann K. ,
Scateni R. (2014)
Curvature-based blending of closed planar curves , Graphical Models, 76 (5 ( September ))
Deng C.,
Hormann K. (2014)
Pseudo-spline subdivision surfaces , Computer Graphics Forum, 33 (5 ( August ))
Váša L.,
Marras S.,
Hormann K. ,
Brunnett G. (2014)
Compressing dynamic meshes with geometric Laplacians , Computer Graphics Forum, 33 (2 ( May ))
Bekas C.,
Grama A.,
Saad Y.,
Schenk O. (2014)
Parallel matrix algorithms , Parallel Computing
Kollias G.,
Sathe M.,
Schenk O. ,
Grama A. (2014)
Fast parallel algorithms for graph similarity and matching , Journal of Parallel and Distributed Computing
Petra C. G.,
Schenk O. ,
Anitescu M. (2014)
Real-Time Stochastic Optimization of Complex Energy Systems on High-Performance Computers , Computing in Science Engineering
Petra C. G.,
Schenk O. ,
Lubin M.,
Gaertner K. (2014)
An Augmented Incomplete Factorization Approach for Computing the Schur Complement in Stochastic Optimization , SIAM Journal on Scientific Computing
Grote M. J.,
Huber J.,
Kourounis D.,
Schenk O. (2014)
Inexact Interior-Point Method for PDE-Constrained Nonlinear Optimization , SIAM Journal on Scientific Computing
Wagner S.,
Sathe M.,
Schenk O. (2014)
Optimization for process plans in sheet metal forming , Journal of Parallel and Distributed Computing}
Sharygina N. ,
Rollini S. F.,
Bruttomesso R.,
Tsitovich A. (2014)
Resolution proof transformation for compression and interpolation , Formal Methods in System Design
Sharygina N. ,
Alberti F.,
Bruttomesso R.,
Tsitovich A. (2014)
An extension of lazy abstraction with interpolation for programs with arrays , Formal Methods in System Design
Bonetta D. (2013)
TigerQuoll: parallel event-based JavaScript , 18th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP ’13)
Derin O.,
Cannella E.,
Tuveri G.,
Meloni P.,
Stefanov T.,
Fiorin L.,
Raffo L.,
Sami M. G. (2013)
A system-level approach to adaptivity and fault-tolerance in NoC-based MPSoCs: The MADNESS project. , Microprocessors and Microsystems - Embedded Hardware Design, 37
Bol D.,
Hocquet C.,
Regazzoni F. (2013)
A Fast ULV Logic Synthesis Flow in Many-Vt CMOS Processes for Minimum Energy under Timing Constraints , IEEE Transactions on Circuits and Systems II, 59
Mariani G.,
Palermo G.,
Zaccaria V.,
Silvano C. (2013)
Design-space Exploration and Runtime Resource Management for Multicores , ACM Transactions on Embedded Computing Systems (TECS) - Special issue on application-specific processors, 13 (September)
Bayrak A. G.,
Regazzoni F. ,
Novo Bruna D.,
Brisk P.,
Standaert F. X.,
Ienne P. (2013)
Automatic Application of Power Analysis Countermeasures , IEEE Transactions on Computers, PP (December)
Mariani G.,
Palermo G.,
Zaccaria V.,
Silvano C. (2013)
ARTE: an Application-specific Run-Time Management Framework for Multi-cores based on Queuing Models , Parallel Computing
Fiorin L.,
Palermo G.,
Silvano C. (2013)
A Configurable Monitoring Infrastructure for NoC-Based Architectures , IEEE Transactions on Very Large Scale Integration (VLSI) Systems, PP
Denaro G.,
Pezzè M. ,
Tosi D. (2013)
Test-and-Adapt: An Approach for Improving Service Interchangeability , ACM transactions on software engineering and methodology, 22 (4)
Kröning D.,
Sharygina N. ,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M. (2013)
Loop summarization using state and transition invariants , Formal Methods in System Design, 42 (3)
Koumoutsakos P.,
Milde F. (2013)
The Fluid Mechanics of Cancer and Its Therapy , Annual Review of Fluid Mechanics, 45 (1)
Alberti F.,
Sharygina N. (2013)
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs , CoRR, abs/1304.4499
Toffetti Carughi G.,
Gambi A.,
Pezzè M. ,
Pautasso C. (2013)
Kriging Controllers for Cloud Applications , IEEE Internet Computing
Schneider T.,
Hormann K. ,
Michael S. Floater (2013)
Bijective composite mean value mappings , Computer Graphics Forum, 32 (5 ( August ))
Deng C.,
Hormann K. ,
Zhang Z. (2013)
On the norms of the Dubuc–Deslauriers subdivision schemes , Computer Aided Geometric Design, 30 (7 ( October ))
Bos L.,
De Marchi S.,
Hormann K. ,
Sidon J. (2013)
Bounding the Lebesgue constant for Berrut's rational interpolant at general nodes , Journal of Approximation Theory, 169 (May)
Cashman T. J.,
Hormann K. ,
Reif U. (2013)
Generalized Lane–Riesenfeld algorithms , Computer Aided Geometric Design, 30 (4 ( May ))
Marras S.,
Cashman T. J.,
Hormann K. (2013)
Efficient interpolation of articulated shapes using mixed shape spaces , Computer Graphics Forum, 32 (8 ( December ))
Basini P.,
Nissen-Meyer T.,
Boschi L.,
Casarotti E.,
Verbeke J.,
Schenk O. ,
Giardini D. (2013)
The influence of nonuniform ambient noise on crustal tomography in Europe , Geochemistry, Geophysics, Geosystems
Luisier M.,
Schenk O. (2013)
Gate-Stack Engineering in n-Type Ultrascaled Si Nanowire Field-Effect Transistors , IEEE Transactions on Electron Devices
Harbrecht H.,
Multerer M. (2013)
Comparison of fast boundary element methods on parametric surfaces , Computer Methods in Applied Mechanics and Engineering, 261--262
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2013)
Combination technique based k-th moment analysis of elliptic problems with random diffusion , Journal of Computational Physics, 252
Peng Z.,
Li X.,
Pivkin I. ,
Dao M.,
Karniadakis G. E.,
Suresh S. (2013)
Lipid bilayer and cytoskeletal interactions in a red blood cell , Proceedings of the National Academy of Sciences, 110 (33)
Eugster P. T. (2013)
Safe uniform proxies for Java , Sci. Comput. Program., 78 (9)
Derin O.,
Kuncheerath Ramankutty P.,
Meloni P.,
Cannella E. (2012)
Towards Self-adaptive KPN Applications on NoC-based MPSoCs , Advances in Software Engineering, 2012 (September)
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2012)
OSCAR: an Optimization Methodology Exploiting Spatial Correlation in Multi-core Design Space , IEEE Transactions on Computer-Aided Design, 21 (- ( May ))
Bol D.,
Hocquet C.,
Regazzoni F. (2012)
A Fast ULV Logic Synthesis Flow in Many-Vt CMOS Processes for Minimum Energy Under Timing Constraints , IEEE Transactions on Circuits and Systems II: Express Briefs, 59-II (February)
Cannella E.,
Derin O.,
Meloni P.,
Tuveri G.,
Stefanov T. (2012)
Adaptivity Support for MPSoCs based on Process Migration in Polyhedral Process Networks. Special issue on Application-Driven Design of Processor, Memory, and Communication Architectures for MPSoCs , VLSI Design, 2012 (Article ID 987209 ( February ))
Potse M.,
Krause D.,
Bacharova L.,
Krause R. ,
Prinzen F.,
Auricchio A. (2012)
Similarities and differences between electrocardiogram signs of left bundle-branch block and left-ventricular uncoupling , Europace, 14 (suppl 5)
Rollini S. F.,
Sharygina N. (2012)
Propositional Interpolation Systems for Model Checking , CoRR, abs/1212.4650
Winkel M.,
Speck R.,
Huebner H.,
Arnold L.,
Krause R. ,
Gibbon P. (2012)
A massively parallel, multi-disciplinary Barnes-Hut tree code for extreme-scale N-body simulations , Computer Physics Communications, 183 (4)
Ansaloni G.,
Tanimura K.,
Pozzi L. ,
Dutt N. D. (2012)
Integrated Kernel Partitioning and Scheduling for Coarse-Grained Reconfigurable Arrays , IEEE Trans. on CAD of Integrated Circuits and Systems, 31 (12)
Sharygina N. ,
Tonetta S.,
Tsitovich A. (2012)
An abstraction refinement approach combining precise and approximated techniques , International Journal on Software Tools for Technology Transfer (STTT), 14
Ruprecht D.,
Krause R. (2012)
Explicit Parallel-in-time Integration of a Linear Acoustic-Advection System , Computers \& Fluids, 59
Toffetti Carughi G.,
Pezzè M. (2012)
Graph transformations and software engineering: Success stories and lost chances , Journal of Visual Languages \& Computing
Krause R. ,
Walloth M. (2012)
Presentation and Comparison of Selected Algorithms for Dynamic Contact Based on the Newmark Scheme , Applied Numerical Mathematics, 62 (10 ( October ))
Dyn N.,
Hormann K. (2012)
Geometric conditions for tangent continuity of interpolatory planar subdivision curves , Computer Aided Geometric Design, 29 (6 ( August ))
Bos L.,
De Marchi S.,
Hormann K. ,
Klein G. (2012)
On the Lebesgue constant of barycentric rational interpolation at equidistant nodes , Numerische Mathematik, 121 (3 ( July ))
Marras S.,
Bronstein M. ,
Hormann K. ,
Scateni R.,
Scopigno R. (2012)
Motion-based mesh segmentation using augmented silhouettes , Graphical Models, 74 (4 ( July ))
Hormann K. ,
Klein G.,
De Marchi S. (2012)
Barycentric rational interpolation at quasi-equidistant nodes , Dolomites Research Notes on Approximation, 5 (1 ( September ))
Cashman T. J.,
Hormann K. (2012)
A continuous, editable representation for deforming mesh sequences with separate signals for time, pose and shape , Computer Graphics Forum, 31 (2 ( May ))
Sathe M.,
Schenk O. ,
Burkhart H. (2012)
An auction-based weighted matching implementation on massively parallel architectures , Parallel Computing
Curtis F. E.,
Huber J.,
Schenk O. ,
Wächter A. (2012)
A note on the implementation of an interior-point algorithm for nonlinear optimization with inexact step computations , Mathematical Programming
Christen M.,
Schenk O. (2012)
A Performance Study of an Anelastic Wave Propagation Code Using Auto-tuned Stencil Computations , Proceedings of the International Conference on Computational Science, ICCS 2012
Harbrecht H.,
Multerer M. ,
Schneider R. (2012)
On the low-rank approximation by the pivoted Cholesky decomposition , Applied Numerical Mathematics, 62 (4)
Raviv D.,
Bronstein A. M.,
Bronstein M. ,
Kimmel R.,
Sochen N. (2011)
Affine-invariant geodesic geometry of deformable 3D shapes , Computers & Graphics 35(3):692-697
Bronstein M. (2011)
Lazy sliding window implementation of the bilateral filter on parallel architectures , IEEE Trans. Image Processing 20(6):1751-1756
Bronstein A.,
Bronstein M. ,
Guibas L.,
Ovsjanikov M. (2011)
Shape Google: geometric words and expressions for invariant shape retrieval , ACM Trans. Graphics 30(1):1-20
Bronstein M. ,
Bronstein A. (2011)
Shape recognition with spectral distances , IEEE Trans. Pattern Analysis and Machine Intelligence 33(5):1065-1071
Ykman-Couvreur C.,
Avasare P.,
Mariani G.,
Zaccaria V.,
Palermo G.,
Silvano C. (2011)
Linking run-time resource management of embedded multi-core platforms with automated design-time exploration , IET Computers and Digital Techniques, 5
Hocquet C.,
Kamel D.,
Regazzoni F. ,
Legat J. D.,
Flandre D.,
Bol D.,
Standaert F. X. (2011)
Harvesting the potential of nano-CMOS for lightweight cryptography: An ultra-low-voltage 65 nm AES coprocessor for passive RFID tags , Springer Journal of Cryptographic Engineering, 1
Derin O.,
Diken E.,
Fiorin L. (2011)
A Middleware Approach to Achieving Fault-tolerance of Kahn Process Networks on Networks-on-Chips. Selected Papers from the International Workshop on Reconfigurable Communication-centric Systems on Chips (ReCoSoC'' 2010) , International Journal of Reconfigurable Computing, 2011 (Article ID 295385 ( February ))
Papadopoulou K.,
Keilig L.,
Eliades T.,
Krause R. ,
Jäger A.,
Bourauel C. (2011)
The time-dependent biomechanical behaviour of the periodontal ligament - an in vitro experimental study in minipig mandibular two-rooted premola , The European Journal of Orthodontics, 36 (1)
Bacharova L.,
Mateasik A.,
Krause R. ,
Prinzen F.,
Auricchio A. ,
Potse M. (2011)
The effect of reduced intercellular coupling on electrocardiographic signs of left ventricular hypertrophy , J. Electrocardiol., 44 (5)
Pezzè M. ,
Rinard M. C.,
Weimer W.,
Zeller A. (2011)
Self-Repairing Programs (Dagstuhl Seminar 11062) , Dagstuhl Reports, 1 (2)
Bow H.,
Diez-Silva M.,
Goldfless S. J.,
Dao M.,
Niles J. C.,
Suresh S.,
Han J. (2011)
A microfabricated deformability-based flow cytometer with application to malaria , Lab on a Chip, 11 (6)
Bache R.,
Crestani F. (2011)
A Generative Model of Offenders' Spatial Behaviour , International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 19 (5)
Baluda M.,
Braione P.,
Denaro G.,
Pezzè M. (2011)
Enhancing structural software coverage by incrementally computing branch executability , Software Quality Journal, 19 (4)
Drolshagen M.,
Keilig L.,
Hasan I.,
Reimann S.,
Deschner J.,
Brinkmann K.,
Krause R. ,
Favino M. ,
Bourauel C. (2011)
Development of a novel intraoral measurement device to determine the biomechanical characteristics of the human periodontal ligament. , Journal of Biomechanics, 44 (11)
Fackeldey K.,
Krause R. ,
Krause D.,
Lenzen C. (2011)
Coupling Molecular Dynamics and Continua with Weak Constraints , Multiscale Modeling \& Simulation, 9 (4)
Mariani L.,
Pastore F.,
Pezzè M. (2011)
Dynamic Analysis for Diagnosing Integration Faults , IEEE Transactions on Software Engineering (PP)
Ansaloni G.,
Bonzini P.,
Pozzi L. (2011)
EGRA: A Coarse Grained Reconfigurable Architectural Template , Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 19 (6)
Krause R. ,
Walloth M. (2011)
A family of space-time connecting discretization schemes for elastodynamic contact problems with local impact detection , Computer Methods in Applied Mechanics and Engineering, 200 (1 ( November ))
Bos L.,
De Marchi S.,
Hormann K. (2011)
On the Lebesgue constant of Berrut's rational Interpolant at equidistant nodes , Journal of Computational and Applied Mathematics, 236 (4 ( September ))
Weber O.,
Ben-Chen M.,
Gotsman C.,
Hormann K. (2011)
A complex view of barycentric mappings , Computer Graphics Forum, 30 (5 ( August ))
Bronstein A.,
Bronstein M. ,
Kimmel R.,
Mahmoudi M.,
Sapiro G. (2010)
A Gromov-Hausdorff framework with diffusion geometry for topologically-robust non-rigid shape matching , IJCV 89(2-3):266-286
Raviv D.,
Bronstein A.,
Bronstein M. ,
Kimmel R. (2010)
Full and partial symmetries of non-rigid shapes , IJCV 89(1):18-39
Mitra N. (2010)
Intrinsic regularity detection in 3D geometry , Proc. European Conf. Computer Vision (ECCV)
Rosman G.,
Bronstein M. ,
Bronstein A.,
Kimmel R. (2010)
Nonlinear dimensionality reduction by topologically constrained isometric embedding , IJCV 89(1):56-68
Donatelli M.,
Russel G.,
Rizzoli A. E. (2010)
A component-based framework for simulating agricultural production and externalities , Environmental and Agricultural Modelling
Gorla A.,
Mariani L.,
Pastore F.,
Pezzè M. ,
Wuttke J. D. (2010)
Achieving Cost-Effective Software Reliability Through Self-Healing , Computing and Informatics, 29 (1)
Gross C.,
Krause R. ,
Steiner J. (2010)
Heterogeneous Coupling: A Comparison of two Approaches for the Modeling of thin Structures , PAMM, 10 (1)
Braghin C.,
Sharygina N. ,
Barone-Adesi K. (2010)
A Model Checking-based Approach for Security Policy Verification of Mobile Systems , Formal Aspects of Computing Journal
Curtis F. E.,
Schenk O. ,
Wächter A. (2010)
An Interior-Point Algorithm for Large-Scale Nonlinear Optimization with Inexact Step Computations , SIAM Journal on Scientific Computing
Pautasso C. (2009)
RESTful Web Service Composition with BPEL for REST , Data and Knowledge Engineering, 68(9):851-866
Villa F.,
Rizzoli A. E. ,
Athanasiadis I. (2009)
Modelling with knowledge: A review of emerging semantic approaches to environmental modelling , Environmental Modelling and Software
Bronstein A.,
Bronstein M. ,
Bruckstein A.,
Kimmel R. (2009)
Partial similarity of objects, or how to compare a centaur to a horse , IJCV 84(2):163-183
Bailey D. V.,
Batina L.,
Bernstein D. J.,
Birkner P.,
Bos J. W.,
Chen H. .,
Cheng C. .,
van Damme G.,
Güneysu T.,
Gurkaynak F.,
Kleinjung T.,
Paar C.,
Regazzoni F. ,
Niederhagen R.,
Schwabe P.,
Uhsadel L.,
Van Herrewege A. (2009)
Breaking ECC2K-130 , IACR Cryptology ePrint Archive, 2009 (November)
Derin O.,
Ferrante A. ,
Taddeo A. (2009)
Coordinated management of hardware and software self-adaptivity. Challenges in self-adaptive computing (Selected papers from the Aether-Morpheus 2007 workshop), Accepted Manuscript, Available online 29 July 2008 , Journal of Systems Architecture, 55 (3 ( March ))
Derin O.,
Ferrante A. (2009)
Enabling Self-adaptivity in Component-based Streaming Applications. Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES''09) , ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems, 6 (3 ( October ))
Tosi D.,
Denaro G.,
Pezzè M. (2009)
Towards autonomic service-oriented applications , International Journal of Autonomic Computing (IJAC), 1 (April)
Orailoglu A.,
Pozzi L. (2009)
Guest editorial: special section on the IEEE symposium on application specific processors 2008 , Trans. Comp.-Aided Des. Integ. Cir. Sys., 28 (12)
Regazzoni F. ,
Eisenbarth T.,
Poschmann A.,
Großschädl J.,
Gurkaynak F.,
Macchetti M.,
Toprak Z.,
Pozzi L. ,
Paar C.,
Leblebici Y.,
Ienne P. (2009)
Evaluating Resistance of MCML Technology to Power Analysis Attacks Using a Simulation-Based Methodology
Dickopf T.,
Krause R. (2009)
Efficient simulation of multi-body contact problems on complex geometries: A flexible decomposition approach using constrained minimization , International Journal for Numerical Methods in Engineering, 77 (13)
Fackeldey K.,
Krause R. (2009)
Multiscale Coupling in Function Space - Weak Coupling between Molecular Dynamics and Continuum Mechanics , Int. J. Numer. Meth. Engng, 79 (12)
Krause R. (2009)
A Non-Smooth Multiscale Method for Solving Frictional Two-Body Contact Problems in 2D and 3D with Multigrid Efficiency , SIAM Journal on Scientific Computing, 31 (2)
Gross C.,
Krause R. (2009)
On the Convergence of Recursive Trust--Region Methods for Multiscale Non-linear Optimization and Applications to Non-linear Mechanics , SIAM J. Numer. Anal., 47 (4 ( September ))
Krause R. ,
Walloth M. (2009)
A Time Discretization Scheme Based on Rothe's Method for Dynamical Contact Problems with Friction , Computer Methods in Applied Mechanics and Engineering, 199 (1-4 ( December ))
Bollhöfer M.,
Grote M. J.,
Schenk O. (2009)
Algebraic Multilevel Preconditioner for the Helmholtz Equation in Heterogeneous Media , SIAM Journal on Scientific Computing
Schenk O. ,
Wächter A.,
Weiser M. (2009)
Inertia-Revealing Preconditioning For Large-Scale Nonconvex Constrained Optimization , SIAM Journal on Scientific Computing
Schenk O. ,
Manguoglu M.,
Sameh A.,
Christen M.,
Sathe M. (2009)
Parallel scalable PDE-constrained optimization: antenna identification in hyperthermia cancer treatment planning , Computer Science - Research and Development
Rizzoli A. E. ,
Donatelli M.,
I.N. A.,
Villa F.,
Huber D. (2008)
Semantic links in integrated modelling frameworks , Mathematics and Computers in Simulation
Weber O.,
Devir Y.,
Bronstein A.,
Bronstein M. ,
Kimmel R. (2008)
Parallel algorithms for approximation of distance maps on parametric surfaces , ACM TOG 27(4)
Fiorin L.,
Palermo G.,
Lukovic S. ,
Catalano V.,
Silvano C. (2008)
Secure Memory Accesses on Networks-on-Chip , IEEE Transactions on Computers, 57 (9 ( September ))
Jain H.,
Kröning D.,
Sharygina N. ,
Clarke E. M. (2008)
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog , IEEE Trans. on CAD of Integrated Circuits and Systems, 27 (2)
Chaki S.,
Clarke E. M.,
Sharygina N. ,
Sinha N. (2008)
Verification of evolving software via component substitutability analysis , Formal Methods in System Design, 32 (3)
Sweeney S. O.,
Crestani F. ,
Losada Carril D. (2008)
'Show me more': Incremental length summarisation using novelty detection , Inf. Process. Manage., 44 (2)
Notkin D.,
Pezzè M. (2008)
Introduction to the special section from the ACM international symposium on software testing and analysis , ACM transactions on software engineering and methodology, 17 (2)
Carzaniga A. ,
Gorla A.,
Pezzè M. (2008)
Healing Web applications through automatic workarounds , International Journal on Software Tools for Technology Transfer (STTT), 10 (6 ( December ))
Bonzini P.,
Pozzi L. (2008)
Recurrence-Aware Instruction Set Selection for Extensible Embedded Processors , Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 16 (10)
Schenk O. ,
Christen M.,
Burkhart H. (2008)
Algorithmic performance studies on graphics processing units , Journal of Parallel and Distributed Computing
Schenk O. ,
Bollhöfer M.,
Römer R. (2008)
On Large-Scale Diagonalization Techniques for the Anderson Model of Localization , SIAM Review
Schenk O. ,
Christen M.,
Burkhart H. (2008)
Algorithmic performance studies on graphics processing units , Journal of Parallel and Distributed Computing
Möller M.,
Kuzmin D.,
Kourounis D. (2008)
Implicit FEM-FCT algorithms and discrete Newton methods for transient convection problems , International Journal for Numerical Methods in Fluids, 57 (6)
Pivkin I. ,
Karniadakis G. E. (2008)
Accurate coarse-grained modeling of red blood cells , Physical review letters, 101 (11)
Taddeo A.,
Ferrante A. (2007)
Scheduling Small packets in IPSec Multi-accelerator Based Systems , Journal of Communication(JCM) Academy publisher, 2 (2 ( March ))
Cook B.,
Kröning D.,
Sharygina N. (2007)
Verification of Boolean programs with unbounded thread creation , Theor. Comput. Sci., 388 (1-3)
Biswas P.,
Dutt N. D.,
Pozzi L. ,
Ienne P. (2007)
Introduction of Architecturally Visible Storage in Instruction Set Extensions , Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 26 (3)
Mariani L.,
Pezzè M. (2007)
Dynamic Detection of COTS Component Incompatibility , IEEE Software, 24 (5)
Pezzè M. (2007)
Introduction to the special section on FASE 2003 , International Journal on Software Tools for Technology Transfer, 9 (2)
Schenk O. ,
Bollhöfer M.,
Römer R. A. (2007)
On large-scale diagonalization techniques for the Anderson model of localization , SIAM Journal on Scientific Computing
Schenk O. ,
Wächter A.,
Hagemann M. (2007)
Matching-based preprocessing algorithms to the solution of saddle-point problems in large-scale nonconvex interior-point optimization , Computational Optimization and Applications
Eugster P. T. (2007)
Type-based publish/subscribe: Concepts and experiences , ACM Trans. Program. Lang. Syst., 29 (1)
Eugster P. T. (2007)
The "art" of programming gossip-based systems , ACM SIGOPS Oper. Syst. Rev., 41 (5)
Bronstein M. ,
Bronstein A.,
Kimmel R.,
Yavneh I. (2006)
Multigrid multidimensional scaling , Numerical Linear Algebra with Applications (NLAA) 13(2-3):149-171
Vuletic M.,
Pozzi L. ,
Ienne P. (2006)
Virtual memory window for application-specific reconfigurable coprocessors , IEEE Trans. VLSI Syst., 14 (8)
DeHon A.,
Markovsky Y.,
Caspi E.,
Chu M.,
Huang R.,
Perissakis S.,
Pozzi L. ,
Yeh J.,
Wawrzynek J. (2006)
Stream computations organized for reconfigurable execution , Microprocessors and Microsystems, 30 (6)
Biswas P.,
Banerjee S.,
Dutt N. D.,
Pozzi L. ,
Ienne P. (2006)
ISEGEN: an iterative improvement-based ISE generation technique for fast customization of processors , IEEE Trans. VLSI Syst., 14 (7)
Baresi L.,
Pezzè M. (2006)
An Introduction to Software Testing , Electronic Notes in Theoretical Computer Science, 148 (1)
Bollhöfer M.,
Schenk O. (2006)
Combinatorial Aspects in Sparse Elimination Methods , GAMM-Mitteilungen
Schenk O. ,
Bollhöfer M.,
Römer R. A. (2006)
On Large-Scale Diagonalization Techniques for the Anderson Model of Localization , SIAM Journal on Scientific Computin
Hagemann M.,
Schenk O. (2006)
Weighted Matchings for Preconditioning Symmetric Indefinite Linear Systems , SIAM Journal on Scientific Computing
Schenk O. ,
Gaertner K. (2006)
Fast Factorization Pivoting Methods for Sparse Symmetric Indefinite Systems , Electronic Transactions on Numerical Analysis
Pivkin I. ,
Richardson P. D.,
Karniadakis G. (2006)
Blood flow velocity effects and role of activation delay time on growth and form of platelet thrombi , Proceedings of the National Academy of Sciences, 103 (46)
Pivkin I. ,
Karniadakis G. E. (2006)
Controlling density fluctuations in wall-bounded dissipative particle dynamics systems , Physical review letters, 96 (20)
Eugster P. T. (2006)
Composing atomic features , Sci. Comput. Program., 63 (2)
Bronstein A.,
Bronstein M. ,
Kimmel R. (2005)
Three-dimensional face recognition , IJCV 64(1):5-30
Arbenz P.,
Burkhart H.,
Maehle E.,
Schenk O. (2005)
Special section: SPEEDUP Workshop on Modern algorithms in computational science and information technology , Future Generation Computer Systems
Eugster P. T. (2005)
Object-oriented programming in peer-to-peer systems , Concurr. Pract. Exp., 17 (7-8)
Sharygina N. ,
Chaki S.,
Clark E.,
Ouaknine J.,
Sinha N. (2005)
Concurrent software verification with states, events, and deadlocks , Formal Aspects of Computing
Schenk O. ,
Hillmann M. (2004)
Optimal design of metal forming die surfaces with evolution strategies , Computers & Structures
Schenk O. ,
Rollin S.,
Gupta A. (2004)
The effects of unsymmetric matrix permutations and scalings in semiconductor device and circuit simulation , IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Schenk O. ,
Gaertner K. (2004)
Solving unsymmetric sparse systems of linear equations with PARDISO , Future Generation Computer Systems
Eugster P. T. (2004)
Distributed Programming with Typed Events , IEEE Softw., 21 (2)
Eugster P. T. (2004)
Epidemic Information Dissemination in Distributed Systems , Computer, 37 (5)
Sharygina N. ,
Clarke E.,
Kroening D.,
Yorav K. (2004)
Predicate Abstraction of ANSI-C Programs Using SAT , Formal Methods in System Design
Sharygina N. ,
Browne J.,
Xie F.,
Kurshan R.,
Levin V. (2004)
Lessons Learned from Model Checking a NASA Robot Controller , Formal Methods in System Design
Macchetti M.,
Bertoni G. M. (2003)
Hardware Implementation of the Rijndael Sbox: a Case Study , ST Journal of System Research (July)
Alippi C. ,
Galbusera A.,
Stellini M. (2003)
An Application Level Synthesis Methodology for Multidimensional Embedded Processing Systems , IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 22 (11 ( November ))
Eugster P. T. (2003)
Lightweight probabilistic broadcast , ACM Trans. Comput. Syst., 21 (4)
Eugster P. T. (2003)
The many faces of publish/subscribe , ACM Comput. Surv., 35 (2)
Cherubini A.,
Crespi Reghizzi S.,
San Pietro P. (2002)
Associative Language Descriptions , Theoretical Computer Science, 270, 2002,463-491
Schenk O. ,
Gaertner K. (2002)
Solving Unsymmetric Sparse Systems of Linear Equations with PARDISO , Future Generation Computer Systems
Eugster P. T. (2001)
Effective multicast programming in large scale distributed systems , Concurr. Comput. Pract. Exp., 13 (6)
Benedusi P. ,
Minion M. L.,
Krause R. ,
An experimental comparison of a space-time multigrid method with PFASST for a reaction-diffusion problem , Computers and mathematics with applications, 99
Gander L.,
Krause R. ,
Multerer M. ,
Pezzuto S. ,
Space–time shape uncertainties in the forward and inverse problem of electrocardiography , International journal for numerical methods in biomedical engineering, 37 (10)
Zulian P. ,
Kopanicakova A.,
Nestola M. G. C.,
Fink A.,
Fadel N. A.,
VandeVondele J.,
Krause R. ,
Large scale simulation of pressure induced phase-field fracture propagation using Utopia , CCF transactions on high performance computing (3)
Grandits T. A.,
Effland A.,
Pock T.,
Plank G.,
GEASI. Geodesic-based earliest activation sites identification in cardiac models , International journal for numerical methods in biomedical engineering, 37 (8)
Libro (10)
Harbrecht H.,
Multerer M. (2022)
Algorithmische Mathematik . Springer
Fedosov A. (2020)
Supporting the design of technology-mediated sharing practices . Carl Grossmann
Hormann K. ,
Sukumar N. (2017)
Generalized Barycentric Coordinates in Computer Graphics and Computational Mechanics . Taylor & Francis, CRC Press
Crestani F. ,
Mizzaro S.,
Scagnetto I. (2017)
Mobile Information Retrieval . Springer. Springer Briefs in Computer Science
Crestani F. ,
Mizzaro S.,
Scagnetto I. (2017)
Mobile Information Retrieval . Springer
Bronstein A.,
Bronstein M. ,
Kimmel R. (2008)
Numerical geometry of non-rigid shapes . Springer
Pezzè M. ,
Young M. (2008)
Software Testing and Analysis: Process, Principles and Techniques . Wiley
Sharygina N. ,
Kröning D. (2007)
Model Checking with Abstraction for Web Services. . Springer. Test and Analysis of Web Services
Pezzè M. ,
Young M. (2007)
Software Testing and Analysis: Process, Principles and Techniques . Wiley
Krause R. (2001)
Monotone Multigrid Methods for Signorini's Problem with Friction. Phd Thesis . Freie Universität Berlin, Fachbereich Mathematik und Informatik
Contributo in libro (67)
Pizzagalli D. U.,
Cabini R. F.,
Wortel I. M. N. (2025)
Quantifying biological processes in motion and across scales . Biomaterials, Bioengineering and Sustainability
Altin R.,
Mísírlí O.,
Zanardi I.,
Cutrupi C. M.,
Miranda S. K. .,
Dagiene V.,
Landoni M. (2025)
Students' activities from elementary to high school . Actions for gender balance in informatics across Europe
Hormann K. ,
Yap C.,
Zhang Y. S.,
Boulier and M. England and I. Kotsireas and T. M. Sadykov and E. V. Vorozhtsov F. (2023)
Range functions of any convergence order and their amortized complexity analysis . Computer Algebra in Scientific Computing. Springer. Lecture Notes in Computer Science
Nagy C.,
Lanza M. ,
Cleve A. (2023)
Mining, analyzing, and evolving data-intensive software ecosystems . Software ecosystems. Springer International Publishing
Multerer M. ,
Pezzuto S. ,
Ennis D.B. P. L. (2021)
Fast and Accurate Uncertainty Quantification for the ECG with Random Electrodes Location . Functional Imaging and Modeling of the Heart. FIMH 2021. Springer. Lecture Notes in Computer Science
Serbout S.,
Pautasso C. (2021)
Towards large-scale empirical assessment of web APIs evolution . Web Engineering. ICWE 2021. Springer
Chiodini L. ,
Hauswirth M.,
Gallidabino A. (2021)
Conceptual checks for programming teachers . Technology-Enhanced Learning for a Free, Safe, and Sustainable World. EC-TEL 2021. Lecture Notes in Computer Science
Bollhoefer M.,
Schenk O. ,
Janalík R.,
Hamm S.,
Gullapalli K. (2020)
State-of-The-Art Sparse Direct Solvers . Parallel Algorithms in Computational Science&Engineering - Parallelism as Enabling Technology in CSE Applications. Birkhauser
Kardoš J.,
Kourounis D.,
Schenk O. (2020)
Parallel Structure Exploiting Interior Point Methods . Parallel Algorithms in Computational Science&Engineering - Parallelism as Enabling Technology in CSE Applications. Birkhauser
Bollhoefer M.,
Schenk O. ,
Janalík R.,
Hamm S.,
Gullapalli K. (2020)
State-of-The-Art Sparse Direct Solvers . Parallel Algorithms in Computational Science&Engineering - Parallelism as Enabling Technology in CSE Applications. Birkhauser
Salza P.,
Musmarra P.,
Ferrucci F. (2019)
Agile Methodologies in Education: A Review . Agile and Lean Concepts for Teaching and Learning: Bringing Methodologies from Industry to the Classroom. Springer Singapore
Ferrante A. ,
Malek M. ,
Martinelli F.,
Mercaldo F.,
Milosevic J.,
Imine A. a. F. (2018)
Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection . Foundations and Practice of Security. Springer International Publishing
Nestola M. G. C.,
Becsek B.,
Zolfaghari H.,
Zulian P. ,
Obrist D.,
Krause R. (2018)
An immersed boundary method based on the L2-projection approach . Domain Decomposition Methods in Science and Engineering XXIV. Springer International Publishing
Nestola M. G. C.,
Becsek B.,
Zolfaghari H.,
Zulian P. ,
Obrist D.,
Krause R. (2018)
An immersed boundary method based on the L2-projection approach . Domain Decomposition Methods in Science and Engineering XXIV. Springer International Publishing
Multerer M. ,
Wittwer L. D.,
Stopka A.,
Barac D.,
Lang C.,
Iber D.,
Dubrulle J. (2018)
Simulation of morphogen and tissue dynamics . Morphogen Gradients. Humana Press
Eugster P. T. ,
Liu and M. Tamer \"Ozsu L. (2018)
Interface . Encyclopedia of Database Systems, Second Edition. Springer
Harbrecht H.,
Multerer M. (2017)
Solution of free boundary problems in the presence of geometric uncertainties . Topological Optimization and Optimal Transport in the Applied Sciences. de Gruyter
Grasedyck L.,
Löbbert C.,
Wittum G.,
Nägel A.,
Schulz V.,
Siebenborn M.,
Krause R. ,
Benedusi P.,
Küster U.,
Dick B. (2016)
Space and Time Parallel Multigrid for Optimization and Uncertainty Quantification in PDE Simulations . Software for Exascale Computing-SPPEXA 2013-2015. Springer
Harbrecht H.,
Multerer M. (2016)
Combination technique based second moment analysis for PDEs on random domains . Sparse grids and applications - Stuttgart 2014. Springer International Publishing
Hormann K. ,
Engquist B. (2015)
Geometry Processing . Encyclopedia of Applied and Computational Mathematics. Springer
Durvaux F.,
Kerckhof S.,
Regazzoni F. ,
Standaert F. X.,
Markantonakis K. (2014)
Security IPs and IP Security with FPGAs . Secure Smart Embedded Devices Platform and Applications
Dittrich A.,
Lichtblau B.,
Ribeiro Rezende R.,
Malek M. ,
Fischbach K. a. K. (2014)
Modeling Responsiveness of Decentralized Service Discovery in Wireless Mesh Networks . MMB \& DFT. Springer International Publishing Switzerland. Lecture Notes in Computer Science
Derin O.,
Fiorin L. (2014)
Towards a Reliability-aware Design Flow for Kahn Process Networks on NoC-based Multiprocessors . 10th Workshop on Dependability and Fault Tolerance (ARCS/VERFE''14). Springer. Lecture Notes on Computer Science
Hormann K. ,
E. Fasshauer and Larry L. Schumaker G. (2014)
Barycentric Interpolation . Approximation Theory XIV: San Antonio 2013. Springer. Springer Proceedings in Mathematics & Statistics
Toraldo M. L.,
Mangia G.,
Mercurio R.,
Consiglio S. (2013)
Play & fun politics to increase the pervasiveness of social community: the experience of Angels 4 Travelers . In Teigland, R. and Power, D. (eds) The Immersive Internet: Reflections on the Entangling of the Virtual with Society, Politics and the Economy. Palgrave – Macmillan
Kakuda Y.,
Ohta T.,
Malek M. ,
Higuera-Toledano T. a. B. (2013)
Self-Organizing Real-Time Services in Mobile Ad Hoc Networks . Self-Organization in Embedded Real-Time Systems. Springer New York
Dittrich A.,
Ribeiro Rezende R.,
Vieira M. a. C. (2013)
Model-Driven Evaluation of User-Perceived Service Availability . Dependable Computing. Springer Berlin Heidelberg. Lecture Notes in Computer Science
Lukovic S. ,
Kaitovic I. (2013)
Systems Engineering for Assessment of Virtual Power System Implementations . Artificial Intelligence Applications and Innovations. Springer Berlin Heidelberg. 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 -- October 2, 2013, Proceedings
Gross C.,
Krause R. ,
Poletti V.,
Cangiani A. a. D. (2013)
A Numerical Remark on the Time Discretization of Contact Problems in Nonlinear Elasticity . Numerical Mathematics and Advanced Applications 2011. Springer Berlin Heidelberg
Harbrecht H.,
Multerer M. ,
Siebenmorgen M. (2013)
On multilevel quadrature for elliptic stochastic partial differential equations . Sparse grids and applications. Springer
Regazzoni F. ,
Breveglieri L.,
Ienne P.,
Koren I.,
Joye M. a. T. (2012)
Interaction between Fault Attack Countermeasures and the Resistance against Power Analysis Attacks . Fault Analysis in Cryptography. Springer Berlin Heidelberg. Information Security and Cryptography Series, Springer
Taddeo A.,
Mura M.,
Ferrante A. ,
Obaidat M. a. T. (2012)
Dynamic Adaptation of Security and QoS in Energy-Harvesting Sensors Nodes . e-Business and Telecommunications. Springer. Communications in Computer and Information Science
Grillo A.,
Giverso C.,
Favino M. ,
Krause R. ,
Lampe M.,
Wittum G. (2012)
Mass Transport in Porous Media With Variable Mass . Advanced Structured Materials. Springer Berlin Heidelberg
Braione P.,
Denaro G.,
Pezzè M. (2012)
On the integration of software testing and formal analysis . Lecture Notes on Computer Science. Springer
Krause D.,
Potse M.,
Dickopf T.,
Krause R. ,
Auricchio A. ,
Prinzen F. (2012)
Hybrid Parallelization of a Large-Scale Heart Model . Facing the Multicore - Challenge II. Springer Berlin Heidelberg. Lecture Notes in Computer Science
Potse M.,
Dickopf T.,
Krause R. ,
Auricchio A. ,
Prinzen F.,
Krause D. (2012)
Hybrid parallelization of a realistic heart model . Facing the Multicore-Challenge II. Springer. Lecture Notes in Computer Science
Schenk O. ,
Sathe M.,
Ucar B.,
Sameh A. (2012)
Towards A Scalable Hybrid Linear Solver Based On Combinatorial Algorithms . Combinatorial Scientific Computing. Chapman and Hall/CR
Huber J.,
Schenk O. ,
Naumann U.,
Varnik E.,
Wächter A. (2012)
Algorithmic Differentiation and Nonlinear Optimization for an Inverse Medium Problem . Combinatorial Scientific Computing. Chapman and Hall/CRC
Schenk O. ,
Gaertner K. (2012)
Parallel Numerical Linear Algebra . Encyclopedia of Parallel Computing. Springer
Nesic S.,
Rizzoli A. E. ,
Athanasiadis I. (2011)
Towards a semantically unified environmental information space . Environmental Software Systems. Frameworks of eEnvironment, Springer
Palermo G.,
Silvano C.,
Zaccaria V.,
Rigoni E.,
Kavka C.,
Turco A.,
Mariani G. (2011)
Response Surface Modeling for Embedded System Design Space Exploration . Multi-objective design space exploration of multiprocessor SoC architectures: the MULTICUBE approach. Springer
Mura M.,
Sami M. G.,
Luppi A.,
Malchiodi G. (2011)
Progettazione e valutazione di soluzioni wireless multi-hop per il monitoraggio ambientale . MIARIA: Techologia e Conoscenza al Servizio della Sicurezza. Bellavite
Rigoni E.,
Kavka C.,
Turco A.,
Palermo G.,
Silvano C.,
Zaccaria V.,
Mariani G. (2011)
Optimization Algorithms for Embedded System Design Space Exploration . Multi-objective design space exploration of multiprocessor SoC architectures: the MULTICUBE approach. Springer
Silvano C.,
Fornaciari W.,
Palermo G.,
Zaccaria V.,
Castro F.,
Martinez M.,
Bocchio S.,
Zafalon R.,
Avasare P.,
Vanmeerbeeck G.,
Ykman-Couvreur C.,
Wouters M.,
Kavka C.,
Onesti L.,
Turco A.,
Bondi U. ,
Mariani G.,
Posadas H.,
Villar E.,
Wu S. Y. C.,
Dongrui F.,
Hao Z.,
Shibin T. (2011)
MULTICUBE: Multi-Objective Design Space Exploration of Multi-Core Architectures . VLSI 2010 Annual Symposium. Springer
Silvano C.,
Fornaciari W.,
Palermo G.,
Zaccaria V.,
Castro F.,
Martinez M.,
Bocchio S.,
Zafalon R.,
Avasare P.,
Vanmeerbeeck G.,
Ykman-Couvreur C.,
Wouters M.,
Kavka C.,
Onesti L.,
Turco A.,
Bondi U. ,
Mariani G.,
Posadas H.,
Villar E.,
Wu S. Y. C.,
Dongrui F.,
Hao Z.,
Silvano C. a. F. (2011)
The MULTICUBE Design Flow . Multi-objective Design Space Exploration of Multiprocessor SoC Architectures. Springer New York
Avasare P.,
Ykman-Couvreur C.,
Vanmeerbeeck G.,
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2011)
Design Space Exploration Supporting Run-time Resource Management . Multi-objective design space exploration of multiprocessor SoC architectures: the MULTICUBE approach. Springer
Kavka C.,
Turco A.,
Palermo G.,
Silvano C.,
Zaccaria V.,
Mariani G.,
Bocchio S.,
Dongrui F. (2011)
Design Space Exploration of Parallel Architectures . Multi-objective design space exploration of multiprocessor SoC architectures: the MULTICUBE approach. Springer
Mariani G.,
Avasare P.,
Ykman-Couvreur C.,
Vanmeerbeeck G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2011)
Design Space Exploration of a Reconfigurable System for Supporting Video Streaming Run-time Management . Multi-objective design space exploration of multiprocessor SoC architectures: the MULTICUBE approach. Springer
Mariani G.,
Avasare P.,
Ykman-Couvreur C.,
Vanmeerbeeck G.,
Palermo G.,
Silvano C.,
Zaccaria V.,
Silvano C. a. F. (2011)
Design Space Exploration for Run-Time Management of a Reconfigurable System for Video Streaming . Multi-objective design space exploration of multiprocessor SoC architectures: the MULTICUBE approach. Springer. 1
Gamrat C.,
Philippe J. M.,
Jesshope C.,
Shafarenko A.,
Bisdounis L.,
Bondi U. ,
Ferrante A. ,
Cabestany J.,
Huebner M.,
Parsinnen J.,
Kadlec J.,
Danek M.,
Tain B.,
Eisenbach S.,
Auguin M.,
Diguet J. P.,
Lenormand E.,
Roux J. L.,
Cardoso J. M. P. a. H. (2011)
AETHER: Self-Adaptive Networked Entities: Autonomous Computing Elements for Future Pervasive Applications and Technologies . Reconfigurable Computing: From FPGAs to Hardware/Software Codesign. Springer
Mariani L.,
Pastore F.,
Pezzè M. ,
Santoro M. (2011)
Mining Finite-State Automata with Annotations . Mining Software Specifications: Methodologies and Applications. CRC Press. Data Mining and Knowledge Discovery
Prevostini M. ,
Mura M.,
Murillo L. G. (2010)
MDE Support for HW/SW Codesign: A UML-based Design Flow . Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's. D. Borrione (eds.), Springer, Dordrecht, The Netherlands, 2010
Dickopf T.,
Krause R. (2010)
A study of prolongation operators between non-nested meshes . Domain Decomposition Methods in Science and Engineering XIX. Springer. Lecture Notes in Computational Science and Engineering
Fiorin L.,
Palermo G.,
Silvano C.,
Elmiligi H.,
Gebali F. K. (2009)
Security in NoC . Networks-on-Chips: Theory and Practice. Taylor and Francis Group, LLC - CRC Press
Ferrante A. ,
Chandra S.,
Piuri V.,
Filipe J. a. O. (2009)
IPSec Database Query Acceleration . E-business and Telecommunications. Springer Berlin Heidelberg. Communications in Computer and Information Science
Regazzoni F. ,
Cevrero A.,
Standaert F. X.,
Badel S.,
Kluter T.,
Brisk P.,
Leblebici Y.,
Ienne P. (2009)
A Design Flow and Evaluation Framework for DPA-resistant Instruction Set Extensions . Cryptographic Hardware and Embedded Systems (CHES). Springer Berlin Heidelberg. Lecture Notes in Computer Science
Regazzoni F. ,
Eisenbarth T.,
Poschmann A.,
Großschädl J.,
Gurkaynak F.,
Macchetti M.,
Toprak Z.,
Pozzi L. ,
Paar C.,
Leblebici Y. (2009)
Evaluating resistance of MCML technology to power analysis attacks using a simulation-based methodology . Transactions on Computational Science IV. Springer
Brun Y.,
Serugendo G. M.,
Gacek C.,
Giese H. B.,
Kienle H.,
Litoiu M.,
Müller H. A.,
Pezzè M. ,
Shaw M.,
Cheng B. H. C. a. L. (2009)
Engineering Self-Adaptive Systems through Feedback Loops . Software Engineering for Self-Adaptive Systems. Springer-Verlag
Pezzè M. ,
Wuttke J. D.,
Cheng B. H. C. a. L. (2009)
Automatic Generation of Runtime Failure Detectors from Property Templates . Software Engineering for Self-Adaptive Systems. Springer-Verlag
Carzaniga A. ,
Gorla A.,
Pezzè M. ,
de Lemos R. a. F. (2009)
Handling Software Faults with Redundancy . Architecting Dependable Systems VI. Springer. Lecture Notes in Computer Science
Eugster P. T. ,
Garbinato and Hugo Miranda and Lu\'\is E. T. Rodrigues B. (2009)
Middleware Support for Context-Aware Applications . Middleware for Network Eccentric and Mobile Applications. Springer
Mariani L.,
Pezzè M. ,
De Lucia A. a. F. (2008)
Emerging Methods, Technologies and Process Management in Software Engineering . Testing Object Oriented Software. Wiley-IEEE Computer Society Press
Mariani L.,
Pezzè M. (2008)
Testing Object Oriented Software
Basu A.,
Lajolo M.,
Prevostini M. (2005)
A Methodology for Bridging the Gap between UML and Codesign . UML for SOC Design. G. Martin and W. Müller (eds.) Springer, Dordrecht, The Netherlands, 2005. UML for SOC Design, G. Martin and W. Müller (eds.) Springer, Dordrecht, The Netherlands, 2005, pp 119-146
Schenk O. ,
Vorst H. v. d. (2005)
Solution of Linear Systems . Handbook of Numerical Analysis:Numerical Methods in Electromagnetics. Elsevier Science
Eugster P. T. ,
Wu J. (2005)
Reliable Computing in Ad Hoc Networks . Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks. CRC Press / Taylor \& Francis
Prevostini M. ,
Balzarini F.,
Kostadinov A.,
Mankan S.,
Martinola A.,
Minosi A. (2004)
UML-based Specifications of an Embedded System Oriented to HW/SW Partitioning . Languages for System Specification. C. Grimm (ed.), Kluwer Academic Publishers, Boston / Dordrecht / London, 2004. Languages for System Specification, C. Grimm (ed.), Kluwer Academic Publishers, Boston / Dordrecht / London, 2004, pp 71-84
Working paper (4)
Albrecht S.,
Vandevelde J. R.,
Vecchi E.,
Berra G.,
Bassetti D.,
Stüttgen M. C.,
Luhmann H. J.,
Horenko I. (2023)
Spiking neural networks provide accurate, efficient and robust models for whisker stimulus classification and allow for inter-individual generalization
Kopanicakova A.,
Kothari H.,
Karniadakis G. E.,
Krause R. (2023)
Enhancing training of physics-informed neural networks using domain-decomposition based preconditioning strategies
Zulian P. ,
Kopanicakova A.,
Nestola M. G. C.,
Fink A.,
Fadel N. A.,
Vandevondele J.,
Krause R. (2021)
Large scale simulation of pressure induced phase-field fracture propagation using Utopia
Kopanicakova A.,
Krause R. (2021)
Multilevel Active-Set Trust-Region (MASTR) Method for Bound Constrained Minimization
Atti di conferenza (42)
Kothari H.,
Dostál Z. (2024)
Nonlinear Schwarz preconditioning for Quasi-Newton methods . Springer, Cham.. Lecture Notes in Computational Science and Engineering. Domain Decomposition Methods in Science and Engineering XXVII
Kothari H.,
Kopanicakova A.,
Krause R. ,
Dostál Z. (2024)
Nonlinear Schwarz preconditioning for nonlinear optimization problems with bound constraints . Domain Decomposition Methods in Science and Engineering XXVII. Domain Decomposition Methods in Science and Engineering XXVII
Goshtasbi A.,
Jamshidiyantehrani M. (2024)
AI-Infused Soft Fluidic Tactile Sensing . IEEE. 2024 IEEE 7th International Conference on Soft Robotics (RoboSoft)
Condor Lacambra J. ,
Jarabo A.,
Ghosh A. a. W. (2022)
A Learned Radiance-Field Representation for Complex Luminaires . The Eurographics Association. EGSR 2022
Zambon D. ,
Grattarola D.,
Livi L.,
Alippi C. (2019)
Autoregressive Models for Sequences of Graphs . IEEE. IEEE International Joint Conference on Neural Networks
Kumar P.,
Yuan Y.,
Yu C.,
Foster N.,
Kleinberg R.,
Lapukhov P.,
Lim C. L.,
Soulé R. (2018)
Semi-Oblivious Traffic Engineering: The Road Not Taken . USENIX. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI)
Jin X.,
Li X.,
Zhang H.,
Foster N.,
Lee J.,
Soulé R. ,
Kim C.,
Stoica I. (2018)
NetChain: Scale-Free Sub-RTT Coordination . USENIX. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI)
Kumar P.,
Yu C.,
Yuan Y.,
Foster N.,
Kleinberg R.,
Soulé R. (2018)
YATES: Rapid Prototyping for Traffic Engineering Systems . ACM. (SOSR). Los Angeles, CA. March 28-29, 2018
Jepsen T.,
Moshref M.,
Carzaniga A. ,
Foster N.,
Soulé R. (2018)
Life in the Fast Lane: A Line-Rate Linear Road . ACM. (SOSR). Los Angeles, CA. March 28-29, 2018
Jepsen T.,
Pacheco de Sousa L.,
Moshref M.,
Pedone F. ,
Soulé R. (2018)
Infinite Resources for Optimistic Concurrency Control . ACM SIGCOMM. Workshop on In-Network Computing (NetCompute)
Cascaval C.,
Foster N.,
Hallahan W.,
Lee J.,
Liu J.,
McKeown N.,
Schlesinger C.,
Sharif M.,
Soulé R. ,
Wang H. (2018)
p4v: Practical Verification for Programmable Data Planes . ACM SIGCOMM. Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM ’18)
Dang H. T.,
Hofmann J.,
Liu Y.,
Radi M.,
Vucinic D.,
Pedone F. ,
Soulé R. (2018)
Consensus for Non-Volatile Main Memory . IEEE. 1st European P4 Workshop (P4EU)
Dang H. T.,
Wang H.,
Jepsen T.,
Brebner G.,
Kim C.,
Rexford J.,
Soulé R. ,
Weatherspoon H. (2017)
Whippersnapper: A P4 Language Benchmark Suite . ACM Sigcomm. Symposium on SDN Research
Wang H.,
Soulé R. ,
Dang H. T.,
Lee K. S.,
Shrivastav V.,
Foster N.,
Weatherspoon H. (2017)
P4FPGA: A Rapid Prototyping Framework for P4 . ACM Sigcomm. Symposium on SDN Research
Rogora D.,
Diwan A.,
Smolka S.,
Carzaniga A. ,
Soulé R. (2017)
Performance Annotations for Cloud Computing . USENIX. 9th USENIX Workshop on Hot Topics in Cloud Computing
Sultana N.,
Galea S.,
Greaves D.,
Wojcik M.,
Shipton J.,
Clegg R.,
Mai L.,
Bressana P. G.,
Soulé R. ,
Mortier R.,
Costa P.,
Pietzuch P.,
Crowcroft J.,
Moore A.,
Zilberman N. (2017)
Emu: Rapid Prototyping of Networking Services . USENIX. USENIX Annual Technical Conference
Jin X.,
Li X.,
Zhang H.,
Soulé R. ,
Lee J.,
Foster N.,
Kim C.,
Stoica I. (2017)
NetCache: Balancing Key-Value Stores with Fast In-Network Caching . ACM. Symposium on Operating Systems Principles (SOSP)
Padilha R.,
Fynn E.,
Soulé R. ,
Pedone F. (2016)
Callinicos: Robust Transactional Storage for Distributed Data Structures . USENIX. USENIX Annual Technical Conference
Sherwany A.,
Zaza N.,
Nystrom N. (2015)
A refactoring library for Scala compiler extensions . Springer. Conference on Compiler Construction '15
Dang H. T.,
Sciascia D.,
Canini M.,
Pedone F. ,
Soulé R. (2015)
NetPaxos: Consensus at Network Speed . ACM Sigcomm. Symposium on SDN Research
Hormann K. ,
Staadt O. (2015)
Eurographics 2015: State of the Art Reports. Part of special issue of Computer Graphics Forum, 34(2) . Eurographics Association. Eurographics 2015. Zürich. May 4–8, 2015
Hormann K. ,
Liu L. (2015)
Solid and Physical Modeling 2014. Special issue of Computer-Aided Design, 58 . Elsevier. SPM 2014. Hong Kong. October 26–28, 2014
Princehouse L.,
Chenchu R.,
Jiang Z.,
Birman K.,
Foster N.,
Soulé R. (2014)
MiCA: A Compositional Architecture for Gossip Protocols. . Springer Link. European Conference Object-Oriented Programming (ECOOP)
Soulé R. ,
Basu S.,
Jalili Marandi P.,
Pedone F. ,
Kleinberg R.,
Gün Sirer E.,
Foster N. (2014)
Merlin: A Language for Provisioning Network Resources . ACM. Conference on Emerging Networking Experiments and Technologies (CoNext)
Azadmanesh M. R.,
Sherwany A.,
Eynard D.,
Vitasek M.,
Hauswirth M. (2014)
Mobile vs. Desktop Programming Projects: The Effect on Students . ACM. PROMOTO '14
Hormann K. ,
McMains S.,
Umlauf G. (2014)
2013 SIAM Conference on Geometric and Physical Modeling. Special issue of Computer-Aided Design, 46 . Elsevier. SIAM Conference on Geometric and Physical Modeling. Denver. November 11–14, 2013
Bronstein M. ,
Favre J. M.,
Hormann K. (2013)
Vision, Modeling and Visualization 2013 . Eurographics Association. VMV 2013. Lugano. September 11–13, 2013
Deng J.,
Hormann K. ,
Kazhdan M. (2012)
Geometric Modeling and Processing 2012 – Part 2. Special issue of Computer Aided Geometric Design, 29(7) . Elsevier. GMP 2012. Huangshan. June 18–24, 2012
Deng J.,
Hormann K. ,
Kazhdan M. (2012)
Geometric Modeling and Processing 2012 – Part 1. Special issue of Graphical Models, 74(4) . Elsevier. GMP 2012. Huangshan. June 18–24, 2012
Derin O.,
Kabakci D.,
Fiorin L. (2011)
Online Task Remapping Strategies for Fault-tolerant Network-on-Chip Multiprocessors . ACM. Fifth ACM/IEEE International Symposium on Networks-on-Chip
Fedyukovich G. ,
Sery O.,
Sharygina N. (2011)
Function Summaries in Software Upgrade Checking . Springer. Haifa, Israel
Amati G.,
Crestani F. (2011)
Advances in Information Retrieval Theory - Third International Conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011. Proceedings . Springer
Juan C.,
Toffetti Carughi G. ,
Abad F.,
Cano J. (2010)
Tangible Cubes Used as the User Interface in an Augmented Reality Game for Edutainment . 10th IEEE International Conference on Advanced Learning Technologies (ICALT). IEEE Computer Society 2010. Sousse, Tuneisa. 5-7 July 2010
Bronstein M. ,
Kokkinos I. (2010)
Scale-invariant heat kernel signatures for non-rigid shape recognition . Proc. Computer Vision and Pattern Recognition (CVPR)
Bronstein M. ,
Bronstein A.,
Michel F.,
Paragios N. (2010)
Data fusion through cross-modality metric learning using similarity-sensitive hashing . Proc. Computer Vision and Pattern Recognition (CVPR)
Mitra N.,
Bronstein A.,
Bronstein M. (2010)
Intrinsic regularity detection in 3D geometry . Proc. European Conf. Computer Vision (ECCV)
Baluda M.,
Braione P.,
Denaro G.,
Pezzè M. (2010)
Structural coverage of feasible code . ACM
Denaro G.,
Gorla A.,
Pezzè M. (2009)
DaTeC: Contextual Data Flow Testing of Java Classes . IEEE Computer Society
Pautasso C. ,
Zimmermann O.,
Leymann F. (2008)
RESTful Web Services vs. Big Web Services: Making the Right Architectural Decision . Proc. of the 17th International World Wide Web Conference (WWW2008), Bejing, China, April 2008.
Braione P.,
Denaro G.,
Krena B.,
Pezzè M. (2008)
Verifying LTL Properties of Bytecode with Symbolic Execution . Elsevier
Denaro G.,
Pezzè M. ,
Shehory O. (2007)
SOQUA '2007: Proceedings of the 4th international workshop on software quality assurance . ACM. New York, NY, USA
Pezzè M. ,
Pollock L. (2006)
ISSTA '06: Proceedings of the 2006 International Symposium on Software Testing and Analysis . ACM. New York, NY, USA
Contributo in atti di convegno (607)
Cosentino A. (in uscita)
Applying the LOT Methodology to Enhance the Cinematic Heritage Archives . 16th International Conference on Knowledge Engineering and Ontology Development (KEOD 2024). Porto, Portugal.. 17-19 November 2024.
André M.,
Raglianti M. (.,
Serbout S.,
Cleve A.,
Lanza M. (2026)
PoolinGH. Fast, efficient, and robust GitHub repository mining . ACM International Conference on Mining Software Repositories (MSR 2026). MSR 2026. Rio de Janeiro, Brazil. 13-14 Apr 2026
Zanardi I.,
Dedò S. (2026)
The AI gaze we choose. Speculative metaphors by queer youth . ACM Conference on Human Factors in Computing Systems (CHI). CHI EA '26: Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. Barcelona , Spain. April 2026
Chakrabarti H.,
Tobia D. M.,
Allen G.,
Pera M. S. (2026)
It is relevant, but is it useful? . ACM Conference on User Modeling, Adaptation and Personalization (UMAP '26). UMAP '26: 34th ACM Conference on User Modeling, Adaptation and Personalization. Gothenburg , Sweden. June 2026
Tobia D. M.,
Chakrabarti H.,
Pera M. S. (2026)
Using anti-personas to model children. How to represent user-system mismatches . ACM Conference on User Modeling, Adaptation and Personalization (UMAP '26). UMAP '26: 34th ACM Conference on User Modeling, Adaptation and Personalization. Gothenburg , Sweden. June 2026
Lechekhab M.,
Pasadakis D. ,
Schenk O. (2025)
Multilevel Diffusion Based Spectral Graph Clustering . 28th Annual IEEE High Performance Extreme Computing Virtual Conference. IEEE. 28th Annual IEEE High Performance Extreme Computing Virtual Conference. Wakefield, MA, USA. September 23-27, 2024
Maillou V.,
Gaedke-Merzhäuser L.,
Schenk O. ,
Ziogas A. N.,
Luisier M. (2025)
Parallel Selected Inversion of Block-tridiagonal with Arrowhead Matrices . IEEE Cluster 2025. IEEE. IEEE. IEEE International Conference on Cluster Computing. Edinburgh, United Kingdom.. September 2nd-5th, 2025
Gaedke-Merzhäuser L.,
Maillou V.,
Avellaneda F. R.,
Schenk O. ,
Luisier M.,
Moraga P.,
Ziogas A. N.,
Rue H. (2025)
Accelerated Spatio-Temporal Bayesian Modeling for Multivariate Gaussian Processes . The International Conference for High Performance Computing, Networking, Storage, and Analysis. ACM/IEEE. The International Conference for High Performance Computing, Networking, Storage, and Analysis. St. Louis, MO. 16–21 Nov 2025
Niu X.,
Meyer G.,
Pasadakis D. ,
Yzelman A. J.,
Schenk O. (2025)
Incremental Sparse Tensor Format for Maximizing Efficiency in Tensor-Vector Multiplications . 2025 IEEE International Conference on Cluster Computing Workshops (CLUSTER Workshops). IEEE. IEEE Cluster 2025. Edinburgh, United Kingdom. September 2nd-5th, 2025
Maillou V.,
Gaedke-Merzhaeuser L.,
Ziogas A. N.,
Schenk O. ,
Luisier M. (2025)
Serinv: A Scalable Library for the Selected Inversion of Block-Tridiagonal with Arrowhead Matrices . IEEE International Conference on Cluster Computing. IEEE International Conference on Cluster Computing. Edinburgh, United Kingdom. September 2nd-5th, 2025.
André M.,
Raglianti M. ,
Cleve A.,
Lanza M. (2025)
Understanding data access in microservices applications using interactive treemaps . 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC)
Armenti C. ,
Lanza M. (2025)
Telling software evolution stories with sonification . 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC)
Giannaccari M. ,
Raglianti M. ,
Lanza M. (2025)
Code refactoring in virtual reality . Proceedings of IDE 2025
Romeo J.,
Raglianti M. ,
Nagy C.,
Lanza M. (2025)
UML is back. Or is it?. Investigating the past, present, and future of UML in open source software . ICSE 2025 47th International Conference on Software Engineering, p. 2342-2354
André M.,
Raglianti M. ,
Cleve A.,
Lanza M. (2025)
Visualizing and exploring data access in microservices using interactive treemaps . IEEE Working Conference on Software Visualization (VISSOFT)
De Rycke M.,
André M.,
Raglianti M. ,
Cleve A.,
Lanza M. (2025)
Visualizing data access traces in microservices using animated heat treemaps . IEEE Working Conference on Software Visualization (VISSOFT)
André M.,
Raglianti M. ,
Cleve A.,
Lanza M. (2025)
DENIM. Exploring data access in microservices . IEEE International Conference on Software Maintenance and Evolution (ICSME)
Pilone A.,
Raglianti M. ,
Lanza M. ,
Kon F.,
Meirelles P. (2025)
Automatically augmenting GitHub issues with informative user reviews . IEEE International Conference on Software Maintenance and Evolution (ICSME)
Giannaccari M. ,
Raglianti M. ,
Lanza M. (2025)
Skylines. Visualizing object-oriented software systems through class contours . IEEE Working Conference on Software Visualization (VISSOFT)
Graf J. P. R. ,
Demianiuk V.,
Chuprikov P.,
Feiran Y.,
Nikolenko S. I.,
Eugster P. T. (2025)
CGFE: Efficient Range Encoding for TCAMs . IEEE INFOCOM 2025. IEEE INFOCOM 2025 - IEEE Conference on Computer Communications. London, United Kingdom. 2025
Folini D.,
Friedl A.,
Kübler F.,
"Scheidegger S.,
Schenk O. (2025)
Build your own! From tailored box-model climate emulators to pattern scaling . EGU25-10007. European Geosciences Union General Assembly 2025 (EGU25). Vienna, Austria. 27 April-2 May, 2025
Pagano F.,
Ceccato M.,
Merlo A.,
Tonella P. (2025)
MITHRAS : a dynamic analysis framework for the mobile-IoT ecosystem . ACM International Conference on the Foundations of Software Engineering (FSE Companion). FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering. Clarion Hotel Trondheim Trondheim Norway. June 23-27, 2025
Tehrani M. J.,
Kim J. ,
Tonella P. (2025)
PCLA : a framework for testing autonomous agents in the CARLA simulator . ACM International Conference on the Foundations of Software Engineering (FSE Companion). FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering. Clarion Hotel Trondheim Trondheim Norway. June 23-27, 2025
Bauer A.,
Bacchelli A. (2025)
Large language models for in-file vulnerability localization can be “Lost in the End” . ACM on Software Engineering. ACM International Conference on the Foundations of Software Engineering (FSE). Trondheim, Norway. Mon 23 - Fri 27 June 2025
Rim H.,
Schenk O. ,
Kardoš J.,
for Computing Machinery A. (2025)
Forecasting Renewable Energy at European Markets . 13th DACH+ Conference on Energy Informatics. ACM SIGEnergy Energy Informatics Review. 13th DACH+ Conference on Energy Informatics. Lugano, Switzerland. October 9-11, 2024
Guedes L. S.,
Zanardi I.,
Span S. (2025)
EmpowerBox. Multisensory box for storytelling with people with intellectual disabilities . Lecture Notes in Computer Science
Zanardi I.,
Dedò S.,
Landoni M. (2025)
On the good-enough effect. Children reflect on their AI-generated portraits . Interaction Design and Children (IDC). IDC '25: Interaction Design and Children. Reykjavik Iceland. June 2025
Tobia D. M.,
Dedò S.,
Zanardi I. (2025)
Smoke in the water. Raising awareness on noise pollution through interactive art . Companion Publication of the 2025 ACM Designing Interactive Systems Conference. DIS '25: Designing Interactive Systems Conference. Funchal Portugal. June 2025
Schmidt J.,
Pasadakis D. ,
Sathe M.,
Schenk O. ,
IEEE (2024)
GAMLNet: a graph based framework for the detection of money laundering . IEEE SDS24. IEEE. IEEE Swiss Conference on Data Science (SDS). The Circle Convention Center, Zurich Airport. May 30 – 31, 2024
De Felice G.,
Cini A. ,
Zambon D. ,
Gusev V.,
Alippi C. (2024)
Graph-Based Virtual Sensing from Sparse and Partial Multivariate Observations . The Twelfth International Conference on Learning Representations
Gravina A.,
Zambon D. ,
Bacciu D.,
Alippi C. (2024)
Temporal Graph ODEs for Irregularly-Sampled Time Series . Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization
Crupi L.,
Butera L. ,
Ferrante A. ,
Palossi D. (2024)
A Deep Learning-based Pest Insect Monitoring System for Ultra-low Power Pocket-sized Drones . Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT). Wireless Sensors and Drones in the Internet of Things (Wi-DroIT) 2024. Abu Dhabi, United Arab Emirates. April 29 - May 1
Ghidini V.,
Multerer M. ,
Quizi J. ,
Sen R. (2024)
Observation-specific explanations through scattered data approximation . Second World Conference on Explainable Artificial Intelligence. Second World Conference, xAI 2024. Valetta, Malta. July 17-19, 2024
Pernigo L.,
Sen R.,
Baroli D. (2024)
Probabilistic energy forecasting through quantile regression in reproducing kernel Hilbert spaces . Energy Informatics Review. 13th DACH+ Conference on Energy Informatics. Lugano, Switzerland. October 9-11, 2024
Bl\"ocher M. (2024)
Train Once Apply Anywhere: Effective Scheduling for Network Functi . IEEE INFOCOM 2024 - IEEE Conference on Computer Communications, Vancouver, BC, Canada, May 20-23, 2024. IEEE
Graf J. P. R. ,
Chuprikov P.,
Eugster P. T. (2024)
FARM: Comprehensive Data Center Network Monitoring and Management . 2024 IEEE 44th IEEE International Conference on Distributed Computing Systems. IEEE. 2024 IEEE 44th International Conference on Distributed Computing Systems (ICDCS). Jersey City, NJ, USA. July 23-26 2024
Makri V. I.,
Pasadakis D. (2024)
The Clustering of Source Rocks: A Spectral Approach . International conference on Mediterranean Geosciences Union. Springer, Cham. MedGU 2022. Marrakesh, Morocco. 27 - 30 November
Ramanantoanina A.,
Hormann K. (2024)
Trigonometric tangent interpolating curves . Pacific Graphics Conference Papers and Posters. Eurographics Association. Huangshan, China
Gotsman C.,
Hormann K. (2024)
A linear method to consistently orient normals of a 3D point cloud . SIGGRAPH 2024 Conference Proceedings. ACM. Denver, USA
Sharygina N. ,
Britikov K. ,
Zlatkin I.,
Fedyukovich G. ,
Alt L. (2024)
SolTG: A CHC-Based Solidity Test Case Generator . CAV. Montreal, QC, Canada. July 24-27, 2024
Sharygina N. ,
Britikov K. ,
Blicha M.,
Fedyukovich G. (2024)
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction . FM 2024. Milan, Italy. September 9-13, 2024
Campanella S.,
Lanza M. (2024)
Hidden in the code. Visualizing true developer identities . Proceedings of VISSOFT 2024
Cherry B.,
Nagy C.,
Lanza M. ,
Cleve A. (2024)
SMEAGOL. A static code smell detector for MongoDB . 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
Hoff A.,
Lungu M.,
Seidl C.,
Lanza M. (2024)
Collaborative software exploration with multimedia note taking in virtual reality . Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension (ICPC '24)
Romeo J.,
Raglianti M. ,
Nagy C.,
Lanza M. (2024)
Capturing and understanding the drift between design, implementation, and documentation . Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension (ICPC '24)
Hoff A.,
Lungu M.,
Seidl C.,
Lanza M. (2024)
Immersive software archaeology. Collaborative exploration and note taking in virtual reality . Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension (ICPC '24)
Hoff A.,
Seidl C.,
Lanza M. (2024)
Immersive software archaeology. Exploring software architecture and design in virtual reality . 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
Giannaccari M. ,
Raglianti M. ,
Lanza M. (2024)
Manipulating VR-native user interfaces for software visualization customization . Proceedings of VISSOFT 2024, p. 111-115
Armenti C. ,
Lanza M. (2024)
Using interactive animations to analyze fine-grained software evolution . Proceedings of VISSOFT 2024
Armenti C. ,
Lanza M. (2024)
Using animations to understand commits . Proceedings of ICSME 2024
Cherry B.,
Bernard J.,
Kintziger T.,
Nagy C.,
Cleve A.,
Lanza M. (2024)
A multivocal mapping study of mongoDB smells . 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
Pasqua M.,
Ceccato M.,
Tonella P. (2024)
Hypertesting of programs : theoretical foundation and automated test generation . IEEE/ACM 46th International Conference on Software Engineering (ICSE). ICSE '24: IEEE/ACM 46th International Conference on Software Engineering. Lisbon Portugal. April 14-24, 2024
MazraehKhatiri S. ,
Panichella S.,
Tonella P. (2024)
Simulation-based testing of unmanned aerial vehicles with AERIALIST . IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE Companion). ICSE-Companion '24: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings. Lisbon Portugal. April 14-20, 2024
Valguarnera S. (2024)
Exploring the use of an interactive storytelling toy to engage Ukranian child refugees in learning Italian . ACM Interaction Design and Children Conference (IDC). IDC'24. Delft. June 2024
Kothari H.,
Kopanicakova A.,
Krause R. ,
Susanne C. Brenner E. T. S. C. (2023)
A Multigrid Preconditioner for Jacobian-free Newton-Krylov Methods . Domain Decomposition Methods in Science and Engineering XXVI. Springer. 26th Domain Decomposition Conference. Hong Kong, China. December 2020
Jami J.,
Kardoš J.,
Schenk O. ,
Koestler H. (2023)
AI Driven Near Real-time Locational Marginal Pricing Method: A Feasibility and Robustness Study . ISGT 2023. Innovative Smart Grid Technologies Conference. Université Grenoble Alpes, France. October 23rd-26th, 2023
Pasadakis D. ,
Schenk O. ,
Vlacic V.,
Yzelman A. J. (2023)
Nonlinear Spectral Clustering with C++ GraphBLAS . IEEE HPEC 2023. IEEE. 27th Annual IEEE High Performance Extreme Computing Conference. Virtual. 25 - 29 September 2023
Makri V.,
Pasadakis D. ,
Pasadakis N. (2023)
A Novel Chemometric Approach for Oil & Source Rock Clustering . European Association of Geoscientists & Engineers. IMOG. Montpellier, France. 10–15 September 2023
Cini A. ,
Marisca I. ,
Zambon D. ,
Alippi C. (2023)
Taming Local Effects in Graph-based Spatiotemporal Forecasting . Advances in Neural Information Processing Systems. Curran Associates, Inc.
Cosentino A. (2023)
Ontofest: An Ontology to Integrate and Retrieve Data from the Locarno Film Festival Archives . 20th Italian Research Conference on Digital Libraries (IRCDL 2024). Brixen, Italy.. 22-23 February 2024
Miotti P.,
Filippi-Mazzola E.,
Wit E. C.,
Pivkin I. (2023)
Estimating Parameters of 3D Cell Model Using a Bayesian Recursive Global Optimizer (BaRGO) . International Conference on Computational Science
Eugster P. T. (2023)
Secure distributed data and event processing at scale: where are . Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, DEBS 2023, Neuchatel, Switzerland, June 27-30, 2023. ACM
Sharygina N. ,
Blicha M.,
Britikov K. (2023)
The Golem Horn Solver . CAV 2023. Paris, France. July 17-22, 2023
Sharygina N. ,
Otoni R. B.,
Blicha M.,
Eugster P. T. (2023)
CHC Model Validation with Proof Guarantees . IFM 2023. Leiden, The Netherlands. November 13-15, 2023
Sharygina N. ,
Otoni R. B.,
Konnov I.,
Kukovec J.,
Eugster P. T. (2023)
Symbolic Model Checking for TLA+ Made Faster . TACAS 2023. Paris, France. April 22-27, 2023
Sharygina N. ,
Britikov K. ,
Hyvärinen A. (2023)
Picky CDCL: SMT-Solving with Flexible Literal Selection . VSTTE 2023. Ames, IA, USA. December 12-15, 2023
Riggio E. ,
Raglianti M. ,
Lanza M. (2023)
Conversation disentanglement as-a-service . IEEE/ACM 31st International Conference on Program Comprehension (ICPC), 15-16 May 2023
Valguarnera S.,
Sylla C. (2023)
The IDC research and design challenge throughout the years. Achievements, reflections and next steps . IDC '23: Proceedings of the 22nd Annual ACM Interaction Design and Children Conference
Valguarnera S. (2023)
Design with and for children. The challenge of inclusivity . Universal Access in Human-Computer Interaction. HCII 2023
Soares Guedes L.,
Zanardi I. ,
Span S.,
Landoni M. (2023)
Multisensory diorama. Enhancing accessibility and engagement in museums . Human-Computer Interaction – INTERACT 2023. Lecture Notes in Computer Science
Szlavi A.,
Soares Guedes L. (2023)
Gender inclusive design in technology. Case studies and guidelines . Design, User Experience, and Usability. HCII 2023.
Basso M.,
Rosà A. ,
Omini L.,
Binder W. (2023)
Java Vector API. Benchmarking and performance analysis . CC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction
Occhipinti G.,
Nagy C.,
Minelli R. ,
Lanza M. (2023)
SYN. Ultra-scale software evolution comprehension . 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC)
Moreira da Rosa D.,
Silveira M.,
Soares Guedes L. (2023)
Patterns of reading assistance for software users with varying reading skills . EuroPLoP '23: Proceedings of the 28th European Conference on Pattern Languages of Programs
Hoff A.,
Seidl C.,
Lungu M.,
Lanza M. (2023)
Preparing software re-engineering via freehand sketches in virtual reality . 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)
Soares Guedes L.,
Zanardi I. ,
Mastrogiuseppe M.,
Span S. (2023)
“Is this real?”. Assessing the usability and accessibility of augmented reality with people with intellectual disabilities . Universal Access in Human-Computer Interaction. HCII 2023.
Soares Guedes L.,
Zanardi I. ,
Mastrogiuseppe M.,
Span S. (2023)
Co-designing a museum application with people with intellectual disabilities. Findings and accessible redesign . ECCE '23: Proceedings of the European Conference on Cognitive Ergonomics 2023
Moreira da Rosa D.,
Soares Guedes L.,
Silveira M. (2023)
Human languages in HCI. Beyond user interface localization . HCI International 2023 – Late Breaking Papers. HCII 2023. Lecture Notes in Computer Science
Moreno-Lumbreras D.,
González-Barahona J. M.,
Lanza M. (2023)
Understanding the NPM dependencies ecosystem of a project using virtual reality . 2023 IEEE Working Conference on Software Visualization (VISSOFT)
Hoff A.,
Seidl C.,
Lanza M. (2023)
Uniquifying architecture visualization through variable 3D model generation . Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS '23)
Orrei V.,
Raglianti M. ,
Nagy C.,
Lanza M. (2023)
Contribution-based firing of developers? . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
Chiodini L. ,
Sorva J.,
Hauswirth M. (2023)
Teaching programming with graphics. Pitfalls and a solution . ACM SIGPLAN International Symposium on SPLASH-E. SPLASH-E '23: 2023 ACM SIGPLAN International Symposium on SPLASH-E. Cascais Portugal. Ottobre 19, 2023
Basso M.,
Schiavio F. ,
Rosà A. ,
Binder W. (2022)
Optimizing Parallel Java Streams . ICECCS. Hiroshima, Japan. 26-30 March 2022
Rosales Rosero E. E.,
Rosà A. ,
Basso M.,
Villazon Torrico A.,
Orellana A.,
Zenteno A.,
Rivero J.,
Binder W. (2022)
Characterizing Java Streams in the Wild . ICECCS. Hiroshima, Japan. 26-30 March 2022
Basso M.,
Rosales Rosero E. E.,
Schiavio F. ,
Rosà A. ,
Binder W. (2022)
Accurate Fork-Join Profiling on the Java Virtual Machine . EuroPar. Glasgow, United Kingdom. 22-26 August 2022
Schiavio F. ,
Rosà A. ,
Binder W. (2022)
SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API . GPCE. Auckland, New Zealand. December 2022
Munari M.,
Pasa L.,
Zambon D. ,
Alippi C. ,
Navarin N. (2022)
Understanding Catastrophic Forgetting of Gated Linear Networks in Continual Learning . 2022 International Joint Conference on Neural Networks (IJCNN)
Bacciu D.,
Errica F.,
Navarin N.,
Pasa L.,
Zambon D. (2022)
Deep Learning for Graphs . 30th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2022
Gotsman C.,
Hormann K. (2022)
Compressing geodesic information for fast point-to-point geodesic distance queries . SIGGRAPH Asia 2022 Conference Proceedings. ACM. Daegu, Republic of Korea
Sharygina N. ,
Blicha M.,
Fedyukovich G. ,
Hyvärinen A. (2022)
Split Transition Power Abstraction for Unbounded Safety . FMCAD 2022. Trento, Italy. October 17-21, 2022
Sharygina N. ,
Blicha M.,
Fedyukovich G. ,
Hyvärinen A. (2022)
Transition Power Abstractions for Deep Counterexample Detection . TACAS 2022. Munich, Germany. April 2-7, 2022
Sharygina N. (2022)
SolCMC: Solidity Compiler's Model Checker . CAV 2022. Haifa, Israel. August 7-10, 2022
Valguarnera S.,
Sylla C. (2022)
Magic and reality. What children’s drawings tell us about their perception of technology . IDC '22: Proceedings of the 21st Annual ACM Interaction Design and Children Conference
Raglianti M. ,
Nagy C.,
Minelli R. ,
Lanza M. (2022)
Using Discord conversations as program comprehension aid . 2022 IEEE/ACM 30th International Conference on Program Comprehension (ICPC)
Agouf N. J.,
Ducasse S.,
Etien A.,
Lanza M. (2022)
A new generation of CLASS BLUEPRINT . 2022 Working Conference on Software Visualization (VISSOFT)
Lungu M.,
Pfeiffer R. H.,
D'Ambros M. ,
Lanza M. ,
Findahl J. (2022)
Can git repository visualization support educators in assessing group projects? . 2022 Working Conference on Software Visualization (VISSOFT)
Valguarnera S. (2022)
"This book is magical!". Exploring emergent readers’ preferences and wishes for storytelling tools . NordiCHI '22: Nordic Human-Computer Interaction Conference
Soares Guedes L.,
Ferrari V.,
Mastrogiuseppe M.,
Span S. (2022)
ACCESS+. Designing a museum application for people with intellectual disabilities . Computers Helping People with Special Needs. ICCHP-AAATE 2022.
Soares Guedes L.,
Gibson R. C.,
Ellis K.,
Sitbon L. (2022)
Designing with and for people with intellectual disabilities . ASSETS '22: Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility
Valguarnera S. (2022)
ROBIN. Designing a ROBot for Interactive Narratives to engage preschool children . FabLearn Europe / MakeEd 2022: 6th FabLearn Europe / MakeEd Conference 2022
MacInnis M.,
Baysal O.,
Lanza M. (2022)
Terminals all the way down . Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results
Raglianti M. ,
Nagy C.,
Minelli R. ,
Lanza M. (2022)
DiscOrDance. Visualizing software developers communities on Discord . 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME)
Mastrogiuseppe M.,
Soares Guedes L.,
Span S.,
Bortolotti E. (2022)
Technology use and familiarity as an indicator of its adoption in museum by people with intellectual disabilities . Transforming our World through Universal Design for Human Development - Proceedings of the Sixth International Conference on Universal Design
Chiodini L. ,
Moreno Santos I.,
Hauswirth M. (2022)
Expressions in Java. Essential, prevalent, neglected? . ACM SIGPLAN International Symposium on SPLASH-E. SPLASH-E '22: 2022 ACM SIGPLAN International Symposium on SPLASH-E. Auckland New Zealand. December 1, 2022
Sharygina N. ,
Otoni R. B.,
Blicha M.,
Eugster P. T. ,
Hyvärinen A. (2021)
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions . 58th DAC 2021. San Francisco, CA, USA. December 5-9, 2021
Gaedke-Merzhäuser L. ,
Kopanicakova A.,
Krause R. (2021)
Multilevel Minimization for Deep Residual Networks . FSG'19. ICML. FSG
Kothari H.,
Krause R. (2021)
Multigrid and saddle-point preconditioners for unfitted finite element modelling of inclusions . 14th WCCM-ECCOMAS Congress 2020. WCCM-ECCOMAS2020. virtual congress. January, 11-15, 2021
Sun H.,
Rosà A. ,
Bonetta D.,
Binder W. (2021)
Automatically Assessing and Extending Code Coverage for NPM Packages . AST. Madrid, Spain. May 2021
Villazon Torrico A.,
Sun H.,
Rosà A. ,
Rosales Rosero E. E.,
Bonetta D.,
Defilippis I.,
Oporto S.,
Binder W. (2021)
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild . SE. Braunschweig, Germany. February 2021
Holt T. A. B.,
Kardoš J.,
Fazio V.,
Fazio L.,
Spazzini F.,
Schenk O. (2021)
High-Performance Data Analytics Techniques for Power Markets Simulation . SEST 2021. International Conference on Smart Energy Systems and Technologies 2021. Vaasa, Finland. September 6-8, 2021
Paassen B.,
Grattarola D.,
Zambon D. ,
Alippi C. ,
Hammer B. E. (2021)
Graph Edit Networks . International Conference on Learning Representations (ICLR). International conference on learning representations (ICLR). Virtual. 3-7 May
Hormann K. ,
Kania L.,
Yap C. (2021)
Novel range functions via Taylor expansions and recursive Lagrange interpolation with application to real root isolation . Proceedings of the 2021 ACM International Symposium on Symbolic and Algebraic Computation. ACM. Saint Petersburg, Russia
Sharygina N. ,
Hyvärinen A.,
Marescotti M. (2021)
Lookahead in Partitioning SMT . 21st FMCAD 2021. New Haven, CT, USA. October 19-22, 2021
Soares Guedes L. (2021)
Meeting participants with intellectual disabilities during COVID-19 pandemic. Challenges and improvisation . ASSETS '21: Proceedings of the 23rd International ACM SIGACCESS Conference on Computers and Accessibility
Cason D.,
Fynn E.,
Milosevic N.,
Milosevic Z.,
Buchman E.,
Pedone F. (2021)
The design, architecture and performance of the Tendermint Blockchain Network . 40th International Symposium on Reliable Distributed Systems (SRDS)
Antonucci A. ,
Mangili F.,
Bonesana C.,
Adorni G. (2021)
Intelligent tutoring systems by Bayesian nets with noisy gates . Proceedings of FLAIRS-35
Wen F.,
Ferrari V.,
Aghajani E.,
Nagy C.,
Lanza M. ,
Bavota G. (2021)
FeaRS. Recommending complete Android method implementations . 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME)
Willi P.,
Soares Guedes L. (2021)
A study into accessibility and usability of automated teller machines for inclusiveness . HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture. HCII 2021.
Fiechter A.,
Minelli R. ,
Nagy C.,
Lanza M. (2021)
Visualizing GitHub issues . 2021 Working Conference on Software Visualization (VISSOFT)
Le L. H.,
Eslahi-Kelorazi M.,
da Silva Leite Coelho P. R.,
Pedone F. (2021)
RamCast. RDMA-based atomic multicast . Middleware '21: Proceedings of the 22nd International Middleware Conference
Valguarnera S. (2021)
EPPics. Enhanced Personalised Picture stories . IDC '21: Proceedings of the 20th Annual ACM Interaction Design and Children Conference
Mastrogiuseppe M.,
Soares Guedes L.,
Span S.,
Clementi P. (2021)
Reconceptualizing inclusion in museum spaces. A multidisciplinary framework . ICERI2021 proceedings. 14th annual International Conference of Education, Research and Innovation
Raglianti M. (2021)
Topology of the documentation landscape . Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings (ICSE '22)
Ardigò S. ,
Nagy C.,
Minelli R. ,
Lanza M. (2021)
Visualizing data in software cities . 2021 Working Conference on Software Visualization (VISSOFT)
Antonucci A. ,
Mangili F.,
Bonesana C.,
Adorni G. (2021)
A new score for adaptive tests in Bayesian and credal networks . Symbolic and quantitative approaches to reasoning with uncertainty. ECSQARU 2021. Lecture Notes in Computer Science
Kashiwa Y.,
Shimizu K.,
Lin B.,
Bavota G. ,
Lanza M. ,
Kamei Y.,
Ubayashi N. (2021)
Does refactoring break tests and to what extent? . 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), Luxembourg, 2021
Raglianti M. ,
Minelli R. ,
Nagy C.,
Lanza M. (2021)
Visualizing Discord servers . 2021 Working Conference on Software Visualization (VISSOFT)
Atwi H. ,
Lin B.,
Tsantalis N.,
Kashiwa Y.,
Kamei Y.,
Ubayashi N.,
Bavota G. ,
Lanza M. (2021)
PYREF. Refactoring detection in Python projects . 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), Luxembourg, 2021
Valguarnera S. (2021)
Designing collective teacher-children personas in preschool. A methodological approach . Proceedings of the 20th Annual ACM Interaction Design and Children Conference (IDC '21)
Chiodini L. ,
Moreno Santos I.,
Gallidabino A.,
Tafliovich A.,
Santos A. L.,
Hauswirth M. (2021)
A curated inventory of programming language misconceptions . ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE). ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education. Virtual Event Germany. June 26–July 1, 2021
Chiodini L. ,
Hauswirth M. (2021)
Wrong answers for wrong reasons. The risks of ad hoc instruments . Koli Calling International Conference on Computing Education Research. Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research. Joensuu Finland. November 18, 2021
HASSANJANIKHOSHKROUD N.,
Nestola M. G. C.,
Zulian P. ,
von Planta C.,
Vogler D.,
Köstler H.,
Krause R. (2020)
Thermo-Fluid-Structure Interaction Based on the Fictitious Domain Method: Application to Dry Rock Simulation . Proceedings,45rd Workshop on Geothermal Reservoir Engineering Stanford University. 45rd Workshop on Geothermal Reservoir Engineering. Stanford University. 10-12 February
Rosales Rosero E. E.,
Rosà A. ,
Binder W. (2020)
FJProf: Profiling Fork/Join Applications on the Java Virtual Machine . VALUETOOLS. Tsukuba, Japan. May 2020
Rosales Rosero E. E.,
Rosà A. ,
Binder W. (2020)
Profiling Streams on the Java Virtual Machine . MoreVMs. Porto, Portugal. March 2020
Prokopec A.,
Rosà A. ,
Leopoldseder D.,
Duboscq G.,
Tuma P.,
Studener M.,
Bulej L.,
Zheng Y.,
Villazon Torrico A.,
Simon D.,
Würthinger T.,
Binder W. (2020)
Renaissance: Benchmarking Suite for Parallel Applications on the JVM . SE. Innsbruck, Austria. February 2020
Rosales Rosero E. E.,
Rosà A. ,
Binder W. (2020)
Analysis and Optimization of Task Granularity on the Java Virtual Machine . SE. Innsbruck, Austria. May 2020
Rosà A. ,
Binder W. (2020)
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine . APLAS. Fukuoka, Japan. November 2020
Bilgen C.,
Kopanicakova A.,
Krause R. ,
Kerstin W. (2020)
A phase-field approach to pneumatic fracture. . PAMM. Proc. Appl. Math. Mech
Braglia V.,
Kopanicakova A.,
Krause R. (2020)
A Multilevel Approach to Training . ICML 2020 Workshop: Beyond First Order Methods in Machine Learning. ICML. Viena. July, 2020
Zambon D. ,
Alippi C. ,
Livi L. (2020)
Graph Random Neural Features for Distance-Preserving Graph Representations . Proceedings of the 37th International Conference on Machine Learning (ICML). PMLR. Proceedings of Machine Learning Research. Virtual
Eugster P. T. ,
Bl\"ocher M. (2020)
Letting off STEAM: Distributed Runtime Traffic Scheduling for Servi . 39th IEEE Conference on Computer Communications, INFOCOM 2020, Toronto, ON, Canada, July 6-9, 2020. IEEE
Eugster P. T. ,
Sang B. (2020)
PLASMA: programmable elasticity for stateful cloud computing applications . EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020. ACM
Eugster P. T. ,
Taheri P. (2020)
RoCC: robust congestion control for RDMA . CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, Barcelona, Spain, December, 2020. ACM
Sharygina N. ,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G. (2020)
Incremental Verification by SMT-based Summary Repair . 20th FMCAD 2020. Haifa, Israel. September 21-24, 2020
Sharygina N. ,
Marescotti M.,
Otoni R. B.,
Alt L.,
Eugster P. T. ,
Hyvärinen A. (2020)
Accurate Smart Contract Verification Through Direct Modelling . 9th International Symposium on Leveraging Applications of Formal Methods Part III. ISoLA 2020. Rhodes, Greece. October 20-30, 2020
Sharygina N. ,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G. (2020)
Farkas-Based Tree Interpolation . 27th SAS 2020. Virtual Event. November 18-20, 2020
Sharygina N. ,
Blicha M.,
Hyvärinen A.,
Marescotti M. (2020)
A Cooperative Parallelization Approach for Property-Directed k-Induction . 21th VMCAI 2020. New Orleans, LA, USA. January 16-21, 2020
Soares Guedes L. (2020)
How are we teaching and dealing with accessibility?. A survey from Switzerland . DSAI '20: Proceedings of the 9th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion
Soares Guedes L.,
Marques L. A.,
Vitório G. (2020)
Enhancing interaction and accessibility in museums and exhibitions with augmented reality and screen readers . Computers Helping People with Special Needs. ICCHP 2020.
Valguarnera S.,
Soares Guedes L. (2020)
Two in a Pod. Promoting sustainability and healthy eating in children through smart gardening . Proceedings of the 2020 ACM Interaction Design and Children Conference (IDC '20)
Schiavio F. ,
Bonetta D.,
Binder W. (2020)
Towards dynamic SQL compilation in Apache Spark . Companion Proceedings of the 4th International Conference on the Art, Science, and Engineering of Programming ( Companion), March 23–26, 2020, Porto, Portugal
Eslahi-Kelorazi M.,
Le L. H.,
Pedone F. (2020)
Developing complex data structures over partitioned state machine replication . 16th European Dependable Computing Conference (EDCC), Munich, Germany, 2020
Soares Guedes L.,
Marques L. A.,
Vitório G. (2020)
Enhancing interaction and accessibility in museums and exhibitions with augmented reality and screen readers . Computers Helping People with Special Needs. ICCHP 2020.
Soares Guedes L.,
Marques L. A.,
Vitório G. (2020)
Enhancing interaction and accessibility in museums and exhibitions with augmented reality and screen readers . Computers Helping People with Special Needs. ICCHP 2020.
Pilato C.,
Basu K.,
Shayan M.,
Regazzoni F. ,
Karri R. (2019)
High-Level Synthesis of Benevolent Trojans . Proceedings of the IEEE Design, Automation and Test in Europe Conference (DATE)
Wahab M. A.,
Milosevic J.,
Regazzoni F. ,
Ferrante A. (2019)
Power and Performance Optimized Hardware Classifiers for Eefficient Oon-device Malware Detection . Cryptography and Security in Computing Systems. ACM. Valencia, Spain
Mantegazza D.,
Guzzi J.,
Gambardella L. M. ,
Giusti A. (2019)
Vision-based Control of a Quadrotor in User Proximity: Mediated vs End-to-End Learning Approaches . ICRA. ICRA. Montreal, Canada. March 2019
Villazon Torrico A.,
Sun H.,
Rosà A. ,
Rosales Rosero E. E.,
Bonetta D.,
Defilippis I.,
Oporto S.,
Binder W. (2019)
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild . ECOOP. London, United Kingdom. 2019
Prokopec A.,
Rosà A. ,
Leopoldseder D.,
Duboscq G.,
Tuma P.,
Studener M.,
Bulej L.,
Zheng Y.,
Villazon Torrico A.,
Simon D.,
Würthinger T.,
Binder W. (2019)
Renaissance: Benchmarking Suite for Parallel Applications on the JVM . PLDI. Phoenix, AZ, USA. 2019
Schiavio F. ,
Sun H.,
Bonetta D.,
Rosà A. ,
Binder W. (2019)
NodeMOP: Runtime Verification for Node.js Applications . SAC. Limassol, Cyprus. 2019
Rosales Rosero E. E.,
Rosà A. ,
Binder W. (2019)
Optimization Coaching for Fork/Join Applications on the Java Virtual Machine . MoreVMs. Genova, Italy. 2019
Villazon Torrico A.,
Sun H.,
Rosà A. ,
Rosales Rosero E. E.,
Bonetta D.,
Defilippis I.,
Oporto S.,
Binder W. (2019)
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories . SPLASH. SPLASH. Athens, Greece. 20.08.19
Prokopec A.,
Rosà A. ,
Leopoldseder D.,
Duboscq G.,
Tuma P.,
Studener M.,
Bulej L.,
Zheng Y.,
Villazon Torrico A.,
Simon D.,
Würthinger T.,
Binder W. (2019)
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM . SPLASH. SPLASH. Athens, Greece. 20.10.19
de Lima Batista E. R. ,
Alchieri E.,
Pedone F. ,
Dotti F. (2019)
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication . IEEE. 9th Latin-American Symposium on Dependable Computing (LADC). Natal, Brazil. 19-21 Nov. 2019
Zambon D. ,
Grattarola D.,
Livi L.,
Alippi C. (2019)
Autoregressive Models for Sequences of Graphs . IEEE International Joint Conference on Neural Networks
Alippi C. ,
Zambon D. ,
Livi L. (2019)
Graph Embeddings from Random Neural Features . Advances in Neural Information Processing System (NeurIPS), Graph Representation Learning Workshop
Sharygina N. ,
Even-Mendoza K.,
Hyvärinen A.,
Chockler H. (2019)
Lattice-based SMT for program verification . 17th MEMOCODE 2019. La Jolla, CA, USA. October 9-11, 2019
Sharygina N. ,
Blicha M.,
Hyvärinen A.,
Kofron J. (2019)
Decomposing Farkas Interpolants . 25th TACAS 2019. Prague, Czech Republic. April 6-11, 2019
Pantiuchina J. (2019)
Towards just-in-time rational refactoring . 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Montreal, QC, Canada, 2019
Scheidegger S.,
Mikushin D.,
Kuebler F.,
Schenk O. (2018)
Rethinking large-scale economic modeling for efficiency: optimizations for GPU and Xeon Phi clusters . IEEE International Parallel & Distributed Processing Symposium (IPDPS'18). In Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS'18). IEEE International Parallel & Distributed Processing Symposium (IPDPS'18). Vancouver, Canada. May 25-29, 2018
O Malley C.,
Roald L.,
Kourounis D.,
Schenk O. ,
Hug G. (2018)
Security Assessment in Gas-Electric Networks . IEEE Xplore Proceedings of the 20th Power Systems Computation Conference. IEEE Xplore Proceedings. PSCC 2018, 20th Power Systems Computation Conference. Dublin, Ireland. June 11-15, 2018
Schenk O. ,
Kourounis D.,
Hug G. (2018)
Optimizing gas networks using adjoint gradients . x. x. x. x
O Malley C.,
Kourounis D.,
Hug G.,
Schenk O. (2018)
Finite Volume Methods for Transient Modeling of Gas Pipelines . 5th IEEE International Energy Conference. IEEE Xplore. ENERGYCON. Limassol, Cyprus. June 3-7, 2018
Simpson T. ,
Dimosthenis P.,
Kourounis D.,
Fujita K.,
Yamaguchi T.,
Tsuyoshi I.,
Schenk O. (2018)
Balanced Graph Partition Refinement using the Graph p-Laplacian . Proceedings of the ACM Platform for Advanced Scientific Computing Conference. ACM New York, NY, USA, 2018. PASC18. Basel, Switzerland. July 02 to 04, 2018
Donfack S.,
Sanan P.,
Schenk O. ,
Reps B.,
Vanroose W. (2018)
A High Arithmetic Intensity Krylov Subspace Method Based on Stencil Compiler Programs . Proceedings of the International Conference on High Performance Computing in Science and Engineering. Springer International Publishing. Lecture Notes in Computer Science, vol 9611. Springer, Cham.. HPCSE2017. Soláň, Czech Republic. May 2017
Pilato C. (2018)
Bridging the Gap between Software and Hardware Designers Using High-Level Synthesis . Advances in Parallel Computing
Zambon D. ,
Livi L.,
Alippi C. (2018)
Anomaly and Change Detection in Graph Streams through Constant-Curvature Manifold Embeddings . 2018 International Joint Conference on Neural Networks. 2018 World Congress on Computational Intelligence. Rio de Janeiro, Brazil. 8-13 July 2018
Wittmann M.,
Hager G.,
Janalík R.,
Lanzer M.,
Klawoon A.,
Rheinbach O.,
Schenk O. ,
Wellein G. (2018)
Multicore Performance Engineering of Sparse Triangular Solves Using a Modified Roofline Model . Proceedings of the 30th IEEE International Symposium on Computer, Architecture and High Performance Computing. IEEE Xplore Proceedings. SBAC-PAD 2018. École Normale Supérieure, Lyon, France. September 24-27, 2018
Verbosio F.,
Kardoš J.,
Bianco M.,
Schenk O. (2018)
Highly Scalable Stencil-based Matrix-free Stochastic Estimator for the Diagonal of the Inverse . 9th Workshop on Applications for Multi-Core Architectures. 30th IEEE International Symposium on Computer, Architecture and High Performance Computing (SBAC-PAD 2018). ENS Lyon, Lyon, France. September 24-27, 2018
Eftekhari A. ,
Bollhoefer M.,
Schenk O. (2018)
Distributed Memory Sparse Inverse Covariance Matrix Estimation on High-Performance Computing Architectures . Proceedings of the ACM/IEEE International Conference on High Performance Computing, Networking, Storage and Analysis. ACM. SC18. Dallas, Texas. November 11 – 16, 2018
Rosà A. ,
Rosales Rosero E. E.,
Binder W. (2018)
Analyzing and Optimizing Task Granularity on the JVM . CGO. Vienna, Austria. 2018
Rosà A. ,
Rosales Rosero E. E.,
Schiavio F. ,
Binder W. (2018)
Understanding Task Granularity on the JVM: Profiling, Analysis, and Optimization . Programming 2018. Nice, France. 2018
Rosales Rosero E. E.,
Rosà A. ,
Binder W. (2018)
lpt: A Tool for Tuning the Level of Parallelism of Spark Applications . APSEC. Nara, Japan. December 2018
Luisier M.,
Ducry F.,
Hossein M.,
Hashemia B.,
Brück S.,
Calderara M.,
Schenk O. (2018)
Advanced Algorithms for Ab-initio Device Simulations . IEEE Xplore:. IEEE Xplore. 2018 International Conference on Simulation of Semiconductor Processes and Devices (SISPAD). Austin, TX, USA, USA. 24-26 Sept. 2018
Lukovic S. ,
Gasparin A.,
Witzig J.,
Herbst I. (2018)
Arbon Demonstrator Eye-on-the-Grid, from Concept to Results . SCCER-FURIES Annual Conference
Verzelli P.,
Livi L.,
Alippi C. (2018)
A characterization of the Edge of Criticality in Binary Echo State Networks . 2018 IEEE 28th International Workshop on Machine Learning for Signal Processing (MLSP). Aalborg, Denmark
Regazzoni F. ,
Fowler A.,
Polian I. (2018)
Quantum Era Challenges for Classical Computers . Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation. ACM. New York, NY, USA
Chaves R.,
Chmielewski \.,
Regazzoni F. ,
Batina L. (2018)
SCA-Resistance for AES: How Cheap Can We Go? . Progress in Cryptology -- AFRICACRYPT 2018. Springer International Publishing. Cham
Regazzoni F. ,
Alippi C. ,
Polian I. (2018)
Security: The Dark Side of Approximate Computing? . Proceedings of the International Conference on Computer-Aided Design. ACM. New York, NY, USA
Bianchi F. M.,
Livi L.,
Ferrante A. ,
Milosevic J.,
Malek M. (2018)
Time series kernel similarities for predicting Paroxysmal Atrial Fibrillation from ECGs . IJCNN 2018 : International Joint Conference on Neural Networks. IEEE. Rio, Brazil
Ferrante A. (2018)
Panel IoT and pervasive computing: are new definitions of security and privacy needed? . Malicious Software and Hardware in Internet of Things Co-located with ACM International Conference on Computing Frontiers 2018. Malicious Software and Hardware in Internet of Things Co-located with ACM International Conference on Computing Frontiers 2018. Ischia, Naples, Italy. 05/2018
(2018)
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution . Proceedings of the 29th International Symposium on Software Reliability Engineering (ISSRE). IEEE International Symposium on Software Reliability Engineering (ISSRE). Memphis, Tennessee, USA. 15-18 October 2018
Aquino A.,
Denaro G.,
Salza P. (2018)
Worst-Case Execution Time Testing via Evolutionary Symbolic Execution . Proceedings of the 29th International Symposium on Software Reliability Engineering (ISSRE). IEEE International Symposium on Software Reliability Engineering (ISSRE). Memphis, Tennessee, USA. 15-18 October 2018
Salza P.,
Palomba F.,
Di Nucci D.,
D'Uva C.,
De Lucia A.,
Ferrucci F. (2018)
Do Developers Update Third-party Libraries in Mobile Apps? . Proceedings of the 26th Conference on Program Comprehension (ICPC). IEEE/ACM International Conference on Program Comprehension (ICPC). Gothenburg, Sweden. 27-28 May 2018
Simpson T.,
Pasadakis D. ,
Kourounis D.,
Fujita K.,
Yamaguchi T.,
Ichimura T.,
Schenk O. (2018)
Balanced Graph Partition Refinement using the Graph p-Laplacian . Proceedings of the ACM Platform for Advanced Scientific Computing Conference. ACM. PASC’18. Platform for Advanced Scientific Computing Conference (PASC). Basel. July 02 - 04, 2018
von Planta C.,
Vogler D.,
Nestola M. G. C.,
Zulian P. ,
Krause R. (2018)
Variational Parallel Information Transfer between Unstructured Grids in Geophysics - Applications and Solutions Methods . Proceedings,43rd Workshop on Geothermal Reservoir Engineering Stanford University. 43rd Workshop on Geothermal Reservoir Engineering Stanford University. Stanford University. 12-14 February 2018
Eugster P. T. ,
Bl\"ocher M. (2018)
Boosting scalable data analytics with modern programmable networks . Proceedings of the 14th International Workshop on Data Management on New Hardware, Houston, TX, USA, June 11, 2018. ACM. International Workshop on Data Management on New Hardware (DaMoN). Houston TX. June 11
Eugster P. T. (2018)
A Cryptographic Look at Multi-party Channels . 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. IEEE Computer Society
Sharygina N. ,
Marescotti M.,
Blicha M.,
Hyvärinen A.,
Asadi S. (2018)
Computing Exact Worst-Case Gas Consumption for Smart Contracts . ISoLA 2018. Limassol, Cyprus. November 5-9, 2018
Sharygina N. ,
Asadi S.,
Blicha M.,
Fedyukovich G. ,
Hyvärinen A.,
Even-Mendoza K.,
Chockler H. (2018)
Function Summarization Modulo Theories . 22nd LPAR 2018. Awassa, Ethiopia. 16-21 November 2018
Sharygina N. ,
Hyvärinen A.,
Marescotti M.,
Sadigova P.,
Chockler H. (2018)
Lookahead-Based SMT Solving . 22nd LPAR 2018. Awassa, Ethiopia. 16-21 November 2018
Sharygina N. ,
Marescotti M.,
Hyvärinen A. (2018)
SMTS: Distributed, Visualized Constraint Solving . 22nd LPAR 2018. Awassa, Ethiopia. 16-21 November 2018
Sharygina N. ,
Even-Mendoza K.,
Asadi S.,
Hyvärinen A.,
Chockler H. (2018)
Lattice-Based Refinement in Bounded Model Checking . 10th VSTTE 2018. Oxford, UK. July 18-19, 2018
Bloch J.,
Schenk O. (2017)
Selected inversion as key to a stable Langevin evolution across the QCD phase boundary . Proceedings of the 35th International Symposium on Lattice Field Theory. 35th International Symposium on Lattice Field Theory. Granada, Spain. 18-24 June 2017
Eftekhari A. ,
Scheidegger S. U.,
Schenk O. (2017)
Parallelized Dimensional Decomposition for Large-Scale Dynamic Stochastic Economic Models . Proceedings of the Platform for Advanced Scientific Computing Conference. PASC17. June 26 - 28, 2017. Palazzo dei Congressi, Lugano, Switzerland
Zambon D. ,
Livi L.,
Alippi C. (2017)
Detecting changes in sequences of attributed graphs . 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE. IEEE Symposium Series on Computational Intelligence. Honolulu, Hawaii, USA. 27 Nov.-1 Dec. 2017
Rosà A. ,
Rosales Rosero E. E.,
Binder W. (2017)
tgp: a Task-Granularity Profiler for the Java Virtual Machine . APSEC. Nanjing, China. 2017
Rosà A. ,
Rosales Rosero E. E.,
Binder W. (2017)
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM . GPCE. Vancouver, Canada. 2017
Rosà A. ,
Binder W. (2017)
Speeding up Type-specific Instrumentation for the Analysis of Complex Systems . ICECCS. Fukuoka, Japan. 2017
Sun H.,
Rosà A. ,
Javed O.,
Binder W. (2017)
ADRENALIN-RV: Android Runtime Verification using Load-time Weaving . ICST. Tokyo, Japan. 2017
Sun H.,
Javed O.,
Binder W. (2017)
ADRENALIN-RV: Android Runtime Verification using Load-time Weaving. . ICST. ICST. Tokyo, Japan. 2017
Zulian P. ,
Nestola M. G. C.,
von Planta C.,
Krause R. (2017)
Contact, Fluid Structure Interaction and Variational Transfer . Proceedings of the 7th GACM Colloquium on Computational Mechanics for Young Scientists from Academia and Industry. 7th GACM Colloquium on Computational Mechanics for Young Scientists from Academia and Industry. Stuttgart. 11-13 October 2017
Becsek B.,
Zolfaghari H.,
Nestola M. G. C.,
Krause R. ,
Obrist D. (2017)
Viscoelastic computational modeling of the human head-neck system: Eigenfrequencies and time-dependent analysisUnderstanding Turbulent Flow issuing from the aortic valve} 5th International Conference on Computational and Mathematical Biomedical Engineering . 5th International Conference on Computational and Mathematical Biomedical Engineering - CMBE2017. CMBE2017. Pittsburgh. 10-12 April 2017
Bilgen C.,
Kopanicakova A.,
Krause R. ,
Weinberg K. (2017)
A phase-field approach to pneumatic fracture . PAMM. Proc. Appl. Math. Mech
Sharygina N. ,
Hyvärinen A.,
Asadi S.,
Alt L. (2017)
Duality-based interpolation for quantifier-free equalities and uninterpreted functions . 17th FMCAD 2017. Vienna, Austria. October 2-6, 2017
Sharygina N. ,
Marescotti M.,
Gurfinkel A.,
Hyvärinen A. (2017)
Designing parallel PDR . 17th FMCAD 2017. Vienna, Austria. October 2-6, 2017
Sharygina N. ,
Alt L.,
Hyvärinen A. (2017)
LRA Interpolants from No Man's Land . 13. Haifa Verification Conference 2017. Haifa, Israel. November 13-15, 2017
Sharygina N. ,
Hyvärinen A.,
Asadi S.,
Even-Mendoza K.,
Fedyukovich G. ,
Chockler H. (2017)
Theory Refinement for Program Verification . 20th SAT 2017. Melbourne, VIC, Australia. August 28 - September 1, 2017
Sharygina N. ,
Budakovic J.,
Marescotti M.,
Hyvärinen A. (2017)
Visualising SMT-Based Parallel Constraint Solving . 15th SMT 2017. Heidelberg, Germany. July 22 - 23, 2017
Sharygina N. ,
Alt L.,
Asadi S.,
Chockler H.,
Even-Mendoza K.,
Fedyukovich G. ,
Hyvärinen A. (2017)
HiFrog: SMT-based Function Summarization for Software Verification . 23rd TACAS 2017. Uppsala, Sweden. April 22-29, 2017
Zheng Y.,
Rosà A. ,
Salucci L.,
Li Y.,
Sun H.,
Javed O.,
Bulej L.,
Chen L. Y.,
Qi Z.,
Binder W. (2016)
AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses . SANER. Osaka, Japan. 2016
Greco S. ,
Mehmeti T.,
Perret-Clermont A. N. (2016)
Getting involved in an argumentation in class as a pragmatic move: Social conditions and affordances . Proceedings of the first European Conference on Argumentation, Ed. D. Mohamed and M. Lewiński. ECA. Lisbon. 9-12 June 2015
Balac K.,
Akhmedov M.,
Prevostini M. ,
Malek M. (2016)
Topology Optimization of Wireless Localization Networks . European Wireless 2016. Oulu, Finland
Howe J.,
Moore C.,
O'Neill M.,
Regazzoni F. ,
Güneysu T.,
Beeden K. (2016)
Standard lattices in hardware . Proceedings of the 53rd Annual Design Automation Conference DAC 2016. ACM. Proceedings of DAC. Austin, TX, USA
O'Neill M.,
O'Sullivan E.,
McWilliams G.,
Saarinen M. J.,
Moore C.,
Khalid A.,
Howe J.,
Del Pino R.,
Abdalla M.,
Regazzoni F. ,
Valencia A. F.,
Güneysu T.,
Oder T.,
Waller A.,
Jones G.,
Barnett A.,
Griffin R.,
Byrne A.,
Ammar B.,
Lund D. (2016)
Secure architectures of future emerging cryptography . International Conference on Computing Frontiers CF''16. ACM New York. Proceedings of the ACM International Conference on Computing Frontiers. Como, italy
Banik S.,
Bogdanov A.,
Regazzoni F. ,
Isobe T.,
Hiwatari H.,
Akishita T. (2016)
Round gating for low energy block ciphers . 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST. IEEE Computer Society. McLean, VA, USA
Alippi C. ,
Ntalampiras S.,
Roveri M. (2016)
Online Model-free Sensor Fault Identification and Dictionary Learning in Cyber-Physical Systems . IEEE-INNS International Joint Conference on Neural Networks (IJCNN16). Vancouver, Canada
Livi L.,
Alippi C. (2016)
One-Class Classification Through Mutual Information Minimization . IEEE-INNS International Joint Conference on Neural Networks (IJCNN16). Vancouver, Canada
Regazzoni F. ,
Ienne P. (2016)
Instruction Set Extensions for secure applications . Design, Automation Test in Europe Conference DATE 2016. IEEE. Dresden, Germany
Bellon S.,
Favi C.,
Malek M. ,
Macchetti M.,
Regazzoni F. (2016)
Evaluating the Impact of Environmental Factors on Physically Unclonable Functions . International Symposium on Field-Programmable Gate Arrays FPGA 2016. ACM New York, NY, USA. Proceedings of the 2016 ACM/SIGDA. Monterey, CA, USA
Bu L.,
Alippi C. ,
Zhao D. (2016)
Ensemble LSDD-based Change Detection Tests . IEEE-INNS International Joint Conference on Neural Networks (IJCNN16). Vancouver, Canada
Alippi C. ,
Boracchi G.,
Carrera D.,
Roveri M. (2016)
Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss . 25th International Joint Conference on Artificial Intelligence (IJCAI-16). New York, USA
Banik S.,
Bogdanov A.,
Fanni T.,
Sau C.,
Raffo L.,
Palumbo F.,
Regazzoni F. (2016)
Adaptable AES implementation with power-gating support . International Conference on Computing Frontiers CF''16. ACM Ney York, NY, USA. Proceedings of the ACM International Conference on Computing Frontiers. Como, Italy
Milosevic J.,
Malek M. ,
Ferrante A. (2016)
A Friend or a Foe? Detecting Malware Using Memory and CPU Features . SECRYPT 2016, 13th International Conference on Security and Cryptography. SciTePress Digital Library. Lisbon, Portugal
Milosevic J.,
Ferrante A. ,
Malek M. (2016)
MalAware: Effective and Efficient Run-time Mobile Malware Detector . The 14th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2016). IEEE Computer Society Press. Auckland, New Zealand
Kaitovic I.,
Malek M. (2016)
Optimizing Failure Prediction to Maximize Availability . 13th IEEE International Conference on Autonomic Computing (ICAC). Würzburg, Germany
Milosevic J.,
Ferrante A. ,
Malek M. (2016)
What Does the Memory Say? Towards the most indicative features for efficient malware detection . CCNC 2016, The 13th Annual IEEE Consumer Communications \& Networking Conference. IEEE Communication Society. Las Vegas, NV, USA
Rosà A. ,
Chen L. Y.,
Binder W. (2016)
Actor Profiling in Virtual Execution Environments . GPCE. Amsterdam, The Netherlands. 2016
Rosà A. ,
Chen L. Y.,
Binder W. (2016)
Profiling Actor Utilization and Communication in Akka . Erlang. Nara, Japan. 2016
Javed O.,
Zheng Y.,
Rosà A. ,
Sun H.,
Binder W. (2016)
Extended Code Coverage for AspectJ-based Runtime Verification Tools . RV. Madrid, Spain. 2016
Rosà A. ,
Zheng Y.,
Sun H.,
Javed O.,
Binder W. (2016)
Adaptable Runtime Monitoring for the Java Virtual Machine . ISoLA. Corfu, Greece. 2016
Rosà A. ,
Chen L. Y.,
Binder W. (2016)
Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems . ICOOOLPS. Rome, Italy. 2016
Rosà A. ,
Chen L. Y.,
Binder W. (2016)
AkkaProf: a Profiler for Akka Actors in Parallel and Distributed Applications . APLAS. Hanoi, Vietnam. 2016
Rosà A. ,
Chen L. Y.,
Binder W. (2016)
An Endpoint Communication Profiling Tool for Distributed Computing Frameworks . ICDCS. Nara, Japan. 2016
Ferrante A. ,
Medvet E.,
Mercaldo F.,
Milosevic J.,
Visaggio C. A. (2016)
Spotting the Malicious Moment: Characterizing Malware Behavior Using Dynamic Features . 2016 11th International Conference on Availability, Reliability and Security (ARES),. Salzburg, Austria. Aug. 31 2016-Sept. 2 2016
Milosevic J.,
Ferrante A. ,
Malek M. (2016)
Trojan Families Identification Using Dynamic Features and Low Complexity Classifiers . 24th EICAR Annual Conference 2016 "Trustworthiness in IT Security Products". Nuremberg, Germany. 10/2016
Alippi C. ,
Wen Q.,
Roveri M. (2016)
An improved Hilbert-Huang Transform for non-linear and time-variant signals . 26th Italian Workshop on Neural Networks (WIRN 2016). Vietri sul Mare, Salerno, Italy. 05/2016
Lukovic S. ,
Kaitovic I.,
Lecuona G.,
Malek M. (2016)
A Methodology for Proactive Maintenance of Uninterruptible Power Supplies . Latin-American Symposium on Dependable Computing (LADC2016) - Workshop on Dependability in Evolving Systems (WDES). Cali, Colombia. 10/2016
Říha L.,
Brzobohat'y T.,
Markopoulos A.,
Kozubek T.,
Meca O.,
Schenk O. ,
Vanroose W. (2016)
Efficient Implementation of Total FETI Solver for Graphic Processing Units Using Schur Complement . Proceedings of the International Conference on High Performance Computing in Science and Engineering. Springer International Publishing. Lecture Notes in Computer Science, vol 9611. Springer, Cham. HPCSE2015. Soláň, Czech Republic. May 2015
Benedusi P.,
Hupp D.,
Arbenz P.,
Krause R. (2016)
A Parallel Multigrid Solver for Time-periodic Incompressible Navier-Stokes Equations in 3D . Numerical Mathematics and Advanced Applications ENUMATH 2015. ENUMATH 2015
Dell'Accio F.,
Di Tommaso F.,
Hormann K. (2016)
Multinode rational operators for univariate interpolation . Numerical Computations: Theory and Algorithms (NUMTA-2016). AIP Publishing. AIP Conference Proceedings. Pizzo Calabro, Italy
Dell'Accio F.,
Di Tommaso F.,
Hormann K. (2016)
On the enhancement of the approximation order of triangular Shepard method . Numerical Computations: Theory and Algorithms (NUMTA-2016). AIP Publishing. AIP Conference Proceedings. Pizzo Calabro, Italy
Fumagalli E.,
Visconti L. M. ,
de Valck K.,
Moreau and Stefano Puntoni P. (2016)
To Me or Not To Me: Personal Body as Contested Ownership . Advances in Consumer Research. Duluth, MN: Association for Consumer Research. ACR North American Conference. Berlin. October, 27-30 2016
Sharygina N. ,
Marescotti M.,
Hyvärinen A. (2016)
Clause Sharing and Partitioning for Cloud-Based SMT Solving . 14th ATVA 2016. Chiba, Japan. October 17-20, 2016
Sharygina N. ,
Fedyukovich G. ,
Gurfinkel A. (2016)
Property Directed Equivalence via Abstract Simulation . 28th CAV 2016. Toronto, ON, Canada. July 17-23, 2016
Sharygina N. ,
Jancík P.,
Alt L.,
Fedyukovich G. ,
Hyvärinen A.,
Kofron J. (2016)
PVAIR: Partial Variable Assignment InterpolatoR . 19. FASE 2016. Eindhoven, The Netherlands. April 2-8, 2016
Sharygina N. ,
Hyvärinen A.,
Marescotti M.,
Alt L. (2016)
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing . 19th SAT 2016. Bordeaux, France. July 5-8, 2016
Rosà A. ,
Chen L. Y.,
Binder W. (2015)
Understanding the Dark Side of Big Data Clusters: an Analysis beyond Failures . DSN. Rio de Janeiro, Brazil. 2015
Rosà A. ,
Chen L. Y.,
Binder W. (2015)
Predicting and Mitigating Jobs Failures in Big Data Clusters . CCGrid. Shenzen, China. 2015
Rosà A. ,
Chen L. Y.,
Binder W. (2015)
Understanding Unsuccessful Executions in Big-Data Systems . CCGrid. Shenzen, China. 2015
Rosà A. ,
Chen L. Y.,
Binder W. (2015)
Catching Failures of Failures at Big-Data Clusters: a Two-Level Neural Network Approach . IWQoS. Portland, OR, USA. 2015
Bhasin S.,
Regazzoni F. (2015)
A survey on hardware trojan detection techniques . IEEE International Symposium on Circuits and Systems (ISCAS) 2015. IEEE. Lisbon, Portugal
Guo X.,
Karimi N.,
Regazzoni F. ,
Jin C.,
Karri R. (2015)
Simulation and Analysis of Negative-Bias Temperature Instability Aging on Power Analysis Attacks . IEEE Int. Symposium on Hardware-Oriented Security and Trust. McLean, VA, USA
Banik S.,
Bogdanov A.,
Isobe T.,
Shibutani K.,
Hiwatari H.,
Akishita T.,
Regazzoni F. (2015)
Midori: A Block Cipher for Low Energy . 21st International Conference on the Theory and Application of Cryptology and Information Security ASIACRYPT 2015. Springer Berlin Heidelberg. Lecture Notes in Computer Science. Auckland, New Zealand
Piscitelli R.,
Bhasin S.,
Regazzoni F. (2015)
Fault attacks, injection techniques and tools for simulation . 10th International Conference on Design Technology of Integrated Systems in Nanoscale Era DTIS 2015. IEEE. Naples, Italy
Banik S.,
Bogdanov A.,
Regazzoni F. (2015)
Exploring the energy consumption of lightweight blockciphers in FPGA . International Conference on ReConFigurable Computing and FPGAs, ReConFig 2015. IEEE. Rivera Maya, Mexico City
Banik S.,
Bogdanov A.,
Regazzoni F. (2015)
Exploring Energy Efficiency of Lightweight Block Ciphers . Selected Areas in Cryptography: 22nd International Conference (SAC)2015. Springer. Lecture Notes in Computer Science. Sackville, NB, Canada
Faruque M. A. A.,
Regazzoni F. ,
Pajic M. (2015)
Design methodologies for securing cyber-physical systems . 2015 International Conference on Hardware/Software Codesign and System Synthesis CODES+ISSS. IEEE. Amsterdam, Netherlands
Regazzoni F. ,
Graves R.,
Di Natale G.,
Batina L.,
Bhasin S.,
Ege B.,
Fournaris A. P.,
Mentens N.,
Picek S.,
Rozic V.,
Sklavos N.,
Yang B. (2015)
Challenges in designing trustworthy cryptographic co-processors . IEEE International Symposium on Circuits and Systems (ISCAS) 2015. IEEE. Lisbon, Portugal
Homulle H.,
Regazzoni F. ,
Charbon E. (2015)
200 MS/s ADC implemented in a FPGA employing TDCs . FPGA International Symposium on Field-Programmable Gate Arrays ACM/SIGDA 2015. ACM. Proceedings of the 2015 ACM/SIGDA. Monterey, CA, USA
Milosevic J.,
Ferrante A. ,
Malek M. (2015)
Can we Achieve both Privacy Protection and Efficient Malware Detection on Smartphones? . 1st Interdisciplinary Cyber Research Workshop 2015. Tallinn University of Technology. Tallin, Estona
Balac K.,
Prevostini M. ,
Malek M. (2015)
Optimizing Sensor Nodes Placement for Fault-tolerant Trilateration-based Localization . IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). Zhangjiajie, China
Regazzoni F. (2015)
Physical attacks, introduction and application to embedded processors . 10th International Conference on Design Technology of Integrated Systems in Nanoscale Era DTIS 2015. IEEE. Napoli, Italy
Kaitovic I.,
Lukovic S. ,
Malek M. (2015)
Proactive Failure Management in Smart Grids for Improved Resilience (A Methodology for Failure Prediction and Mitigation) . IEEE GLOBECOM SmartGrid Resilience (SGR) Workshop. San Diego, CA, USA
Baddour R.,
Paspaliaris A.,
Solis Herrera D. (2015)
SCV2: A model-based validation and verification approach to system-of-systems engineering . System of Systems Engineering Conference (SoSE), 2015 10th. IEEE
Milosevic J.,
Ferrante A. ,
Regazzoni F. (2015)
Security Challenges for Hardware Designers of Mobile Systems . 2015 Mobile Systems Technologies Workshop (MST)
Kaitovic I.,
Lukovic S. ,
Malek M. (2015)
Unifying Dependability of Critical Infrastructures: Electric Power System and ICT (Concepts, Figures of Merit and Taxonomy) . IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). Zhangjiajie, China
Rietmann M.,
Peter D.,
Schenk O. ,
car B. U.,
Grote M. (2015)
Load-Balanced Local Time Stepping for Large-Scale Wave Propagation . 2015 IEEE International Parallel and Distributed Processing Symposium. IEEE International Parallel and Distributed Processing Symposium. Hyderabad International Convention Centre Hyderabad, India. May 25-29, 2015
Coninck A. D.,
Kourounis D.,
Verbosio F.,
Schenk O. ,
Baets B. D.,
Maenhout S.,
Fostier J. (2015)
Towards Parallel Large-Scale Genomic Prediction by Coupling Sparse and Dense Matrix Algebra . 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Turku, Finland. 4th - 6th March, 2015
Eugster P. T. (2015)
Essential Traffic Parameters for Shared Memory Switch Performance . Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings. Springer. Lecture Notes in Computer Science
Sharygina N. ,
Fedyukovich G. ,
D'Iddio A. C.,
Hyvärinen A. (2015)
Symbolic Detection of Assertion Dependencies for Bounded Model Checking . 18. FASE 2015. London, UK. April 11-18, 2015
Sharygina N. ,
Alberti F.,
Ghilardi S. (2015)
A New Acceleration-Based Combination Framework for Array Properties . 10. FroCos 2015. Wroclaw, Poland. September 21-24, 2015
Sharygina N. ,
Hyvärinen A.,
Alt L. (2015)
Flexible Interpolation for Efficient Model Checking . MEMICS 2015. Telč, Czech Republic. October 23-25, 2015
Sharygina N. ,
Hyvärinen A.,
Marescotti M. (2015)
Search-Space Partitioning for Parallelizing SMT Solvers . 18th SAT 2015. Austin, TX, USA. September 24-27, 2015
Sharygina N. ,
Alt L.,
Fedyukovich G. ,
Hyvärinen A. (2015)
A Proof-Sensitive Approach for Small Propositional Interpolants . 7. VSTTE 2015. San Francisco, CA, USA. July 18-19, 2015
Minelli R. ,
Mocci A. ,
Lanza M. (2015)
I know what you did last summer. An investigation of how developers spend their time . IEEE 23rd International Conference on Program Comprehension ICPC : proceedings
Rosà A. ,
Binder W. ,
Chen L. Y.,
Gribaudo M.,
Serazzi G. (2014)
ParSim: a Tool for Workload Modeling and Reproduction of Parallel Applications . MASCOTS. Paris, France. 2014
Güneys T.,
Regazzoni F. ,
Sasdrich P.,
Wojcik M. (2014)
(THOR) - The hardware onion router . 24th International Conference on Field Programmable Logic and Applications, (FPL) 2014. IEEE. Munich, Germany
Regazzoni F. ,
Burri S.,
Stucki D.,
Maruyama Y.,
Bruschini C.,
Charbon E. (2014)
Single-Photon Avalanche Diodes (SPADs) for quantum random number generators and beyond . 19th Asia and South Pacific Design Automation Conference (ASP-DAC) 2014. IEEE. Singapore
Milosevic J.,
Dittrich A.,
Ferrante A. ,
Malek M. ,
Rojas Quiros C.,
Braojos R.,
Ansaloni G.,
Atienza D. (2014)
Risk Assessment of Atrial Fibrillation: a Failure Prediction Approach . 41st Computing in Cardiology Conference (CinC). IEEE Computer Society. Cambridge, MA, USA
Lichtblau B.,
Dittrich A. (2014)
Probabilistic Breadth-First Search -- A Method for Evaluation of Network-Wide Broadcast Protocols . 6th IEEE/ACM/IFIP International Conference on New Technologies, Mobility and Security (NTMS). IEEE Computer Society. Dubai, UAE
Bhasin S.,
Maistri P.,
Regazzoni F. (2014)
Malicious Wave: a Survey on Actively Tampering Using Electromagnetic Glitch . International Symposium on Electromagnetic Compatibility 2014
Dittrich A.,
Wanja S.,
Malek M. (2014)
ExCovery -- A Framework for Distributed System Experiments and a Case Study of Service Discovery . 28th International Parallel \& Distributed Processing Symposium, Workshops and Phd Forum (IPDPSW). IEEE Computer Society. Phoenix, AZ, USA
Mariani G.,
Meeuws R.,
Palermo G.,
Sima V. M.,
Silvano C.,
Bertels K. (2014)
DRuiD: Designing Reconfigurable Architectures with Decision-making Support . 19th Asia and South Pacific Design Automation Conference (ASP-DAC). Singapore
Amaral J.,
Regazzoni F. ,
Tomas P.,
Chaves R. (2014)
Accelerating differential power analysis on heterogeneous systems . The 9th Workshop on Embedded Systems Security (WESS) 2014. ACM. New Delhi, India
Lukovic S. ,
Miladinovic B. (2014)
A Conceptual Solution for Integration of EV Charging with Smart Grids . International Conference on Smart Grid and Clean Energy Technologies - ICSGCE 2014. Dubai
Sami M. G.,
Malek M. ,
Bondi U. ,
Regazzoni F. (2014)
Embedded Systems Education: Job Market Expectations . Workshop on Embedded and Cyber-Physical Systems Education (WESE). ACM. New Delhi, India
Ferrante A. ,
Kaitovic I.,
Milosevic J. (2014)
Modeling Requirements For Security-enhanced Design of Embedded Systems . ICETE SECRYPT. ICETE. Vienna, Austria
Milosevic J.,
Dittrich A.,
Ferrante A. ,
Malek M. (2014)
A Resource-optimized Approach to Efficient Early Detection of Mobile Malware . 3rd International Workshop on Security of Mobile Applications - IWSMA 2014. Fribourg, Switzerland
Dittrich A.,
Solis Herrera D.,
Coto Brenes J. P.,
Malek M. (2014)
Responsiveness of Service Discovery in Wireless Mesh Networks . 20th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE Computer Society. Singapore
Lukovic S. ,
Kaitovic I. (2014)
Smart Charging Cell for Smart Cities . The 2nd IEEE International Workshop on Intelligent Energy Systems (IWIES)
Balac K.,
Di Giulio P. A.,
Taddeo A.,
Prevostini M. (2014)
Time of Flight Error Compensation for In-Tunnel Vehicle Localization . The Fourth International Workshop on Pervasive Networks for Emergency Management, 2014 (PerNEM''14). IEEE. Budapest, Hungary
Speck R.,
Ruprecht D.,
Krause R. ,
Emmett M.,
Minion M.,
Winkel M.,
Gibbon P. (2014)
Integrating an N-body problem with SDC and PFASST . Proceedings of the 21st International Conference on Domain Decomposition Methods. Lecture Notes in Computational Science and Engineering. Domain Decomposition Methods in Science and Engineering {XXI}
Sanan P. D.,
Schnepp S.,
May D.,
Schenk O. (2014)
Composite Solvers for Linear Saddle Point Problems Arising from the Incompressible Stokes Equations with Highly Heterogeneous Viscosity Structure . American Geophysical Union, Fall Meeting, San Francisco. American Geophysical Union, Fall Meeting. San Francisco
Çavdar D.,
Rosà A. ,
Chen L. Y.,
Binder W. (2014)
Quantifying the Brown Side of Priority Schedulers: Lessons from Big Clusters . Greenmetrics. Austin, TX, USA. 2014
Eugster P. T. (2014)
Shared Memory Buffer Management for Heterogeneous Packet Processing . IEEE 34th International Conference on Distributed Computing Systems, ICDCS 2014, Madrid, Spain, June 30 - July 3, 2014. IEEE Computer Society
Sharygina N. ,
Alberti F.,
Ghilardi S. (2014)
Booster: An Acceleration-Based Verification Framework for Array Programs . 12th ATVA 2014. Sydney, NSW, Australia. November 3-7, 2014
Sharygina N. ,
Jancík P.,
Rollini S. F.,
Kofron J. (2014)
On interpolants and variable assignments . 14th FMCAD 2014. Lausanne, Switzerland. October 21-24, 2014
Sharygina N. ,
Pastore F.,
Mariani L.,
Hyvärinen A.,
Fedyukovich G. ,
Sehestedt S.,
Ali M. (2014)
Verification-aided regression testing . ISSTA 2014. San Jose, CA. July 21 - 26, 2014
Fantuzzi C.,
Gutman P. O.,
Kaitovic I.,
Larcher L.,
Marzani S.,
Ruggeri M.,
Zagurskis V. (2013)
STRATOS: open System for TRAcTOrs' autonomous OperationS . EFITA Internation Conference on Sustainable Agriculture through ICT Innovation. European Federation for Information Technology in Agriculture, Food and the Environment. Torino, Italy
Becker G.,
Regazzoni F. ,
Paar C.,
Burleson W. (2013)
Stealthy Dopant-Level Hardware Trojans . Workshop on Cryptographic Hardware and Embedded Systems (CHES). Santa Barbara, California, USA
Lukovic S. ,
Čongradac V.,
Kulić F. (2013)
Smart Building Integration in Smart Grids . The 44th Heating Ventilation Air Condition and Refrigeration Congress and Exhibition - KGH 2013
Bayrak A. G.,
Regazzoni F. ,
Novo Bruna D.,
Ienne P. (2013)
Sleuth: Automated Verification of Software Power Analysis Countermeasures . Workshop on Cryptographic Hardware and Embedded Systems (CHES). Santa Barbara, California, USA
Mariani G.,
Sima V. M.,
Palermo G.,
Zaccaria V.,
Marchiori G.,
Silvano C.,
Bertels K. (2013)
Run-time Optimization of a Dynamically Reconfigurable Embedded System Through Performance Prediction . 23rd International Conference on Field Programmable Logic and Applications (FPL). IEEE. Porto, Portugal
Derin O.,
Kuncheerath Ramankutty P.,
Meloni P.,
Tuveri G. (2013)
A Low Overhead Self-adaptation Technique for KPN Applications on NoC-based MPSoCs . Proceedings of the 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS) - Special Session on Self-Adaptive Networked Embedded Systems (SANES). Barcelona, Spain
Bogdanov A.,
Mendel F.,
Regazzoni F. ,
Rijmen V.,
Tischhauser E. (2013)
Lightweight AES-Based Authenticated Encryption . Fast Software Encryption (FSE). Singapore
Burri S.,
Stucki D.,
Maruyama Y.,
Bruschini C.,
Charbon E.,
Regazzoni F. (2013)
Jailbreak Imagers: Transforming a Single-Photon Image Sensor into a True Random Number Generator . International Image Sensor Workshop (IISW). Snowbird Resort, Utah, USA
Bayrak A. G.,
Velickovic N.,
Regazzoni F. ,
Novo Bruna D.,
Brisk P.,
Ienne P. (2013)
An eda-friendly protection scheme against side-channel attacks . Design, Automation and Test in Europe (DATE). Grenoble, France
Powolny F.,
Burri S.,
Bruschini C.,
Michalet X.,
Regazzoni F. ,
Charbon E. (2013)
Comparison of Two Cameras based on Single Photon Avalanche Diodes (SPADS) for Fluorescence Lifetime Imaging Application with Picosecond Resolution . International Image Sensor Workshop (IISW). Snowbird Resort, Utah, USA
Widmann D.,
Balac K.,
Taddeo A.,
Prevostini M. ,
Puiatti A. (2013)
Characterization of In-tunnel Distance Measurements for Vehicle Localization . IEEE Wireless Communications and Networking Conference (WCNC). Shanghai, P.R. China
Prevostini M. ,
Taddeo A.,
Balac K.,
Jermini M.,
Linder C. (2013)
Calibration and in-Field Validation Tests of a Web-based Adaptive Management System for Monitoring - Scaphoideus titanus . Future Integrated Pest Management in Europe
Ferrante A. ,
Chelodi M.,
Bruschi F.,
Mozzetti V. (2013)
An Algorithm for Extended Dynamic Range Video in Embedded Systems . SENSORNETS 2013 - 2nd International Conference on Sensor Networks. INSTICC. Barcelona, Spain
Lukovic S. (2013)
Adapting Multi-Agent Systems Approach for Integration of Prosumers in Smart Grids . Proceedings of the IEEE Eurocon 2013
Dittrich A.,
Kaitovic I.,
Murillo Miranda C. M.,
Ribeiro Rezende R. (2013)
A Model for the Evaluation of User-Perceived Service Properties . International Symposium on Parallel Distributed Processing, Workshops and Phd Forum (IPDPSW). IEEE Computer Society. Boston, Massachusetts, USA
Ferrante A. ,
Milosevic J.,
Janjusevic M. (2013)
A Security-enhanced Design Methodology For Embedded Systems . ICETE SECRYPT 2013. ICETE. Reykjavik, Iceland
Charbon E.,
Regazzoni F. (2013)
Single-Photon Image Sensors . Special Session, 50th Design Automation Conference (DAC). Austin, Texas, USA
Ribeiro Rezende R.,
Dittrich A.,
Malek M. (2013)
User-Perceived Instantaneous Service Availability Evaluation . 19th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE Computer Society. Vancouver, British Columbia, Canada
Schmitz S.,
Gottschalk H.,
Rollmann G.,
Krause R. (2013)
A Probabilistic Approach to Low-Cycle Fatigue . Proceedings of ASME Turbo Expo 2013. ASME
Sery O.,
Sharygina N. ,
Denaro G.,
Ling M.,
Fedyukovich G. ,
Hyvrinen A. E. J.,
Mariani L.,
Chockler H.,
Muhammad A.,
Oriol M.,
Rajan A.,
Tautschnig M. (2013)
PINCETTE - Validating Changes and Upgrades in Networked Software . CSMR
Carzaniga A. ,
Gorla A.,
Mattavelli A.,
Perino N.,
Pezzè M. (2013)
Automatic Recovery from Runtime Failures . Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013). San Francisco, California, USA
Fedyukovich G. ,
Sery O.,
Sharygina N. (2013)
eVolCheck: Incremental Upgrade Checker for C . 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer
Dickopf T. (2013)
Numerical study of the almost nested case in a multilevel method based on non-nested meshes . Domain Decomposition Methods in Science and Engineering XX. 91
Gaudio L.,
Grote M. J.,
Schenk O. (2013)
Interior Point Method for Time-Dependent Inverse Problems, in Proceedings of 11th Internat . Conf. on Math. and Numerical Aspects of Wave Propagation (WAVES) 2013. WAVES 2013. Gammarth (Tunisia). 2013
Kuzmin A.,
Luisier M.,
Schenk O. (2013)
Fast Methods for Computing Selected Elements of the Green's Function in Massively Parallel Nanoelectronic Device Simulations . 19th International Conference of Euro-Par 2013: Parallel Processing. Springer Berlin Heidelberg. 19th International Conference of Euro-Par 2013: Parallel Processing. Aachen, Germany. August 26-30, 2013
Lukovic S. ,
Vukmirović S.,
Kaitovic I.,
Erdeljan A. (2012)
Virtual Metering for Virtual PHEV Aggregation . Proceedings of the 16th IEEE Mediterranean Electrotechnical Conference (MELECON2012). Yasmine Hammamet, Tunisia
Mariani G.,
Sima V. M.,
Palermo G.,
Zaccaria V.,
Silvano C.,
Bertels K. (2012)
Using Multi-objective Design Space Exploration to Enable Run-time Resource Management for Reconfigurable Architectures . Proc. Design, Automation Test in Europe Conf. Exhibition (DATE)
Meloni P.,
Tuveri G.,
Raffo L.,
Cannella E.,
Stefanov T.,
Derin O.,
Fiorin L.,
Sami M. G. (2012)
System Adaptivity and Fault-tolerance in NoC-based MPSoCs: The MADNESS Project Approach . Proceedings of the 15th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD''12). Izmir, Turkey
Fantuzzi C.,
Gutman P. O.,
Kaitovic I.,
Larcher L.,
Marzani S.,
Ruggeri M.,
Zagurskis V. (2012)
STRATOS: Open System For Tractors' Autonomous Operations . 5th International Conference on Automation Technology for Off-road Equipment (ATOE). International Commission of Agricultural and Biosystems Engineering (CIGR). Valencia, Spain
Barenghi A.,
Pelosi G.,
Regazzoni F. (2012)
Simulation-Time Security Margin Assessment Against Power-Based Side Channel Attacks . 7th Workshop on Embedded Systems Security (WESS). Tampere, Finland
Kaitovic I.,
Ribeiro Rezende R.,
Murillo Miranda C. M.,
Fantuzzi C. (2012)
Model-driven approach to design ICT infrastructure for precision farming . 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Industrial Electronics Society. Kraków, Poland
Lamichhane B.,
Mudda S.,
Regazzoni F. ,
Puiatti A. (2012)
LEXCOMM: A low energy, secure and flexible communication protocol for a heterogenous body sensor network . IEEE-EMBS International Conference on Biomedical and Health Informatics. Hong Kong, China
Mariani G.,
Palermo G.,
Zaccaria V.,
Silvano C. (2012)
Evaluating Run-time Resource Management Policies for Multi-core Embedded Platforms with the EMME Evaluation Framework . Workshop on Parallel Programming and Run-time Management Techniques for Many-core Architectures
Balasch J.,
Ege B.,
Eisenbarth T.,
Grard B.,
Gong Z.,
Gneysu T.,
Heyse S.,
Kerckhof S.,
Koeune F.,
Plos T.,
Poppelmann T.,
Regazzoni F. ,
Standaert F. X.,
Van Assche G.,
Van Keer R.,
Oldenzeel L. V. O.,
von Maurich I. (2012)
Compact Implementation and Performance Evaluation of Hash Functions in ATtiny Devices . 11th Smart Card Research and Advanced Application Conference (CARDIS). Graz, Austria
Eisenbarth T.,
Gong Z.,
Gneysu T.,
Heyse S.,
Indesteege S.,
Kerckhof S.,
Koeune F.,
Nad T.,
Plos T.,
Regazzoni F. ,
Standaert F. X.,
Oldenzeel L. V. O. (2012)
Compact Implementation and Performance Evaluation of Block Ciphers in ATtiny Devices . Progress in Cryptology - Africacrypt. Ifrance, Morocco
Malek M. (2012)
Securability: the Key Challenge for Autonomic and Trusted Computing . IEEE International Conference on Ubiquitous Intelligence Computing / International Conference on Autonomic Trusted Computing (UIC/ATC)
Fiorin L.,
Ferrante A. ,
Padarnitsas K.,
Regazzoni F. (2012)
Security Enhanced Linux on Embedded Systems: a Hardware-accelerated Implementation . 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012. Sydney, Australia
Lukovic S. ,
Srivastava A. (2012)
System Level Approach to Denial-of-Service Detection in MPSoCs . Proceedings of the 7th Workshop on Embedded Systems Security (WESS''2012), A Workshop of the Embedded Systems Week (ESWEEK''12)
Alberti F.,
Bruttomesso R.,
Ranise S.,
Sharygina N. (2012)
SAFARI: SMT-based Abstraction For Arrays with Interpolants . 24th International Conference on Computer Aided Verification (CAV). Springer. Berkeley, California, USA
Speck R.,
Krause R. ,
Gibbon P. (2012)
Parallel remeshing in tree codes for vortex particle methods . International Conference on Parallel Computing
Favino M. ,
Drolshagen M.,
Bourauel C.,
Krause R. (2012)
A NON-LINEAR BIPHASIC MODEL FOR THE PERIODONTAL LIGAMENT: MODELLING AND SIMULATION . Proceedings of CMBBE2012
Speck R.,
Ruprecht D.,
Krause R. ,
Emmett M.,
Minion M.,
Winkel M.,
Gibbon P. (2012)
A massively space-time parallel N-body solver . Proceedings of the Supercomputing Conference 2012. IEEE Computer Society Press. 92. Salt Lake City
Alberti F.,
Bruttomesso R.,
Ranise S.,
Sharygina N. (2012)
Lazy Abstraction with Interpolants for Arrays . 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR). Springer. Méda, Venezuela
Zaparanuks D.,
Hauswirth M. (2012)
Algorithmic profiling . PLDI '12: Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. ACM. New York, NY, USA
Mariani L.,
Pezzè M. ,
Riganelli O.,
Santoro M. (2012)
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications . Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Pezzè M. (2012)
From off-Line to continuous on-line maintenance . ICSM
Sery O.,
Fedyukovich G. ,
Sharygina N. (2012)
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization . Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA). Thiruvananthapuram, India
Sery O.,
Fedyukovich G. ,
Sharygina N. (2012)
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries . Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD). Cambridge, UK
Rollini S. F.,
Sery O.,
Sharygina N. (2012)
Leveraging Interpolant Strength in Model Checking . 24th International Conference on Computer Aided Verification (CAV). Springer. Berkeley, California, USA
Favino M. ,
Krause R. ,
Steiner J. (2012)
An Efficient Preconditioning Strategy for Schur Complements Arising from Biphasic Models . Biomedical Engineering
Mirzaaghaei M.,
Pastore F.,
Pezzè M. (2012)
Supporting Test Suite Evolution through Test Case Adaptation . Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Marras S.,
Cashman T. J.,
Hormann K. (2012)
A mixed shape space for fast interpolation of articulated shapes . Proceedings of Vision, Modeling, and Visualization 2012. Eurographics Association. VMV 2012. Magdeburg, Germany
Burkhart H.,
Sathe M.,
Christen M.,
Rietmann M.,
Schenk O. (2012)
Run, Stencil, Run, HPC Productivity Studies in the Classroom . 6th Conference on Partitioned Global Address Space Programming Models. Conference on Partitioned Global Address Space Programming Models. Fess Parker's Doubletree Resort Santa Barbara, California, USA. Oct 10-12, 2012
Rietmann M.,
Messmer P.,
Nissen-Meyer T.,
Peter D.,
Basini P.,
Komatitsch D.,
Schenk O. ,
Tromp J.,
Boschi L.,
Giardini D. (2012)
Forward and adjoint simulations of seismic wave propagation on emerging large-scale GPU architectures . International Conference for High Performance Computing, Networking, Storage and Analysis (SC'12). International Conference for High Performance Computing, Networking, Storage and Analysis (SC'12). Salt Lake City, Utah, USA. 10-16 November 2012
Christen M.,
Schenk O. ,
Cui Y. (2012)
Patus for convenient high-performance stencils: Evaluation in earthquake simulations . International Conference for High Performance Computing, Networking, Storage and Analysis (SC'12). International Conference for High Performance Computing, Networking, Storage and Analysis. Salt Lake City, Utah, USA. 10-16 November 2012
Rietmann M.,
Messmer P.,
Nissen-Meyer T.,
Peter D.,
Basini P.,
Komatitsch D.,
Schenk O. ,
Tromp J.,
Boschi L.,
Giardini D. (2012)
Forward and adjoint simulations of seismic wave propagation on emerging large-scale GPU architectures . International Conference for High Performance Computing, Networking, Storage and Analysis (SC'12). International Conference for High Performance Computing, Networking, Storage and Analysis (SC'12). Salt Lake City, Utah, USA. 10-16 November 2012
Peternier A.,
De Filippi M.,
Pasquali P.,
Cantone A.,
Krause R. ,
Vitulli R.,
Ogushi F.,
Meroni A. (2012)
Performance analysis of GPU-based SAR and Interferometric SAR image processing . Proceedings of the 4th Asia-Pacific Conference on Synthetic Aperture Radar (APSAR). APSAR
Prevostini M. ,
Taddeo A.,
Balac K.,
Rigamonti I.,
Baumgärtner J.,
Jermini M. (2011)
WAMS - an adaptive system for knowledge acquisition and decision support: the case of Scaphoideus titanus . IOBC/WPRS European Meeting. Working Group on Integrated Protection and Production in Viticulture. Lacanau, France
Cannella E.,
Di Gregorio L.,
Fiorin L.,
Lindwer M.,
Meloni P.,
Neugebauer O.,
Pimentel A. (2011)
Towards an ESL design framework for adaptive and fault-tolerant MPSoCs: MADNESS or not? . Embedded Systems for Real-Time Multimedia (ESTIMedia), 2011 9th IEEE Symposium on
Taddeo A.,
Morales L. G. G.,
Ferrante A. (2011)
System Policies for Gradual Tuning of Security and Workload in Wireless Sensor Networks . Proceedings of the IEEE Wireless Telecommunication Symposium (WTS). New York, USA
Cevrero A.,
Regazzoni F. ,
Schwander M.,
Badel S.,
Ienne P.,
Leblebici Y. (2011)
Power-Gated MOS Current Mode Logic (PG-MCML): A Power-Aware DPA-Resistant Standard Cell Library . 48th Design Automation Conference (DAC). San Diego, Califorina
Cannella E.,
Derin O.,
Stefanov T. (2011)
Middleware Approaches for Adaptivity of Kahn Process Networks on Networks-on-Chip . DASIP''11: Proceedings of the Conference on Design and Architectures for Signal and Image Processing. Tampere, Finland
Kerckhof S.,
Durvaux F.,
Veyrat-Charvillon N.,
Regazzoni F. ,
de Dormale G. M.,
Standaert F. X. (2011)
Low Cost FPGA Implementations of the SHA-3 Finalists . 10th Smart Card Research and Advanced Application Conference (CARDIS). Leuven, Belgium
Medwed M.,
Petit C.,
Regazzoni F. ,
Renauld M.,
Standaert F. X. (2011)
Fresh Re-Keying II: Securing Multiple Parties against Side-Channel and Fault Attacks . 10th Smart Card Research and Advanced Application Conference (CARDIS). Leuven, Belgium
Taddeo A.,
Morales L. G. G.,
Ferrante A. (2011)
A Framework for Security and Workload Gradual Adaptation . SECRYPT. ICETE. Seville, Spain
Regazzoni F. ,
Yi W.,
Standaert F. X. (2011)
FPGA Implementations of the AES Masked Against Power Analysis Attacks . 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE). Darmstadt, Germany
Bayrak A. G.,
Regazzoni F. ,
Brisk P.,
Standaert F. X.,
Ienne P. (2011)
A First Step Towards Automatic Application of Power Analysis Countermeasures . 48th Design Automation Conference (DAC). San Diego, Califorina
Barenghi A.,
Hocquet C.,
Bol D.,
Standaert F. X.,
Regazzoni F. ,
Koren I. (2011)
Exploring the Feasibility of Low Cost Fault Injection Attacks on Sub-Threshold Devices through an Example of a 65nm AES Implementation . 7th Workshop on RFID Security and Privacy (RFIDSec). Amherst, Massachussets, USA
Baddour R.,
Chiumento A.,
Desset C. (2011)
Energy-Throughput Simulation Approach for Heterogeneous LTE scenarios . ISWCS''11: Proceedings of The Eighth International Symposium on Wireless Communication Systems. Aachen, Germany
Krdu A. J.,
Lebrun Y.,
Ahmad U.,
Pollin S.,
Li M. (2011)
Beamforming for interference mitigation and its implementation on an SDR baseband processor . SiPS''11: Proceedings of the IEEE Workshop on Signal Processing Systems. Beirut, Lebanon
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2011)
ARTE: an Application-specific Run-Time Management Framework for Multi-core Systems . Proceedings IEEE SASP''11 - Symposium on Application Specific Processors. San Diego, CA, USA
Cappiello C. ,
Hinostroza A.,
Pernici B.,
Sami M. G.,
Henis E.,
Kat R. I.,
Meth K. Z.,
Mura M. (2011)
ADSC: Application-Driven Storage Control for Energy Efficiency . Information and Communication on Technology for the Fight against Global Warming - First International Conference ICT-GLOW. Springer. Lecture Notes in Computer Science. Toulouse, France
Kaitovic I.,
Lukovic S. (2011)
Adoption of Model-Driven methodology to aggregations design in Power Grid . INDIN ''11: Proceedings of the 9th IEEE International Conference on Industrial Informatics. Caparica, Lisbon, Portugal
Fiorin L.,
Micconi L.,
Sami M. G. (2011)
Design of Fault Tolerant Network Interfaces for NoCs . Proceedings of 14th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD''11). Oulu, Finland
Derin O.,
Kabakci D.,
Fiorin L. (2011)
Online Task Remapping Strategies for Fault-tolerant Network-on-Chip Multiprocessors . NOCS ''11: Proceedings of the Fifth ACM/IEEE International Symposium on Networks-on-Chip. Pittsburgh, Pennsylvania, USA
Ansaloni G.,
Pozzi L. ,
Tanimura K.,
Dutt N. D. (2011)
Slack-aware scheduling on Coarse Grained Reconfigurable Arrays . Design, Automation Test in Europe Conference Exhibition (DATE), 2011
Tsitovich A.,
Sharygina N. ,
Wintersteiger C. M.,
Kröning D. (2011)
Loop Summarization and Termination Analysis . International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer. Saarbrü Germany
Daniel B.,
Luo Q.,
Mirzaaghaei M.,
Dig D.,
Marinov D.,
Pezzè M. (2011)
Automated GUI refactoring and test script repair . ETSE''11:Proceedings of the 1st International Workshop on End-to-End Test Script Engineering. ACM
Mariani L.,
Pezzè M. ,
Riganelli O.,
Santoro M. (2011)
AutoBlackTest: a tool for automatic black-box testing . ICSE ''11: Proceedings of the 33rd International Conference on Software Engineering. ACM
Jovic M.,
Adamoli A.,
Hauswirth M. (2011)
Catch me if you can: performance bug detection in the wild . OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. ACM. New York, NY, USA
Sery O.,
Fedyukovich G. ,
Sharygina N. (2011)
Interpolation-based Function Summaries in Bounded Model Checking . Haifa Verification Conference (HVC). Springer. Haifa, Israel
Fackeldey K.,
Krause D.,
Krause R. (2011)
Numerical validation of a constraints-based multiscale simulation method for solids . Meshfree Methods for Partial Differential Equations V. Lecture Notes in Computational Science and Engineering
Krause R. ,
Krause D. (2011)
Parallel Scale-Transfer in Multiscale MD-FE Coupling Using Remote Memory Access . eScience Workshops, IEEE 7th International Conference on E-Science
Potse M.,
Dickopf T.,
Krause R. ,
Auricchio A. ,
Prinzen F.,
Krause D. (2011)
Poster: hybrid parallelization of a realistic heart model . SC Companion
Fackeldey K.,
Krause D.,
Krause R. (2011)
Numerical Validation of Constraints Based Multiscale Methods . Proc. Meshfree Methods for Partial Differential Equations V. Lecture Notes in Computational Science and Engineering 79
Grote M.,
Huber J.,
Schenk O. (2011)
Inexact Interior-Point Methods for Time-Harmonic Inverse Medium Problems . 10th International Conference on Mathematical and Numerical Aspects of Waves. 10th International Conference on Mathematical and Numerical Aspects of Waves. Vancouver, Canada. July 25-29, 2011
Castrillon-Mazo J.,
Velasquez R.,
Stulova A.,
Sheng W.,
Ceng J.,
Leupers R.,
Ascheid G.,
Meyr H. (2010)
Trace-based KPN Composability Analysis for Mapping Simultaneous Applications to MPSoC Platforms . Proceedings of Design, Automation and Test in Europe(DATE) Conference. Dresden, Germany
Lukovic S. ,
Čongradac V.,
Kulić F. (2010)
A system level model of possible integration of Building Management System in SmartGrid . Complexity in Engineering (COMPENG 2010). Rome, Italy
Vukmirović S.,
Lukovic S. ,
Erdeljan A.,
Kulić F. (2010)
A solution for CIM based integraton of Meter Data Management in Control Center of a power system . Proceedings of the 2010 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS''10). Taranto, Italy
Vukmirović S.,
Erdeljan A.,
Kulić F.,
Lukovic S. (2010)
Software architecture for Smart Metering systems with Virtual Power Plant . Proceedings of the 15th IEEE Mediterranean Electrotechnical Conference (MELECON2010). La Valleta, Malta
Vukmirović S.,
Lukovic S. ,
Erdeljan A.,
Kulić F. (2010)
A Smart Metering Architecture as a Step Towards Smart Grid realization . Proceedings of the IEEE EnergyCon 2010. Bahrain
Tumeo A.,
Regazzoni F. ,
Palermo G.,
Ferrandi F.,
Sciuto D. (2010)
A Reconfigurable Multiprocessor Architecture for a Reliable Face Recognition Implementation . Proceedings of Design, Automation and Test in Europe (DATE) Conference. Dresden, Germany
Silvano C.,
Fornaciari W.,
Palermo G.,
Zaccaria V.,
Castro F.,
Martinez M.,
Bocchio S.,
Zafalon R.,
Avasare P.,
Vanmeerbeeck G.,
Ykman-Couvreur C.,
Wouters M.,
Kavka C.,
Onesti L.,
Turco A.,
Bondi U. ,
Mariani G.,
Posadas H.,
Villar E.,
Wu S. Y. C.,
Dongrui F.,
Hao Z.,
Shibin T. (2010)
Multicube: Multi-objective design space exploration of multi-core architectures . ISVLSI 2010: IEEE Annual Symposium on VLSI. Lixouri, Kefalonia - Greece
Zaccaria V.,
Palermo G.,
Castro F.,
Silvano C.,
Mariani G. (2010)
Multicube Explorer: An Open Source Framework for Design Space Exploration of Chip Multi-Processors . 2PARMA: Proceedings of the Workshop on Parallel Programming and Run-time Management Techniques for Many-core Architectures. Hannover, Germany
Barenghi A.,
Breveglieri L.,
Koren I.,
Pelosi G.,
Regazzoni F. (2010)
Low Cost Software Countermeasures Against Fault Attacks: Implementation and Performances Trade Offs . 5th Workshop on Embedded Systems Security (WESS). Scottsdale, Arizona, USA
Avasare P.,
Vanmeerbeeck G.,
Ykman-Couvreur C.,
Mariani G.,
Palermo G.,
Zaccaria V.,
Silvano C. (2010)
Linking run-time management with design space exploration at multiple abstraction levels . Proceedings of the DATE''10 workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications. Dresden, Germany
Mariani G.,
Avasare P.,
Vanmeerbeeck G.,
Ykman-Couvreur C.,
Palermo G.,
Silvano C.,
Zaccaria V. (2010)
An industrial design space exploration framework for supporting run-time resource management on multi-core systems . Proceedings of Design, Automation and Test in Europe (DATE) Conference. Dresden, Germany
Gallais J. F.,
Großschädl J.,
Hanley N.,
Kasper M.,
Medwed M.,
Regazzoni F. ,
Schmidt J. M.,
Tillich S.,
Wojcik M. (2010)
Hardware Trojans for Inducing or Amplifying Side-Channel Leakage of Cryptographic Software . 2nd International Conference on Trusted Systems (INTRUST). Beijing, China
Lukovic S. ,
Kaitovic I.,
Mura M.,
Bondi U. ,
Kulić F.,
Popović D. (2010)
Functional model of Virtual Power Plant (VPP) . Proceedings of the 2010 CIGRE (International Council on Large Electric Systems) Session. Paris, France
Medwed M.,
Standaert F. X.,
Großschädl J.,
Regazzoni F. (2010)
Fresh Re-Keying: Security against Side-Channel and Fault Attacks for Low-Cost Devices . Proceedings of Progress in Cryptology - Africacrypt. Stellenbosch, South Africa
Vukmirović S.,
Lukovic S. ,
Erdeljan A.,
Kulić F. (2010)
An enhanced workflow management for Utility Management System . Proceedings of the International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2010). Moscow, Russia
Mariani G.,
Ykman-Couvreur C.,
Zhang K.,
Zhang L.,
Lafruit G. (2010)
An Efficient Run-Time Management Methodology for Stereo Matching Application . 2PARMA: Proceedings of the Workshop on Parallel Programming and Run-time Management Techniques for Many-core Architectures. Hannover, Germany
Mariani G.,
Palermo G.,
Zaccaria V.,
Brankovic A.,
Jovic J.,
Silvano C. (2010)
A Correlation-based Design Space Exploration Methodology for Multi-Processor Systems-on-Chip . Proceedings of DAC 2010: Design Automation Conference. Anheim, CA, USA
Lukovic S. ,
Kaitovic I.,
Bondi U. (2010)
Adopting system engineering methodology to Virtual Power Systems design flow . CPSWEEK/GREEMBED 2010: Proceedings of the First Workshop on Green and Smart Embedded System Technology: Infrastructures, Methods and Tools. Stockholm, Sweden
Lukovic S. ,
Christianos N. (2010)
Enhancing Network-on-Chip Components to Support Security of Processing Elements . Proceedings of the 5th Workshop on Embedded Systems Security (WESS''2010) A Workshop of the Embedded Systems Week (ESWEEK ''10). Scottsdale, AZ, USA
Taddeo A.,
Micconi L.,
Ferrante A. (2010)
Gradual Adaptation of Security for Sensor Networks . IEEE WoWMoM 2010: Proceedings of the IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks. Montreal, Canada
Fiorin L.,
Ferrante A. ,
Padarnitsas K.,
Carucci S. (2010)
Hardware-assisted Security Enhanced Linux in Embedded Systems: a Proposal . Proceedings of the 5th Workshop on Embedded Systems Security (WESS''2010). Scottsdale, Arizona, USA
Lukovic S. ,
Christianos N. (2010)
Hierarchical Multi-Agent Protection System for NoC based MPSoCs . Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems (SD4RCES 2010). Vienna, Austria
Fiorin L.,
Palermo G.,
Silvano C. (2010)
A Monitoring System for NoCs . Proceedings of the Third International Workshop on Network on Chip Architectures (NoCArc''2010). Atlanta, Georgia, USA
Taddeo A.,
Mura M.,
Ferrante A. (2010)
QoS and Security in Energy-harvesting Wireless Sensor Networks . Proceedings of ICETE SECRYPT. Athens, Greece
Derin O.,
Ferrante A. (2010)
Scheduling energy consumption with local renewable micro-generation and dynamic electricity prices . CPSWEEK/GREEMBED 2010: Proceedings of the First Workshop on Green and Smart Embedded System Technology: Infrastructures, Methods and Tools. Stockholm, Sweden
Taddeo A.,
Ferrante A. (2010)
Security and Packets Delivery Trade-Off for WSN . Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE
Lukovic S. ,
Pezzino P.,
Fiorin L. (2010)
Stack Protection Unit as a step towards securing MPSoCs . Proceedings of 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS). Atlanta, USA
Derin O.,
Diken E. (2010)
A Task-aware Middleware for Fault-tolerance and Adaptivity of Kahn Process Networks on Network-on-Chip . ReCoSoC 2010: Proceedings of the Fifth International Workshop on Reconfigurable Communication Centric System-on-Chips. Karlsruhe, Germany
Argyris I.,
Mura M.,
Prevostini M. (2010)
Using MARTE for Designing power Supply Section of WSNs . M-BED 2010: Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (a DATE 2010 Workshop). Dresden, Germany
Lukovic S. ,
Kaitovic I.,
Mura M.,
Bondi U. (2010)
Virtual Power Plant as a bridge between Distributed Energy Resources and Smart Grid . Proceedings of 43th Hawaii International Conference on System Sciences (HICSS''43). Hawaii, USA
Kröning D.,
Sharygina N. ,
Tsitovich A.,
Wintersteiger C. M. (2010)
Termination Analysis with Compositional Transition Invariants . International Conference on Computer-Aided Verification (CAV). Springer. Edinburgh, UK
Baluda M.,
Braione P.,
Denaro G.,
Pezzè M. (2010)
Structural coverage of feasible code . Proceedings of the 5th Workshop on Automation of Software Test. ACM. AST ''10. New York, NY, USA
Mytkowicz T.,
Diwan A.,
Hauswirth M. ,
Sweeney P. F. (2010)
Evaluating the accuracy of Java profilers . PLDI '10: Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation. ACM. New York, NY, USA
Favino M. ,
Steiner J.,
Gross C. (2010)
Heterogeneous Coupling: A Comparison of two Approaches for the Modeling of thin Structures . PAMM Proceedings in Applied Mathematics and Mechanics. PAMM
Carzaniga A. ,
Gorla A.,
Perino N.,
Pezzè M. (2010)
Automatic Workarounds for Web Applications . FSE''10: Proceedings of the 2010 Foundations of Software Engineering conference. ACM. New York, NY, USA
Mirzaaghaei M.,
Pastore F.,
Pezzè M. (2010)
Automatically repairing test cases for evolving method declarations . Software Maintenance (ICSM), 2010 IEEE International Conference on
Krause R. ,
Steiner J. (2010)
Cosserat-Rods and Elastic Bodies: On the Numerical Simulation of a Coupled System . 9th International Symposium on Computer methods in Biomechanics and Biomedical Engineering. Arup, Solihull. CMBBE2010. Valencia, Spain
Rollini S. F.,
Bruttomesso R.,
Sharygina N. (2010)
An Efficient and Flexible Approach to Resolution Proof Reduction . Haifa Verification Conference (HVC). Springer. Haifa, Israel
Toffetti Carughi G.,
Gambi A.,
Pezzè M. ,
Pautasso C. (2010)
Engineering autonomic controllers for virtualized web applications . Proceedings of the 10th international conference on Web engineering (ICWE). Springer-Verlag. ICWE''10. Berlin, Heidelberg
Bruttomesso R.,
Rollini S. F.,
Sharygina N. ,
Tsitovich A. (2010)
Flexible Interpolation with Local Proof Transformations . International Conference of Computer Aided Design (ICCAD). IEEE Computer Society. San Jose, USA
Bruttomesso R.,
Pek E.,
Sharygina N. (2010)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation . International Conference on Formal Methods and Models for Codesign (MEMOCODE). IEEE Computer Society. Grenoble, France
Bruttomesso R.,
Pek E.,
Sharygina N. ,
Tsitovich A. (2010)
The OpenSMT Solver . International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer. Paphos, Cyprus
Gambi A.,
Toffetti Carughi G.,
Pezzè M. (2010)
Protecting SLAs with surrogate models . Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems. ACM. PESOS ''10. New York, NY, USA
Carzaniga A. ,
Gorla A.,
Perino N.,
Pezzè M. (2010)
RAW: runtime automatic workarounds . ICSE''10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Tool Demo). ACM. New York, NY, USA
Mariani L.,
Pezzè M. ,
Riganelli O.,
Santoro M. (2010)
SEIM: static extraction of interaction models . Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems. ACM. PESOS ''10. New York, NY, USA
Schärfig R.,
Hormann K. (2010)
Hardware accelerated 3D mesh painting . Proceedings of Vision, Modeling, and Visualization 2010. Eurographics Association. VMV 2010. Siegen, Germany
Murillo L. G.,
Mura M.,
Prevostini M. (2009)
Semi-Automated HW/SW Co-design for Embedded Systems: from MARTE Models to SystemC Simulators . FDL'09, Proceedings. FDL'09 Proceedings Sophia-Antipolis, France, 22-24 September 2009. FDL'09. Sophia-Antipolis, France. 22-24 September 2009
Dutta Choudhury A.,
Palermo G.,
Silvano C.,
Zaccaria V. (2009)
Yield Enhancement by Robust Application-specific Mapping on Network-on-Chips . NoCArc''09: Proceedings of the Second International Workshop on Network on-Chip Architectures. New York City, USA
Upasani G.,
Calimera A.,
Macii A.,
Macii E.,
Poncino M. (2009)
Reducing Timing Overhead in Simultaneously Clock-Gated and Power-Gated Designs by Placement-Aware Clustering . Proceedings of the 19th international workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2009). Delft, The Netherlands
Čongradac V.,
Kulić F.,
Lukovic S. (2009)
Prediction of the type of heating with EnergyPlus program and fuzzy logic . 40th International Congress on Heating, Refrigerating and Air-conditioning (KGH Congress). Belgrade, Serbia
Milic B.,
Malek M. (2009)
NPART - node placement algorithm for realistic topologies in wireless multihop network simulation . Proceedings of the 2nd International Conference on Simulation Tools and Techniques. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). ICST, Brussels, Belgium, Belgium
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2009)
Multiprocessor System-on-Chip Design Space Exploration based on Multi-level Modeling Techniques . Proceedings of IEEE IC-SAMOS''09 - International Conference on Embedded Computer Systems: Architectures, MOdeling, and Simulation. Samos, Greece
Silvano C.,
Palermo G.,
Zaccaria V.,
Fornaciari W.,
Zafalon R.,
Bocchio S.,
Martinez M.,
Wouters M.,
Vanmeerbeeck G.,
Avasare P.,
Onesti L.,
Kavka C.,
Bondi U. ,
Mariani G.,
Villar E.,
Posadas H.,
Wu S. Y. C.,
Dongrui F.,
Hao Z. (2009)
MULTICUBE: Multi-Objective Design Space Exploration of Multiprocessor Architectures for Embedded Multimedia Applications . Proceedings of the DATE''09 workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications. Nice, France
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2009)
Multicube Explorer - A Design Space Exploration Framework for Embedded Systems-on-Chip . Proceedings of the DATE''09 workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications. Nice, France
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2009)
Meta-model Assisted Optimization for Design Space Exploration of Multi-Processor Systems-on-Chip . Euromicro Proceedings of DSD''09 - Conference on Digital System Design. Patras, Greece
Mariani G.,
Palermo G.,
Silvano C.,
Zaccaria V. (2009)
A Design Space Exploration Methodology Supporting Run-Time Resource Management for Multi-Processors System on-Chip . Proceedings IEEE SASP''09 - Symposium on Application Specific Processors. San Francisco, CA, USA
Bailey D. V.,
Baldwin B.,
Batina L.,
Bernstein D. J.,
Birkner P.,
Bos J. W.,
van Damme G.,
de Meulenaer G.,
Fan J.,
Gurkaynak F.,
Güneys T.,
Kleinjung T.,
Lange T.,
Mentens N.,
Paar C.,
Regazzoni F. ,
Schwabe P.,
Uhsadel L. (2009)
The Certicom Challenges ECC2-X . Workshop on Special Purpose Hardware for Attacking Cryptographic Systems (SHARCS). Lausanne, Switzerland
Bondi U. ,
Sami M. G. (2009)
Creating an Embedded Systems Program from Scratch: Nine years of experience at ALaRI . Proceedings of the 2009 Workshop on Embedded System Education. Grenoble, France
Mady A. D.,
Tonini A.,
Finardi D. (2009)
Design Space Exploration of PISA Architecture For ONU Auto-discovery Process . proceedings of 6th International Conference of Electrical Engineering (ICEENG). Cairo, Egypt
Lukovic S. ,
Kaitovic I.,
Mura M.,
Bondi U. (2009)
Functional requirements of embedded systems for monitoring and control structure of Virtual Power Plants . Proceedings of the 2009 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems. Crema, Italy
Fiorin L.,
Palermo G.,
Silvano C. (2009)
MPSoCs Run-Time Monitoring through Networks-on-Chip . The 2009 Conference on Design, Automation and Test In Europe (DATE''09). Nice, France
Taddeo A.,
Marcon P.,
Ferrante A. (2009)
Negotiation of Security Services: a Multi-criteria Decision Approach . Proceedings of the 4th Workshop on Embedded Systems Security. Grenoble, France
Taddeo A.,
Ferrante A. (2009)
Run-time Selection of Security Algorithms For Networked Devices . 5th ACM International Symposium on QoS and Security for Wireless and Mobile Networks. Tenerife, Canary Islands, Spain
Taddeo A.,
Ferrante A. (2009)
A Security Service Protocol for MANETs . Consumer Communications and Networking Conference. CCNC 2009. IEEE. in Las Vegas, Nevada, USA
Derin O.,
Ferrante A. (2009)
Simulation of a Self-adaptive Run-time Environment with Hardware and Software Components . SINTER ''09: Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime. ACM. Amsterdam, The Netherlands
Carzaniga A. ,
Denaro G.,
Pezzè M. ,
Estublier J.,
Wolf A. (2009)
Toward deeply adaptive societies of digital systems . Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Kröning D.,
Sharygina N. ,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M. (2009)
Loopfrog: A Static Analyzer for ANSI-C Programs . The 24th IEEE/ACM International Conference on Automated Software Engineering. IEEE Computer Society. Auckland, New Zealand
Chang H.,
Mariani L.,
Pezzè M. (2009)
In-field healing of integration problems with COTS components . Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on
Denaro G.,
Pezzè M. ,
Tosi D. (2009)
Ensuring interoperable service-oriented systems through engineered self-healing . ESEC/FSE ''09: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. ACM. New York, NY, USA
Denaro G.,
Gorla A.,
Pezzè M. (2009)
DaTeC: Dataflow Testing of Java Classes . ICSE Companion''09: Proceedings of the International Conference on Software Engineering (Tool Demo). ACM. New York, NY, USA
Lo D.,
Mariani L.,
Pezzè M. (2009)
Automatic steering of behavioral model inference . ESEC/FSE ''09: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. ACM. New York, NY, USA
Gross C.,
Krause R. ,
Walloth M. (2009)
Nonlinear Decomposition Methods in Elastodynamics . Numerical Mathematics and Advanced Applications. Institute of Computational Science, University of Lugano
Ansaloni G.,
Bonzini P.,
Pozzi L. (2009)
Heterogeneous coarse-grained processing elements: A template architecture for embedded processing acceleration . Design, Automation Test in Europe Conference Exhibition, 2009. DATE ''09.
Pezzè M. ,
Wuttke J. D. (2009)
LuMiNous - model-driven assertion generation for runtime failure detection . Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Gross C.,
Krause R. (2009)
A Recursive Trust--Region Method for Non-convex Constrained Minimization . Domain Decomposition Methods in Science and Engineering XVIII. Lecture Notes in Computational Science and Engineering
Bruttomesso R.,
Sharygina N. (2009)
A Scalable Decision Procedure for Fixed-Width Bit-Vectors . International Conference of Computer Aided Design (ICCAD). ACM. San Jose (CA)
Gambi A.,
Pezzè M. ,
Young M. (2009)
SLA Protection models for virtualized data centers . Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS ''09. ICSE Workshop on
Sharygina N. ,
Tonetta S.,
Tsitovich A. (2009)
The Synergy of Precise and Fast Abstractions for Program Verification . 24th Annual ACM Symposium on Applied Computing (SAC). ACM. Honolulu, USA
Mariani L.,
Pastore F.,
Pezzè M. (2009)
A toolset for automated failure analysis . Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on
Krause D.,
Krause R. ,
Fackeldey K. (2009)
Weak Coupling Algorithms in Multiscale Simulations . Proceedings of the third Inter. Confer. on Comp. Meth. for Coupled Problems in Science and Engrg.
Christen M.,
Schenk O. ,
Neufeld E.,
Messmer P.,
Burkhart H. (2009)
Parallel data-locality aware stencil computations on modern micro-architectures . 2009 IEEE International Symposium on Parallel Distributed Processing. 2009 IEEE International Symposium on Parallel Distributed Processing. Aurelia Convention Centre, Rome, Italy. May, 25-29, 2009
Manguoglu M.,
Sameh A. H.,
Schenk O. (2009)
PSPIKE: A Parallel Hybrid Sparse Linear System Solver . Proceedings of the 15th International Euro-Par Conference on Parallel Processing. Springer Berlin Heidelberg. Lecture Notes in Computer Science book series, LNCS, volume 5704. Proceedings of the 15th International Euro-Par Conference on Parallel Processing. Delft, The Netherlands,. August 2009
Sathe M.,
Schenk O. ,
Burkhart H. (2009)
Solving Bi-objective Many-Constraint Bin Packing Problems in Automobile Sheet Metal Forming Processes . Proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimizatio. Springer Berlin Heidelberg. Proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimization,. Nantes, France. April 2009
Dickopf T.,
Krause R. (2009)
Weak information transfer between non-matching warped interfaces . Domain Decomposition Methods in Science and Engineering XVIII. Lecture Notes in Computational Science and Engineering
Eugster P. T. (2009)
EventJava: An Extension of Java for Event Correlation . ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Springer. Lecture Notes in Computer Science
Mura M.,
Panda A.,
Prevostini M. (2008)
Executable Models and Verification from MARTE and SysML: a comparative study of code generation capabilities . DATE'08, Workshop on Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile, Proc. pp 29-34. DATE'08, Workshop on Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profileProc. pp 29-34 Munich, Germany, 14 March 2008. Workshop on Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile. Munich, Germany. 14 March 2008
Mura M.,
Murillo L. G.,
Prevostini M. (2008)
Model-based Design Space Exploration for RTES with SysML and MARTE . FDL'08, Proc. pp 389-394. FDL'08 Proc. pp 389-394 Stuttgart, Germany, 23-25 September 2008. FDL'08. Stuttgart, Germany. 23-25 September 2008
Lukovic S. ,
Puzović N.,
Stanisavljevic M. (2008)
An Enhanced Service Provider Communication Interface with Client Priorization . proceedings of IEEE/WFMC International Conference on e-Business
Mariani G.,
Palermo G.,
Zaccaria V.,
Silvano C. (2008)
An Efficient Design Space Exploration Methodology for Multi-Cluster VLIW Architectures based on Artificial Neural Networks . Proc. IFIP International Conference on Very Large Scale Integration VLSI - SoC 2008. Rhodes Island, Greece
Regazzoni F. ,
Eisenbarth T.,
Breveglieri L.,
Ienne P.,
Koren I. (2008)
Can knowledge regarding the presence of countermeasures against fault attacks simplify power attacks on cryptographic devices? . Proceedings of 23rd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFTS 08)
Bertoni G. M.,
Breveglieri L.,
Farina R.,
Regazzoni F. (2008)
A 640 Mbit/s 32-bit Pipelined Implementation of the AES Algorithm . SECRYPT. Porto, Portugal
Bonesana I.,
Paolieri M.,
Santambrogio M. D. (2008)
An adaptable FPGA-based System for Regular Expression Matching . Proceedings of Design, Automation and Test in Europe (DATE) Conference. Munich, Germany
Lukovic S. ,
Fiorin L. (2008)
An Automated Design Flow for NoC-based MPSoCs on FPGA . RSP 2008, The 19th IEEE/IFIP International Symposium on Rapid System Prototyping. Monterey, USA/CA
Mura M.,
Sami M. G. (2008)
Code Generation from Statecharts: Simulation of Wireless Sensor Networks . Proceedings of DSD08. Parma, Italy
Fiorin L.,
Lukovic S. ,
Palermo G. (2008)
Implementation of a Reconfigurable Data Protection Module for NoC-based MPSoCs . Proceedings of the 21st IPDPS 2007 Reconfigurable Architecture Workshop (RAW), 21th IEEE International Parallel and Distributed Processing Symposium. Miami, USA/FL
Mura M.,
Fabbri F.,
Sami M. G. (2008)
Modelling the Power Cost of Security in Wireless Sensor Networks : the Case of 802.15.4 . Proceedings of IEEE ICT08. Saint Petersburg, Russia
Ferrante A. ,
Pompei R.,
Stulova A.,
Taddeo A. (2008)
A Protocol For Pervasive Distributed Computing Reliability . SecPri_WiMob 2008. IEEE. Avignon, France
Fiorin L.,
Palermo G.,
Silvano C. (2008)
A Security Monitoring Service for NoCs . Sixth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS''08). Atlanta, Georgia, USA.
Müller H. A.,
Pezzè M. ,
Shaw M. (2008)
Visibility of Control in Adaptive Systems . ULSSIS '08: Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems. ACM. New York, NY, USA
Chang H.,
Mariani L.,
Pezzè M. (2008)
Self-healing strategies for component integration faults . Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference on
Blanc N.,
Kröning D.,
Sharygina N. (2008)
Scoot: A Tool for the Analysis of SystemC Models . TACAS
Kröning D.,
Sharygina N. ,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M. (2008)
Loop Summarization using Abstract Transformers . 6th International Symposium on Automated Technology for Verification and Analysis (ATVA). Springer. Seoul, South Korea
Lambers L.,
Mariani L.,
Ehrig H.,
Pezzè M. (2008)
A Formal Framework for Developing Adaptable Service- Based Applications . FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering
Denaro G.,
Gorla A.,
Pezzè M. (2008)
Contextual Integration Testing of Classes . FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering
Lorenzoli D.,
Mariani L.,
Pezzè M. (2008)
Automatic Generation of Software Behavioral Models . ICSE '08: Proceedings of the 30th International Conference on Software Engineering. IEEE Computer Society
Bonzini P.,
Ansaloni G.,
Pozzi L. (2008)
Compiling custom instructions onto expression-grained reconfigurable architectures . Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems. ACM. CASES ''08. New York, NY, USA
Ansaloni G.,
Bonzini P.,
Pozzi L. (2008)
Design and Architectural Exploration of Expression-Grained Reconfigurable Arrays . Application Specific Processors, 2008. SASP 2008. Symposium on
Carzaniga A. ,
Gorla A.,
Pezzè M. (2008)
Self-Healing by Means of Automatic Workarounds . SEAMS '08: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems. ACM. New York, NY, USA
Christen M.,
Schenk O. ,
Messmer P.,
Neufeld E.,
Burkhart H. (2008)
Biomedical Hyperthermia Cancer Treatment Planning on Leading Multicore Platforms . Proceedings of the First International Workshop on New Frontiers in High-performance and Hardware-aware Computing (HipHaC'08). IEEE/ACM International Symposium on Microarchitecture (MICRO-41). IEEE/ACM International Symposium on Microarchitecture (MICRO-41). Lake Como, Italy. November 8-12, 2008
Palermo G.,
Mariani G.,
Silvano C.,
Locatelli R.,
Coppola M. (2007)
A Topology Design Customization Approach for (STNoC) . Nano-Nets 07, in proceedings of 2nd International Conference on Nano-Networks (Nano-Nets 2007).. Catania, Italy
Regazzoni F. ,
Bonesana I.,
Djakov M.,
Mattiuz A. (2007)
Tairona, an Open Source Platform for Worldwide Meeting and Tutoring . World Conference on Educational Multimedia, Hypermedia and Telecommunications 7 (ED-MEDIA 07). Vancouver, Canada
Bozzon A.,
Iofciu T.,
Nejdl W.,
Taddeo A.,
Tonnies S. (2007)
Role Based Access Control for the interaction with Search Engines . COOPER Workshop in conjunction with EC-TEL07 Conference
Otero J.,
Regazzoni F. ,
Lajolo M. (2007)
Rapid Creation of Application Models from Bandwidth Aware Core Graphs . Proceedings of: IP Based SoC Design 2007. Grenoble, France
Giesbers B.,
Taddeo A.,
Vegt W.,
Bruggen J.,
Koper R. (2007)
A Question Answering service for information retrieval in Cooper . COOPER Workshop in conjunction with EC-TEL07 Conference
Ferrante A. ,
Chandra S.,
Piuri V. (2007)
A Query Unit for the IPSec Databases . SECRYPT 2007. Barcelona, Spain
Regazzoni F. ,
Eisenbarth T.,
Großschädl J.,
Breveglieri L.,
Ienne P.,
Koren I.,
Paar C. (2007)
Power Attacks Resistance of Cryptographic S-boxes with added Error Detection Circuits . proceedings of: ''22nd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT''07). Rome, Italy
Palermo G.,
Mariani G.,
Silvano C.,
Locatelli R.,
Coppola M. (2007)
Mapping and Topology Customization Approaches for Application-Specific STNoC Designs . IEEE Proceedings of ASAP''07 - 18th International Conference on Application-specific Systems, Architectures and Processors. Montréal, Québec, Canada
Ferrante A. ,
Piuri V. (2007)
High-level Architecture of an IPSec-dedicated System on Chip . proceedings of NGI 2007. IEEE Press. Trondheim, Norway
Nacul A. C.,
Regazzoni F. ,
Lajolo M. (2007)
HardwareScheduling Support in SMP Architecture . Design, Automation and Test in Europe(DATE). Nice, France
Giaconia M.,
Macchetti M.,
Regazzoni F. ,
Schramm K. (2007)
Area and Power Efficient Synthesis of DPA-Resistant Cryptographic SBoxes . International Conference on VLSI Design \& Embedded Systems. Bangalore, India
Palermo G.,
Mariani G.,
Silvano C.,
Locatelli R.,
Coppola M. (2007)
Application-Specific Topology Design Customization for STNoC . DSD07, in proceedings of 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD 07). Lübeck, Germany
Fiorin L.,
Palermo G.,
Lukovic S. ,
Silvano C. (2007)
A Data protection Unit for NoC-based Architecture . CODES+ISSS 2007, in proceedings of the Fifth IEEE/ACM/FIP International Conference of Hardware/Software Codesign and System Synthesis (CODES+ISSS 2007). Salzburg, Austria
Ferrari F.,
Amador E. (2007)
Design exploration for an Ogg/Vorbis decoder for VLIW architectures . Workshop on Application Specific Processors (WASP ''07). Salzburg, Austria
Derin O. (2007)
Learning Java by a Card Game: A Case Study . LG2007: Proceedings of Learning with Games Conference. Sophia Antipolis, France
Dadda L.,
Ferrante A. ,
Macchetti M. (2007)
A Memory Unit for Priority Management in IPSec Accelerators . proceedings of ICC07. Glasgow, Scotland: IEEE Communications Society. Glasgow, Scotland
Mura M.,
Paolieri M.,
Negri L.,
Fabbri F.,
Sami M. G. (2007)
Power Modeling and Power Analysis for IEEE 802.15.4: a Concurrent State Machine Approach . Proceedings of CCNC 2007. Las Vegas, USA
Paolieri M.,
Bonesana I.,
Santambrogio M. D. (2007)
ReCPU: a Parallel and Pipelined Architecture for Regular Expression Matching . Proceedings of 15th Annual IFIP International Conference on Very Large Scale Integration (IFIP-VLSI 07),(best paper award). Atlanta, Georgia, USA
Salvioni C.,
Taddeo A. (2007)
Remote Cooperation on Project-centred Learning: a Working Implemented Solution in Academia . COOPER Workshop in conjunction with EC-TEL07 Conference
Mura M.,
Paolieri M. (2007)
SC2: State Charts to System C: Automatic Executable Models Generation . proceedings FDL07. Barcelona, Spain
Fiorin L.,
Silvano C.,
Sami M. G. (2007)
Security Aspects in Networks-on-Chips: Overview and Proposals for Secure Implementations . DSD07, in proceedings of 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD 07). Lübeck, Germany
Ferrante A. ,
Taddeo A.,
Sami M. G.,
Mantovani F.,
Fridkins J. (2007)
Self-adaptive Security at Application Level: a Proposal . ReCoSoC 2007, Jun. 2007, in proceedings of ReCoSoC 2007
Mura M.,
Paolieri M.,
Negri L.,
Sami M. G. (2007)
StateCharts to SystemC: a High Level Hardware Simulation Approach . Proceedings of GLSVLSI 2007. Stresa, Italy
Mura M. (2007)
Ultra-low power optimizations for the IEEE 802.15.4 networking protocol . proceedings of MASS
Jain H.,
Kröning D.,
Sharygina N. ,
Clarke E. M. (2007)
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. . Lecture Notes in Computer Science. Springer
Lorenzoli D.,
Mariani L.,
Pezzè M. (2007)
Towards Self-Protecting Enterprise Applications . Software Reliability, 2007. ISSRE ''07. The 18th IEEE International Symposium on
Aldrich J.,
Leavens G. T.,
Barnett M.,
Sharygina N. ,
Giannakopoulou D. (2007)
Specification and verification of component-based systems 2007 . ESEC/SIGSOFT FSE (Companion)
Regazzoni F. ,
Badel S.,
Eisenbarth T.,
Großschädl J.,
Poschmann A.,
Toprak Z.,
Macchetti M.,
Pozzi L. ,
Paar C.,
Leblebici Y.,
Ienne P. (2007)
A Simulation-Based Methodology for Evaluating the DPA-Resistance of Cryptographic Functional Units with Application to CMOS and MCML Technologies . Embedded Computer Systems: Architectures, Modeling and Simulation, 2007. IC-SAMOS 2007. International Conference on
Denaro G.,
Pezzè M. ,
Tosi D. (2007)
SHIWS: A Self-Healing Integrator for Web Services . Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on
Lambers L.,
Ehrig H.,
Mariani L.,
Pezzè M. (2007)
Iterative Model-driven Development of Adaptable Service-Based Applications . ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
Kröning D.,
Sharygina N. (2007)
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. . DATE. ACM
Pozzi L. ,
Paulin P. (2007)
A Future of Customizable Processors: Are We There Yet? . Design, Automation Test in Europe Conference Exhibition, 2007. DATE ''07
Denaro G.,
Pezzè M. ,
Tosi D. (2007)
Designing Self-Adaptive Service-Oriented Applications . Autonomic Computing, 2007. ICAC ''07. Fourth International Conference on
Mariani L.,
Papagiannakis S.,
Pezzè M. (2007)
Compatibility and Regression Testing of COTS-Component-Based Software . Software Engineering, 2007. ICSE 2007. 29th International Conference on
Braghin C.,
Sharygina N. ,
Barone-Adesi K. (2007)
Automated Verification of Security Policies in Mobile Code. . Integrated Formal Methods (IFM). Springer
Bonzini P.,
Pozzi L. (2007)
Polynomial-Time Subgraph Enumeration for Automated Instruction Set Extension . Design, Automation Test in Europe Conference Exhibition, 2007. DATE ''07
Bonzini P.,
Pozzi L. (2007)
A Retargetable Framework for Automated Discovery of Custom Instructions . Application -specific Systems, Architectures and Processors, 2007. ASAP. IEEE International Conf. on
Bonzini P.,
Tekbas Harmanci D.,
Pozzi L. (2007)
A study of energy saving in customizable processors . SAMOS''07: Proceedings of the 7th international conference on Embedded computer systems. Springer-Verlag. Berlin, Heidelberg
Christen M.,
Schenk O. ,
Burkhart H. (2007)
General-Purpose Sparse Matrix Building Blocks using the NVIDIA CUDA Technology Platform . First Workshop on General Purpose Processing on Graphics Processing Units. GPGPU '08. Washington, DC, USA. March 08 - 08, 2009
Bertoni G. M.,
Breveglieri L.,
Farina R.,
Regazzoni F. (2006)
Speeding Up AES By Extending a 32 bit Processor Instruction Set . ASAP ''06: Proceedings of the IEEE 17th International Conference on Application-specific Systems, Architectures and Processors (ASAP''06). IEEE Computer Society. Washington, DC, USA
Taddeo A.,
Ferrante A. ,
Piuri V. (2006)
Scheduling Small Packets in IPSec-based Systems . CCNC. Las Vegas, NV, USA
Pena J. A.,
Upegui A.,
Sanchez E. (2006)
Particle Swarm Optimization with Discrete Recombination: An Online Optimizer for Evolvable Hardware . 1st NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2006). Istanbul, Turkey
Chandra S.,
Regazzoni F. ,
Lajolo M. (2006)
Hardware/software partitioning of operating systems: A behavioral synthesis approach . GLSVLSI ''06: Proceedings of the 16th ACM Great Lakes symposium on VLSI. ACM Press, New York, USA. Philadelphia, PA, USA
Bongio A.,
Bruggen J.,
Ceri S.,
Cristea V.,
Dolog P.,
Hoffmann A.,
MATERA M.,
Mura M.,
Taddeo A.,
Zhou X.,
Zoni L. (2006)
COOPER: Towards A Collaborative Open Environment of Project-centred Learning . proceedings to EC-TEL''06 conference. Crete, Greece
Macchetti M.,
Chen W. (2006)
ASIC Hardware Implementation of the IDEA NXT Encryption Algorithm . IEEE International Symposium on Circuits and Systems. Kos, Greece
Negri L.,
Zanetti D. (2006)
Power/Performance Tradeoffs in Bluetooth Sensor Networks . HICSS ''06: Proceedings of the 39th Annual Hawaii International Conference on System Sciences. IEEE Computer Society. Washington, DC, USA
Denaro G.,
Pezzè M. ,
Tosi D.,
Schilling D. (2006)
Towards Self-Adaptive Service-Oriented Architectures . TAV-WEB '06: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications. ACM. New York, NY, USA
Biswas P.,
Banerjee S.,
Dutt N. D.,
Ienne P.,
Pozzi L. (2006)
Performance and Energy Benefits of Instruction Set Extensions in an FPGA Soft Core . VLSI Design
Lorenzoli D.,
Mariani L.,
Pezzè M. (2006)
Inferring State-Based Behavior Models . WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis. ACM. New York, NY, USA
Großschädl J.,
Ienne P.,
Pozzi L. ,
Tillich S.,
Verma A. K. (2006)
Combining algorithm exploration with instruction set design: a case study in elliptic curve cryptography . DATE
Biswas P.,
Dutt N. D.,
Ienne P.,
Pozzi L. (2006)
Automatic identification of application-specific functional units with architecturally visible storage . DATE
Bonzini P.,
Pozzi L. (2006)
Code transformation strategies for extensible embedded processors . CASES ''06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems. ACM. New York, NY, USA
Bollhöfer M.,
Grote M.,
Schenk O. (2006)
Algebraic Multilevel Preconditioning to Helmholtz Equation . In Proc. of Europ. Conf. on Comput. Fluid Dynamics (ECCOMAS CFD 2006. ECCOMAS'06
Röllin S.,
Schenk O. (2006)
Maximum-Weighted Matching Strategies and the Application to Symmetric Indefinite Systems . Part of the Lecture Notes in Computer Science book series (LNCS, volume 3732). Lecture Notes in Computer Science, vol 3732. Springer, Berlin, Heidelberg. Applied Parallel Computing, State of the Art in Scientific Computing. PARA 2004.. Lyngby, Denmark.. 2007
Eugster P. T. (2006)
Uniform proxies for Java . Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. ACM
Eugster P. T. (2006)
Pervaho: A Development \& Test Platform for Mobile Ad h . 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2006, San Jose, California, USA, July 17-21, 2006. IEEE Computer Society
Basu A.,
Lajolo M.,
Prevostini M. (2005)
Design and Synthesis of Reusable Platforms with Programmable Interconnects . UML-SoC 2005 (DAC Workshop). UML-SoC 2005 (DAC Workshop) Proc. pp 43-48, Anaheim, California, 12 June 2005. UML-SoC 2005 (DAC Workshop), Proc. pp 43-48. Anaheim, California. 12 June 2005
Regazzoni F. ,
Nacul A. C.,
Lajolo M. (2005)
Automatic Synthesis of the Hardware/Software Interface in Multiprocessor Architectures . FDL''05 - Forum on Specification and Design Languages. Lausanne, Switzerland
Ferrante A. ,
Piscopo G.,
Scaldaferri S. (2005)
Application-Driven Optimization of VLIW Architectures: A Hardware-Software Approach . RTAS ''05: Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium. IEEE Computer Society. Washington, DC, USA
Negri L.,
Sami M. G.,
Tran Q. D.,
Zanetti D. (2005)
Flexible Power Modeling for Wireless Systems: Power Modeling and Optimization of two Bluetooth Implementations . WOWMOM ''05: Proceedings of the Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM''05). IEEE Computer Society. Washington, DC, USA
Salvioni C. (2005)
From a young academic institute a broad minded approach: the working and learning environment of the ALaRI Intranet tool (case study) . MICROLEARNING 2005: Learning \& Working in New Media Environments. Innsbruck, Austria
Regazzoni F. ,
Lajolo M. (2005)
Hardware/Software Partitioning and Interface Synthesis in Networks On Chip . IP Based SoC Design 2005. Grenoble, France
Macchetti M.,
Dadda L. (2005)
Quasi-Pipelined Hash Circuits . IEEE ARITH 17. Cape Cod
Macchetti M.,
Rivard P. (2005)
Small-scale Variants of the Secure Hash Standard . ECRYPT workshop on RFID and lightweight cryptography. Graz, Austria
Sami M. G.,
Macchetti M.,
Regazzoni F. (2005)
Speeding Security on the Intel StrongARM . Embedded Intel Solutions
Banushkina P.,
Schenk O. ,
Meuwly M. (2005)
Efficiency Considerations in Solving Smoluchowski Equations for Rough Potentials . First International Symposium on Computational Life Sciences, CompLife. Springer Berlin Heidelberg. Lecture Notes in Computer Science, vol 3695. Springer, Berlin, Heidelberg. First International Symposium on Computational Life Sciences. Konstanz, Germany. September 25-27, 2005
Krause R. ,
Sander O. (2005)
Fast solving of contact problems on complicated geometries . Domain Decomposition Methods in Science and Engineering {XV}. Lecture Notes in Computational Science and Engineering 40. Domain Decomposition Methods in Science and Engineering
Eugster P. T. (2005)
Location-based Publish/Subscribe . Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA. IEEE Computer Society
Piscopo G.,
Prevostini M. ,
Stefanini I. (2004)
UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems . FDL'04 Proc. pp 301-312. FDL´04 Proc. pp 301-312, Lille, France, 14-17 September 2004. FDL'04 Proc. pp 301-312. Lille, France. 14-17 September 2004
Lajolo M.,
Basu A.,
Prevostini M. (2004)
UML Specifications Towards a Codesign Environment . FDL'04 Proc. pp 313-324. FDL´04 Proc. pp 313-324, Lille, France, 14-17 September 2004. FDL'04. Lille, France,. 14-17 September 2004
Boiko U.,
Ferrante A. ,
Lo Duca A.,
Piuri V. (2004)
A Methodology for Testing IPSec-based Systems . SoftCOM 2004. Split
Negri L.,
Sami M. G.,
Macii D.,
Terranegra A. (2004)
FSM--based power modeling of wireless protocols: the case of bluetooth . ISLPED ''04: Proceedings of the 2004 international symposium on Low power electronics and design. ACM Press, New York, USA. Newport Beach, California, USA
Atasu K.,
Breveglieri L.,
Macchetti M. (2004)
Efficient AES implementations for ARM based platforms . SAC ''04: Proceedings of the 2004 ACM symposium on Applied computing. ACM Press, New York, USA. Nicosia, Cyprus
Dadda L.,
Macchetti M.,
Owen J. (2004)
The Design of a High Speed ASIC Unit for the Hash Function SHA-256 (384,512) . DATE ''04: Proceedings of the conference on Design, automation and test in Europe. IEEE Computer Society. Washington, DC, USA
Dadda L.,
Macchetti M.,
Owen J. (2004)
An ASIC design for a high speed implementation of the hash function SHA-256 (384, 512) . GLSVLSI ''04: Proceedings of the 14th ACM Great Lakes symposium on VLSI. ACM Press, New York, USA. Boston, MA, USA
Negri L.,
Bondi U. (2004)
The ALaRI Intranet: a Remote Collaboration Platform for a Worldwide Learning and Research Network . World Conference on Educational Multimedia, Hypermedia and Telecommunications 04 (ED-MEDIA 04). AACE Press. Lugano, Switzerland
Regazzoni F. ,
Lajolo M. (2004)
Interface Synthesis in Multiprocessing Systems-on-Chips . IP Based SoC Design 2004. Grenoble
Fürlinger K.,
Schenk O. ,
Hagemann M.,
Springer B. (2004)
Task-Queue Based Hybrid Parallelism: A Case Study . proceedings of the European Conference on Parallel Processing. Springer Berlin Heidelberg. Euro-Par 2004: Euro-Par 2004 Parallel Processing. Pisa, Italy. August 31, 2004 - September 03, 2004
Eugster P. T. (2004)
Towards Safe Distributed Application Development . 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. IEEE Computer Society
Eugster P. T. (2004)
D-Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability . 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan. IEEE Computer Society
Minosi A.,
Mankan S.,
Martinola A.,
Balzarini F.,
Kostadinov A.,
Prevostini M. (2003)
Intelligent, Low-power and Low-cost Measurement System for Energy Consumption . IEEE-VECIMS'03, Proc. pp 125-130. IEEE-VECIMS´03 Proc. pp 125-130, Lugano, Switzerland, 27-29 July 2003. IEEE International Symposium on Virtual Environments, Human-Computer Interfaces and Measurement Systems. Lugano, Switzerland. 27-29 July 2003
Salvemini L.,
Sami M. G.,
Sciuto D.,
Silvano C.,
Zaccaria V.,
Zafalon R. (2003)
A Methodology for efficient architectural exploration of energy-delay trade-offs for embedded systems . SAC 2003. Melbourne
Minosi A.,
Martinola A.,
Mankan S.,
Prevostini M. ,
Kostadinov A. N.,
Balzarini F. (2003)
Intelligent, low-power and low-cost measurement system for energy consumption . VECIMS 2003. Lugano
Bertoni G. M.,
Breveglieri L.,
Fragneto P.,
Macchetti M.,
Marchesin S. (2003)
Efficient Software Implementation of AES on 32-Bit Platforms . CHES ''02: Revised Papers from the 4th International Workshop on Cryptographic Hardware and Embedded Systems. Springer-Verlag. London, UK
Bircan A.,
Macchetti M.,
Bertoni G. M.,
Breveglieri L.,
Zaccaria V.,
Fragneto P. (2003)
About the Performances of the Advanced Encryption Standard in Embedded Systems with Cache Memory . ISCAS 2003. Bangkok
Schenk O. ,
Selig M. (2003)
Advancing Crash Forming Capabilities through Solver Technology . Proc. of the Second MIT Conference on Computational Fluid and Solid Mechanics. MIT Conference on Computational Fluid and Solid Mechanics. Boston, USA
Schenk O. ,
Hagemann M.,
Röllin S. (2003)
Recent Advances in Sparse Linear Solver Technology for Semiconductor Device Simulation Matrices
Minosi A.,
Martinola A.,
Mankan S.,
Prevostini M. (2002)
System-level design of embedded applications by UML: the Wireless Meter Reading case . MSy2002 Workshop. Winterthur
Bona A.,
Sami M. G.,
Sciuto D.,
Silvano C.,
Zaccaria V.,
Zafalon R. (2002)
An Instruction-Level Methodology for Power Estimation and Optimization of Embedded VLIW cores . DATE 2002. Paris
Bona A.,
Sami M. G.,
Sciuto D.,
Silvano C.,
Zaccaria V.,
Zafalon R. (2002)
Energy Estimation and Optimization of Embedded VLIW Processors based on Instruction Clustering . 39th Design Automation Conference. New Orleans
Alippi C. ,
Galbusera A.,
Stellini M. (2002)
An Application Level Synthesis Methodology for Embedded Systems . ISCAS 2002. Scottsdale
Eugster P. T. (2002)
Abstracting remote object interaction in a peer-2-peer environment . Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002. ACM
Eugster P. T. (2002)
Event Systems: How to Have Your Cake and Eat It Too . 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings. IEEE Computer Society
Eugster P. T. (2002)
Probabilistic Multicast . 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. IEEE Computer Society
Bondi U. ,
Saraceno G.,
Mazzoni L. (2001)
The 'Smart Card System' project: From plastic money to mobile transaction support . Technology Leadership Day - organized by the MicroSwiss Network. Fribourg
Cassoli F.,
Polloni F.,
Marchesin S.,
Macchetti M.,
Bertoni G. M.,
Breveglieri L.,
Fragneto P. (2001)
Efficient C implementation of the ECC and AES cryptographic systems . Technology Leadership Day - organized by the MicroSwiss Network. Fribourg
Fornaciari W.,
Salice F.,
Bondi U. ,
Magini E. (2001)
Development cost and size estimation starting from high-level specifications . CODES ''01: Proceedings of the ninth international symposium on Hardware/software codesign. ACM Press, New York, USA. Copenhagen, Denmark
Eugster P. T. (2001)
On Objects and Events . Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, Tampa, Florida, USA, October 14-18, 2001. ACM
Eugster P. T. (2001)
Lightweight Probabilistic Broadcast . 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, G\"oteborg, Sweden, Proceedings. IEEE Computer Society
Eugster P. T. (2001)
Content-Based Publish/Subscribe with Structural Reflection . 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29 - February 2, 2001, San Antonio, Texas, USA. USENIX
Eugster P. T. (2000)
Distributed Asynchronous Collections: Abstractions for Publish/Subscri . ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings. Springer. Lecture Notes in Computer Science
Sathe M.,
Schenk O. ,
Christen M.,
Burkhart H.,
A Parallel PDE-Constrained Optimization Framework for Biomedical Hyperthermia Treatment Planning
Armenti C. ,
Raglianti M. ,
Lanza M. ,
Sonifying and visualizing the heartbeat of evolving software systems . IEEE Working Conference on Software Visualization (VISSOFT)
Relazione in convegno scientifico (12)
Zulian P. ,
Nestola M. G. C.,
Krause R. ,
Riva S. ,
Kothari H.,
Favino M. (2024)
Immersed techniques for coupled problems . WCCM-PANACM 2024, MS 206. Vancouver, British Columbia, Canada. July 21-26, 2024
Riva S. (2022)
Quantitative analysis of the CRD approximation for the RIII redistribution matrix in the observer's frame for RT modeling of scattering polarization with PRD . Solar Polarization Workshop 10. Kyoto - Japan. 2022 November 7-11
Milosevic J.,
Ferrante A. ,
Malek M. (2015)
A General Practitioner or a Specialist for Your Infected Smartphone? . IEEE Computer Society Technical Committee on Security and Privacy. 36th IEEE Symposium on Security and Privacy. San Jose, California, USA. May 18-20, 2015
Ferme V.,
Arcelli Fontana F.,
Spinelli S. (2014)
Investigating the impact of code smells debt on quality code evaluation . Third International Workshop on Managing Technical Debt (MTD). Zurich. 05-06-2012
Arcelli Fontana F.,
Ferme V.,
Marino A.,
Walter B.,
Martenka P. (2013)
Investigating the Impact of Code Smells on System's Quality: An Empirical Study on Systems of Different Application Domains . 29th IEEE International Conference on Software Maintenance (ICSM). Eindhoven. 24-09-2013
Prevostini M. ,
Taddeo A. (2013)
Monitoring of Pests and Diseases: a Technological Vision . IOBC/WPRS European Meeting: "Working Group on "Integrated Protection and Production in Viticulture”. Ascona, Switzerland. October 14-17, 2013
Arcelli Fontana F.,
Ferme V.,
Spinelli S. (2012)
Investigating the impact of code smells debt on quality code evaluation . Third International Workshop on Managing Technical Debt (MTD). Zurich. 05-06-2012
Prevostini M. (2007)
Introduction to SysML . Workshop on UML for SoC and Embedded Systems Design, DATE '07, Nice, France, April 2007. Workshop on UML for SoC and Embedded Systems Design, DATE '07. Nice, France. April 2007
Prevostini M. ,
Sivakumar G. (2006)
Bridging the Gap between SysML and Design Space Exploration . FDL'06 Proc. pp 389-394 Darmstadt, Germany, 19-22 September 2006. FDL'06, Proc. pp 389-394. Darmstadt, Germany. 19-22 September 2006
Basu A.,
Lajolo M.,
Prevostini M. (2004)
UML in an Electronic System Level Design Methodology . UML-SoC 2004 (DAC Workshop) Proc. pp 47-52, San Diego, California, 6 June 2004. UML-SoC 2004 (DAC Workshop), Proc. pp 47-52. San Diego, California. 6 June 2004
Minosi A.,
Mankan S.,
Martinola A.,
Balzarini F.,
Kostadinov A.,
Prevostini M. (2003)
UML-based Specifications of an Embedded System oriented to HW/SW Partitioning: a case study . FDL´03 Proc. pp 226-237, Frankfurt, Germany, 23-26 September 2003. FDL'03 Proc. pp 226-237. Frankfurt, Germany. 23-26 September 2003
Minosi A.,
Mankan S.,
Martinola A.,
Prevostini M. (2002)
System-level Design of an Embedded Applications by UML: The Wireless Meter Reading Case . MSy´02 Proc. pp 181-187, Winterthur, Switzerland, 3-4 October 2002. MSy'02, Proc. pp 181-187. Winterthur, Switzerland. 3-4 October 2002
Rapporto tecnico (72)
Kelorazi M. E.,
Le L. H.,
Pedone F. (2022)
Heron: Scalable State Machine Replication on Shared Memory
Filipovic D.,
Multerer M. ,
Schneider P. (2021)
Adaptive joint distribution learning
Dang H. T.,
Bressana P. G.,
Wang H.,
Lee K. S.,
Zilberman N.,
Weatherspoon H.,
Canini M.,
Pedone F. ,
Soulé R. (2019)
Partitioned Paxos via the Network Data Plane
Prokopec A.,
Rosà A. ,
Leopoldseder D.,
Duboscq G.,
Tuma P.,
Studener M.,
Bulej L.,
Zheng Y.,
Villazon Torrico A.,
Simon D.,
Wuerthinger T.,
Binder W. (2019)
On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity
Le L. H.,
Fynn E.,
Eslahi Kelorazi M.,
Soulé R. ,
Pedone F. (2018)
DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication
Dang H. T.,
Bressana P. G.,
Wang H.,
Lee K. S.,
Weatherspoon H.,
Canini M.,
Pedone F. ,
Soulé R. (2016)
Network Hardware-Accelerated Consensus
Pacheco de Sousa L.,
Halalai R.,
Schiavoni V.,
Pedone F. ,
Rivière E.,
Felber P. (2016)
GlobalFS: A Strongly Consistent Multi-Site File System
Le L. H.,
Benevides Bezerra C. E.,
Pedone F. (2016)
Dynamic Scalable State Machine Replication
Dettmers T.,
Soleimani Bidhendi H. (2016)
Computational and Parallel Deep Learning Perform-ance Benchmarks for the Xeon Phi
Jepsen T.,
Pacheco de Sousa L.,
Dang H. T.,
Pedone F. ,
Soulé R. (2016)
Optimistic Aborts for Geo-distributed Transactions
Benevides Bezerra C. E.,
Pedone F. ,
Renesse R. v.,
Geyer C. (2015)
Providing Scalability and Low Latency in State Machine Replication
Dang H. T.,
Canini M.,
Pedone F. ,
Soulé R. (2015)
Paxos Made Switch-y
Benevides Bezerra C. E.,
Cason D.,
Pedone F. (2015)
Ridge: high throughput, low-latency atomic multicast
Azadmanesh M. R.,
Hauswirth M. (2015)
Space-Time Views For Back-In-Time Debugging
Sciascia D.,
Pedone F. (2015)
Geo-Replicated Storage with Scalable Deferred Update Replication
Marras S.,
Hormann K. (2015)
Exploring compression in edge shape space
Soulé R. ,
Gedik B. (2014)
Optimized Disk Layouts for Adaptive Storage of Interaction Graphs
Papalini M.,
Khazaei K.,
Carzaniga A. ,
Wolf A. (2014)
Scalable Routing for Tag-Based Information-Centric Networking
Ponzanelli L.,
Mocci A. ,
Bacchelli A.,
Lanza M. (2014)
Understanding and Classifying the Quality of Technical Forum Questions
Fedyukovich G. ,
Sharygina N. ,
Gurfinkel A. (2013)
Automated Discovery of Simulation Between Programs
Alberti F.,
Sharygina N. (2013)
Decision Procedures for Flat Array Properties
Mikushin D.,
Nikolay Likhogrud,
Eddy Zheng Zhang,
Christopher Bergst (2013)
KernelGen the design and implementation of a next generation compiler platform for accelerating numerical models on GPUs
Benevides Bezerra C. E.,
Pedone F. ,
Beno Garbinato,
Cl io Geyer (2013)
Optimistic Atomic Multicast
Kardoš J. (2013)
Evaluating realistic tsunami simulations with SWE model on GPU-enabled clusters
Minelli R. (2012)
Software Analytics for Mobile Applications
Giaquinta E.,
Pozzi L. (2012)
An effective exact algorithm and a new upper bound for the number of contacts in the hydrophobic-polar 2D-lattice model
Alberti F.,
Sharygina N. (2012)
Tackling divergence: abstraction and acceleration in array programs
Cheilaris P.,
Arseneva E.,
Papadopoulou E. (2012)
Randomized incremental construction of the Hausdorff Voronoi diagram of non-crossing clusters
Bos L.,
De Marchi S.,
Hormann K. (2011)
On the Lebesgue constant of Berrut's rational interpolant at equidistant nodes
Malekpour Koupaei A.,
Carzaniga A. ,
Toffetti Carughi G.,
Pedone F. (2011)
Probabilistic FIFO Ordering in Publish/Subscribe Networks
Hattori L.,
Lanza M. ,
D'Ambros M. (2011)
A qualitative analysis of preemptive conflict detection
Gross C.,
Krause R. (2011)
On the Globalization of ASPIN employing Trust-Region Control Strategies - Convergence Analysis and Numerical Examples
Minelli R. (2010)
Commit 2.0 for Eclipse - Enriching Commit Comments with Software Visualization
Ansaloni D.,
Binder W. ,
Heydarnoori A. (2010)
Exploiting Under-Utilized Cores with Deferred Methods
Nesic S.,
Jazayeri M. ,
Crestani F. (2010)
Concept-Based Semantic Annotation, Indexing and Retrieval of Office-Like Document Units
Schiper N.,
Sutra P.,
Pedone F. (2010)
P-Store: Genuine Partial Replication in Wide Area Networks
Sciascia D.,
Primi M.,
Jalili Marandi P.,
Schiper N.,
Pedone F. (2010)
Tapioca: Flexible Data Storage for Datacenter Applications
Wettel R.,
Lanza M. ,
Robbes R. (2010)
Empirical Validation of CodeCity: A Controlled Experiment
Papadopoulou E. (2010)
Net-aware Critical Area Extraction for Opens in VLSI Circuits via Higher-Order Voronoi Diagrams
Jalili Marandi P.,
Primi M.,
Pedone F. (2010)
High Performance State-Machine Replication
Gross C.,
Krause R. (2010)
A Generalized Recursive Trust-Region Approach - Nonlinear Multiplicatively Preconditioned Trust-Region Methods and Applications
Conen L.,
Gross C.,
Krause R. (2010)
The Linear Algebra Module in ObsLib++ - Description, Comparisons and Numerical Results
Bianculli D.,
Binder W. (2009)
Automated Performance Assessment for Service-Oriented Middleware
Fer A.,
Murphy A. (2009)
FROMS: A Failure Tolerant and Mobility Enabled Multicast Routing Paradigm with Reinforcement Learning for WSNs
Schiper N.,
Sutra P.,
Pedone F. (2009)
Genuine versus Non-Genuine Atomic Multicast Protocols
Hall C.,
Carzaniga A. (2009)
Doubly Stochastic Converge: Uniform Sampling for Directed P2P Networks
Schiper N.,
Pedone F. (2009)
Fast, Flexible, and Highly Resilient Genuine Fifo and Causal Multicast Algorithms
Wuttke J. D. (2009)
Defining Model Transformations for Property Templates
Carzaniga A. ,
Hall C.,
Toffetti Carughi G.,
Wolf A. (2009)
Practical High-Throughput Content-Based Routing Using Unicast State and Probabilistic Encodings
Dickopf T.,
Krause R. (2009)
A contact method for parametric finite elements
Dickopf T.,
Krause R. (2009)
A pseudo-L2-projection for multilevel methods based on non-nested meshes.. INS Preprint
Zuikeviciute V.,
Pedone F. (2008)
Correctness Criteria for Database Replication: Theoretical and Practical Aspects
Schiper N.,
Toueg S. (2008)
A Robust and Lightweight Stable Leader Election Service for Dynamic Systems
Schiper N.,
Pedone F. (2008)
Solving Atomic Multicast when Groups Crash
Wuttke J. D. (2008)
Property Templates and Assertions Supporting Runtime Failure Detection
Zaparanuks D.,
Jovic M.,
Hauswirth M. (2008)
Accuracy of Performance Counter Measurements
Robbes R.,
Lanza M. ,
Pollet D. (2008)
A Benchmark for Change Prediction
Bonzini P.,
Pozzi L. (2008)
On the Complexity of Enumeration and Scheduling for Extensible Embedded Processors
Denaro G.,
Gorla A.,
Pezzè M. (2007)
An Empirical Evaluation of Data Flow Testing of Java Classes
Camargos L. J.,
Pedone F. ,
Wieloch M. (2007)
High-Performance Transaction Processing in Sprint
Camargos L. J.,
Schmidt R.,
Pedone F. (2007)
Multicoordinated Paxos
Schiper N.,
Pedone F. (2007)
Optimal Atomic Broadcast and Multicast Algorithms for Wide Area Networks
Robbes R.,
Lanza M. (2007)
Towards Change-aware Development Tools
Tsitovich A. (2007)
Understanding vulnerabilities
Camargos L. J.,
Wieloch M.,
Pedone F. ,
Madeira E. (2006)
A Highly Available Log Service for Distributed Transaction Termination
Carzaniga A. ,
Rembert A. J.,
Wolf A. (2006)
Understanding Content-Based Routing Schemes
Zuikeviciute V.,
Pedone F. (2006)
Conflict-Aware Load-Balancing Techniques for Database Replication
Schiper N.,
Schmidt R.,
Pedone F. (2006)
Optimistic Algorithms for Partial Database Replication
Foerster A.,
Murphy A. (2006)
A Feedback-Enhanced Learning Approach for Routing in WSN
Hall C.,
Carzaniga A. ,
Wolf A. (2006)
DV/DRP: A Content-Based Networking Protocol for Sensor Networks
Rose J. N.,
Hall C.,
Carzaniga A. (2006)
Spinneret: A log random substrate for P2P networks
Bonzini P.,
Pozzi L. (2006)
Polynomial-Time Subgraph Enumeration for Automated Instruction Set Extension
Poster per convegno (5)
Riva S. ,
Zulian P. (2025)
GPU-Accelerated Fluid-Structure Interaction Resampling in FEM, Including Application of 3-Dimensional 4th-Order WENO
Mion F. U.,
Faldarini M.,
Scardino F.,
Ferrante A. ,
D'Ambros M. ,
Prevostini M. ,
Beti G. (2022)
IoT for medical waste management: the case of a Swiss multisite hospital . EHMA. EHMA 2022 Annual Conference | From people to systems: leadership for a sustainable future
Mion F. U.,
Faldarini M.,
Scardino F.,
Ferrante A. ,
D'Ambros M. ,
Prevostini M. ,
Beti G. (2022)
IoT for medical waste management: the case of a Swiss multisite hospital . EHMA. EHMA 2022 Annual Conference | From people to systems: leadership for a sustainable future
Riva S. ,
Guerreiro N.,
Benedusi P. ,
Belluzzi L. (2022)
Quantitative analysis of the CRD approximation for the RIII redistribution matrix in the observer’s frame for RT modeling of scattering polarization with PRD
Rosà A. ,
Chen L. Y.,
Binder W. (2014)
When Things Turn Sour at Big Data Clusters: Understanding Unsuccessful Executions
Brevetto (5)
Kourounis D.,
Schenk O. (2020)
Method to Accelerate the Processing of Multiperiod Optimal Power Flow Problems
Fiorin L.,
Palermo G.,
Silvano C.,
Catalano V.,
Locatelli R.,
Coppola M. (2012)
Programmable data protection device, secure programming manager system and process for controlling access to an interconnect network for an integrated circuit
Lajolo M.,
Nacul A. C.,
Regazzoni F. (2008)
Hardware scheduled SMP architectures
Macchetti M.,
Fragneto P.,
Bertoni G. M. (2004)
Method of implementing one-to-one binary function and relative hardware device, especially for a Rijndael S-box
Macchetti M.,
Marchesin S.,
Bondi U. ,
Breveglieri L.,
Bertoni G. M.,
Fragneto P. (2003)
Method and circuit for data encryption/decryption
Altra pubblicazione (11)
Michael S. Floater,
Hormann K. ,
Sukumar N. (2020)
Generalized Barycentric Coordinates
Kopanicakova A. (2020)
Multilevel minimization in trust-region framework
Gotsman C.,
Hormann K. (2020)
Secure data hiding for digital contact tracing
Villazon Torrico A.,
Sun H.,
Rosà A. ,
Rosales Rosero E. E.,
Bonetta D.,
Defilippis I.,
Oporto S.,
Binder W. (2019)
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild (artifact)
Ruprecht D. (2014)
Hybrid Space-Time Parallel Solution of Burgers' Equation
Gianelli C.,
Hormann K. ,
Žagar E. (2014)
Recent Trends in Theoretical and Applied Geometry
Croce R.,
Ruprecht D.,
Krause R. (2013)
Parallel-in-Space-and-Time Simulation of the Three-Dimensional, Unsteady Navier-Stokes Equations for Incompressible Flow
Masiero L.,
Sarman I. ,
Guglielmetti G. (2012)
Turismo alberghiero in Ticino: Rapporto Trend - Stagione estiva 2011
Bronstein M. (2010)
Computational metric geometry: a new tool in image sciences
Krause R. (2009)
Swiss TV (SF1 10vor10) reports about CSCS a
Prevostini M. (2007)
Introduction to SysML
