Projects per year
- 1 - 50 out of 158 results
Search results
-
-
-
-
VHDL - Debugging VHDL Programs (DEV)
Peischl, B. J., Köb, D. & Wotawa, F.
1/11/01 → 31/08/04
Project: Research project
-
-
Machbarkeitsstudie: Lokalisierung und Navigation eines AGV in einer Lagerumgebung
Steinbauer-Wagner, G., Weiglhofer, M. & Wotawa, F.
1/02/05 → 30/07/05
Project: Research project
-
Sheduling and Routing eines AGV in einer Lagerumgebung
Steinbauer-Wagner, G. & Wotawa, F.
1/02/05 → 30/07/05
Project: Research project
-
JADE-X - JADE extensions (JADE-X)
Köb, D., Wotawa, F. & Chen, R.
1/10/02 → 30/09/05
Project: Research project
-
-
EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project
-
VoIP - Detection Faults in Concurrent Programs
Mühlenfeld, A. & Wotawa, F.
1/01/05 → 31/12/06
Project: Research project
-
MISTRAL - Measurable Intelligent and Reliable Semantic Extraction and Retrieval of Multimedia Data
Schläffer, M., Marte, B., Oswald, M. E., Garcia-Barrios, V. M., Posch, K., Ruhmer, M., Guetl, C., Grabner, H., Képesi, M., Maass, W., Ebner, M., Grabner, M., Pham, V. T., Stark, M., Juffinger, A. & Bischof, H.
1/01/05 → 31/12/06
Project: Research project
-
TE-DES - Systematic test case generation for safety-critical distributed embedded real time systems with different SIL level
Fraser, G. & Wotawa, F.
1/03/05 → 28/02/07
Project: Research project
-
NEXTWRAP - Next generation web wrapper technologies
Slany, W., Schindler, C., Neuhold, K. & Wotawa, F.
1/01/05 → 31/03/07
Project: Research project
-
Static and dynamic analysis of Java programs
Wotawa, F. & Soomro, S.
3/05/04 → 30/11/07
Project: Research project
-
Model Based Runtime Diagnosis for Autonomous Mobile Systems (MoRDAMS)
Weber, J., Peischl, B. J., Steinbauer-Wagner, G. & Wotawa, F.
1/07/05 → 30/11/07
Project: Research project
-
SEPIAS - Self Properties In Autonomous Systems
Brandl, H., Krenn, W. K. & Wotawa, F.
1/01/06 → 31/12/07
Project: Research project
-
Konzepte der Rechnerischen Geometrie - Theorie und Anwendung
Hackl, T., Vogtenhuber, B. & Aichholzer, O.
1/01/07 → 31/12/08
Project: Research project
-
Diagnose und Monitoring v.L. - Diagnose und Monitoring von Logistikanlagen (DML)
Steinbauer-Wagner, G., Wotawa, F. & Pill, I. H.
1/05/07 → 31/01/09
Project: Research project
-
Optimizing Geometric Graphs
Hackl, T., Vogtenhuber, B. & Aichholzer, O.
1/01/08 → 31/12/09
Project: Research project
-
FWF - MoDReMAS - Model-based Diagnosis and Reconfiguration in Mobile Autonomous Systems
Weber, J., Wotawa, F. & Nica, M.
1/11/07 → 1/11/10
Project: Research project
-
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Project: Research project
-
P7 MMM-Replayer - Mobile-Multi-Media-Replayer
Wotawa, F., Milchrahm, H., Slany, W., Umgeher, M. & Lechner, M.
1/03/07 → 31/12/10
Project: Research project
-
-
SoftNet Austria Network Coordination
Peischl, B. J., Schindler, P. & Wotawa, F.
1/05/06 → 31/12/10
Project: Research project
-
Formale Methoden im Softwareengineering Mobiler Applikationen (SN-P1)
Galler, S. J., Wotawa, F., Peischl, B. J. & Weiglhofer, M.
1/05/06 → 31/12/10
Project: Research project
-
Testmethodik, Testmanagement und Zertifizierung (SN-P2)
Fraser, G., Wotawa, F. & Peischl, B. J.
1/05/06 → 31/12/10
Project: Research project
-
WECARE - Community-based Configuration of Complex Products and Services
1/03/09 → 28/02/11
Project: Research project
-
Semantic interactive and automatic information extraction
Shahzad, S. & Slany, W.
25/03/06 → 31/12/11
Project: Research project
-
FWF - Computational geometry - NFN Industrial Geometry
Vogtenhuber, B., Aigner, W., Hackl, T., Grohs, P., Karpenkov, O., Kornberger, B., Wallner, J., Aichholzer, O. & Müller, C.
1/04/05 → 31/12/11
Project: Research project
-
ISAC, a transparent system for applied mathematics
Wotawa, F. & Neuper, W.
1/10/97 → 31/12/12
Project: Research project
-
Automated Source-Level Debugging of Synthsizable Verilog Designs
Riaz, N. & Wotawa, F.
21/08/06 → 31/12/12
Project: Research project
-
Softnet II - Softnet Austria II Competence Network in Next Generation Software Engineering
1/03/10 → 28/02/13
Project: Research project
-
ICONE - Intelligent Assistance for Configuration Knowledge Base Development and Maintenance
Speiser-Reinfrank, F., Zehentner, C., Bulic Wehrschütz, S. & Felfernig, A.
1/09/10 → 28/02/13
Project: Research project
-
IntelliReq - Intelligent Recommendation Technologies for Requirements Engineering
Ninaus, G., Isak, K., Felfernig, A. & Grabner, H.
1/03/11 → 28/02/13
Project: Research project
-
C.A.S.A. vecchia - Venue Enabling Collaboration and Communication in the accustomed Home to support Independent Aging
Felfernig, A. & Isak, K.
1/04/10 → 31/03/13
Project: Research project
-
SIMOA - Simulation and Configuration of Mobile Networks with M2M Applicatins
1/04/10 → 31/03/13
Project: Research project
-
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Project: Research project
-
FWF - Audit 4 SOAs - Augmented Diagnosis and Testing for SOAs - Audit 4 SOAs
Pill, I. H. & Wotawa, F.
1/05/11 → 30/04/14
Project: Research project
-
TEDUSAR - Technology and training for search and recovery robots
Kandlhofer, M., Maurer, J. & Steinbauer-Wagner, G.
1/09/11 → 30/08/14
Project: Research project
-
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Project: Research project
-
FWF - ABRIAR - Belief Repair for Intelligent Autonomous Robots
Gspandl, S., Mühlbacher, C., Steinbauer-Wagner, G., Reip, M. & Podesser, S.
1/07/10 → 31/12/14
Project: Research project
-
SOLID - Personalization Technologies for Solar Equipment Configuration
1/08/10 → 30/06/15
Project: Research project
-
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Project: Research project
-
R-Cubed - Request a Rescue Robot
Maurer, J. & Steinbauer-Wagner, G.
1/09/14 → 31/08/15
Project: Research project
-
FWF - CPGG - Combinatorial Problems on Geometric Graphs
Hackl, T.
1/09/11 → 31/12/15
Project: Research project
-
FWF - ComPoSe - EuroGIAG_Erdös-Szekeres type problems for colored point sets and compatible graphs
1/10/11 → 31/12/15
Project: Research project
-
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Project: Research project
-
PeopleViews - Recommendation Technologies based on Human Computation
1/02/14 → 31/07/16
Project: Research project
-
eDAS - Holistic Energy Management for third and fourth generation of EVs: eDAS = efficiency powered by smart Design meaningful Architecture connected Systems
1/10/13 → 30/09/16
Project: Research project