News

Recent News

Introduction and hands-on training self-archiving. How to publish open access via a repository Einführung und Hands-on-Training Selbstarchivierung. Die Zweitveröffentlichung mittels Repositorien 2021-07-16 15:43:14.728

Sie haben Ihre Publikation closed access publiziert und möchten diese nun frei zugänglich machen? Sie unterstützen den Open Access-Gedanken, jedoch bevorzugt ohne Publikationskosten zahlen zu müssen? Sie haben eine Aufforderung Ihres Forschungsförderers erhalten, Ihr Manuskript nach Plan S zu archivieren? In ... You previously published your papers closed access and now would like to make them freely available online? You sympathize with the basic principle of open access but would prefer not to pay any publication charges? You have received a request from your research funder to archive your manuscript according ...

Hands-on training self-archiving. How to publish open access via a repository Hands-on-Training Selbstarchivierung. Die Zweitveröffentlichung mittels Repositorien 2021-07-16 15:31:35.853

Sie kennen die Prinzipien von Open Access und möchten diese für Ihre Publikationen umsetzen? Sie möchten Ihr Manuskript über ein Repositorium zweitveröffentlichen und Ihnen fehlt nur noch die konkrete Anleitung, wie? In diesem Kurztraining wird Ihnen anhand praktischer Beispiele gezeigt, worauf Sie ... You know the principles of open access, and want to implement them for your publications? You would like to self-archive your manuscript via a repository and you only need the instructions on how to put that into practice? In this short training session, you will learn by means of practical examples ...

Recent Submissions

Moving Horizon State Estimation for a PEM Fuel Cell System based on Successive Linearisation Lehner, Michael
Type Thesis Hochschulschrift

Using Natural Language Processing to Measure the Consistency of Opinions Expressed by Politicians Zaruba, Stefan
Type Thesis Hochschulschrift

Finding Hamiltonians Satisfying Initial Values Arising from the Riemann Zeta-Function Buchinger, Andreas
Type Thesis Hochschulschrift

Vergleich Netzberechnungen in XGSLab und SCADA-Leitsystem Katzenbeißer, Matthias
Type Thesis Hochschulschrift

Energetic Potential for Biological Methanation in Anaerobic Sewage Sludge Digesters in Austria Tauber, Joseph ; Ramsbacher, Andreas ; Svardal, Karl ; Krampe, Jörg
Type Article Artikel peer reviewed

Model Checking AUTOSAR Components with CBMC Durand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob
Type Inproceedings Konferenzbeitrag peer reviewed

Automating System Configuration Tsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark
Type Inproceedings peer reviewed

Towards an Automatic Proof of Lamport's Paxos Goel, Aman ; Sakallah, Karem
Type Inproceedings peer reviewed

Refinement-Based Verification of Device-to-Device Information Flow Dong, Ning ; Guanciale, Roberto ; Dam, Mads
Type Inproceedings peer reviewed

Celestial: A Smart Contracts Verification Framework Dharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash
Type Inproceedings peer reviewed

The Civl Verifier Kragl, Bernhard ; Qadeer, Shaz
Type Inproceedings peer reviewed

Synthesizing Pareto-Optimal Interpretations for Black-Box Models Torfah, Hazem ; Shah, Shetal ; Chakraborty, Supratik ; Akshay, S. ; Seshia, Sanjit A.
Type Inproceedings peer reviewed

Design and Evaluation of Non-Verbal Cues for the Robot Pepper Fischer, Sarah Hanna
Type Thesis Hochschulschrift

Object detection with MicrosoftHoloLens 2. A comparison between image and point cloud based algorithms Herrmann, Sophie
Type Thesis Hochschulschrift

Data-driven Optimization of Inductive Generalization Le, Nham ; Si, Xujie ; Gurfinkel, Arie
Type Inproceedings Konferenzbeitrag peer reviewed

Logical Characterization of Coherent Uninterpreted Programs Govind V K, Hari ; Shoham, Sharon ; Gurfinkel, Arie
Type Inproceedings Konferenzbeitrag peer reviewed

Single Clause Assumption without Activation Literals to Speed-up IC3 Froleyks, Nils ; Biere, Armin
Type Inproceedings Konferenzbeitrag peer reviewed

Dynamic Partial Order Reductions for Spinloops Kokologiannakis, Michalis ; Ren, Xiaowei ; Vafeiadis, Viktor
Type Inproceedings peer reviewed

Robustness between Weak Memory Models Chakraborty, Soham
Type Inproceedings peer reviewed

Pruning and Slicing Neural Networks using Formal Verification Lahav, Ori ; Katz, Guy
Type Inproceedings peer reviewed

Gain and Pain of a Reliable Delay Model Maier, Jürgen
Type Inproceedings Konferenzbeitrag

Development and characterisation of a molecularly tunable system for studying scale bridging of adhesive interactions Bilotto, Pierluigi
Type Thesis Hochschulschrift

IC3 with Internal Signals Dureja, Rohit ; Gurfinkel, Arie ; Ivrii, Alexander ; Vizel, Yakir
Type Inproceedings Konferenzbeitrag peer reviewed

Sound and Automated Verification of Real-World RTL Multipliers Temel, Mertcan ; Hunt, Warren A., Jr.
Type Inproceedings Konferenzbeitrag peer reviewed

Towards Scalable Verification of Deep Reinforcement Learning Amir, Guy ; Schapira, Michael ; Katz, Guy
Type Inproceedings peer reviewed

Exploiting Isomorphic Subgraphs in SAT Ivrii, Alexander ; Strichman, Ofer
Type Inproceedings peer reviewed

Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition Chattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish
Type Inproceedings Konferenzbeitrag peer reviewed

SAT Solving in the Serverless Cloud Ozdemir, Alex ; Wu, Haoze ; Barrett, Clark
Type Inproceedings peer reviewed

On Decomposition of Maximal Satisfiable Subsets Bendik, Jaroslav
Type Inproceedings peer reviewed

Designing Samplers is Easy: The Boon of Testers Golia, Priyanka ; Soos, Mate ; Chakraborty, Sourav ; Meel, Kuldeep S.
Type Inproceedings peer reviewed

Hardware Security Leak Detection by Symbolic Simulation Kama, Neta Bar ; Kaivola, Roope
Type Inproceedings Konferenzbeitrag peer reviewed

SAT-Inspired Eliminations for Superposition Vukmirović, Petar ; Blanchette, Jasmin ; Heule, Marijn
Type Inproceedings peer reviewed

End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers Gao, Dapeng ; Melham, Tom
Type Inproceedings peer reviewed

Induction with Recursive Definitions in Superposition Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei
Type Inproceedings peer reviewed

Fair and Adventurous Enumeration of Quantifier Instantiations Janota, Mikoláš ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew
Type Inproceedings peer reviewed

Mathematical Programming Modulo Strings Kumar, Ankit ; Manolios, Panagiotis
Type Inproceedings peer reviewed

CocoAlma: A Versatile Masking Verifier Hadžić, Vedad ; Bloem, Roderick
Type Inproceedings Konferenzbeitrag peer reviewed

Lookahead in Partitioning SMT Hyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha
Type Inproceedings peer reviewed

The FMCAD 2021 Student Forum Santolucito, Mark
Type Inproceedings peer reviewed

Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V Sewell, Peter
Type Inproceedings Konferenzbeitrag peer reviewed

Algorithms for the People Kamara, Seny
Type Inproceedings peer reviewed

From Viewstamped Replication to Blockchains Liskov, Barbara
Type Inproceedings peer reviewed

A Multithreaded Vampire with Shared Persistent Grounding Rawson, Michael ; Reger, Giles
Type Inproceedings peer reviewed

Active Automata Learning: from L* to L# Vaandrager, Frits
Type Inproceedings peer reviewed

Formal Methods for the Security Analysis of Smart Contracts Maffei, Matteo
Type Inproceedings peer reviewed

Stainless Verification System Tutorial Kunčak, Viktor ; Hamza, Jad
Type Inproceedings peer reviewed

Reactive Synthesis Beyond Realizability Dimitrova, Rayna
Type Inproceedings peer reviewed

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 Type Proceedings peer reviewed

Analysing and Extending Model-free condition monitoring with confidence Schnöll, Daniel
Type Thesis Hochschulschrift

Synchronizing IEC 61850-9-2 with Legacy Real-time Embedded Systems Peter, Mario
Type Thesis Hochschulschrift

Most downloaded

9,761

E-Commerce in India : a case study of Amazon & Flipkart (India) Karal, Dipin
Type Thesis Hochschulschrift

8,488

Handwritten text recognition in historical documents Scheidl, Harald
Type Thesis Hochschulschrift

5,071

Word Beam Search: A Connectionist Temporal Classification Decoding Algorithm Scheidl, Harald ; Fiel, Stefan ; Sablatnig, Robert
Type Inproceedings Konferenzbeitrag

4,112

WCTE 2016 e-book : containing all full papers submitted to the World Conference on Timber Engineering (WCTE 2016), August 22-25, 2016, Vienna, Austria Type Proceedings Konferenzband

2,212

Der Arbeitsplatz im Homeoffice Hax-Noske, Christine
Type Thesis Hochschulschrift

2,205

Timber as a construction material in middle- and high-rise buildings : the aesthetics, merits and future of using wood considering fire regulations and safety instructions, comparing Japan and Austria/Europe Pillich, Claudia Anna
Type Thesis Hochschulschrift

2,137

Applicability of social media analysis for spatial planning Cserpes, Balázs
Type Thesis Hochschulschrift

2,081

Nachhaltigkeit im Bauwesen : ökologische Analyse von Baustoffen und Bauteilen Stephan, Daniel
Type Thesis Hochschulschrift

1,936

Sonderflächenwidmungen im Tiroler Raumordnungssystem : Analyse, bundesweiter Vergleich und Identifikation von Handlungsfeldern Schwaninger, Teresa
Type Thesis Hochschulschrift

1,829

Merged mining : analysis of effects and implications Zamyatin, Alexei
Type Thesis Hochschulschrift

Most viewed

8,009

WCTE 2016 e-book : containing all full papers submitted to the World Conference on Timber Engineering (WCTE 2016), August 22-25, 2016, Vienna, Austria Type Proceedings Konferenzband

2,037

Der Arbeitsplatz im Homeoffice Hax-Noske, Christine
Type Thesis Hochschulschrift

1,110

Auswirkungen der COVID-19 Pandemie auf die Tourismus- und Hotelbranche : Umgang mit Problemkrediten aus Bankensicht Schumacher, Jacob
Type Thesis Hochschulschrift

1,085

Optimization of solidity smart contracts Brandstätter, Tamara
Type Thesis Hochschulschrift

958

Word Beam Search: A Connectionist Temporal Classification Decoding Algorithm Scheidl, Harald ; Fiel, Stefan ; Sablatnig, Robert
Type Inproceedings Konferenzbeitrag

825

Pen-based electronic medical record on a Tablet PC in a medical practice Mayrhofer, Dieter
Type Thesis Hochschulschrift

796

Measuring the Factors of Teleworking Productivity and Engagement in a New Reality of COVID-19: The Case of Austria, Germany and Russia Kim, Vladimir ; Coghlan, Aislinn
Type Thesis Hochschulschrift

697

Quo Vadis Homo Economicus? References to Rationality/Emotionality in Neuroeconomic Discourses Schmitz, Sigrid ; Köszegi, Sabine T. ; Enzenhofer, Bettina ; Harrer, Christine
Type Book

674

Interpretable recurrent neural networks in continuous-time control environments Hasani, Ramin
Type Thesis Hochschulschrift

658

p-version projection based interpolation Rojik, Claudio
Type Thesis Hochschulschrift