ARiSE - Austrian Society for Rigorous Systems Engineering
The Austrian Society for Rigorous Systems Engineering was founded in 2010 to further the research in formal methods for the design of correct computer systems. It brings together top researchers in formal methods in Austria in order to foster collaboration and a common research platform.
Top News
- June 22 2010 Muralidhar Talupur is giving a talk on "Going with the Flow: Parameterized Verification using Message Flows" in IST / TU Wien RiSE Seminar
- June 15 2010 Helmut Seidl is giving a talk on "Semi-Definite Programming for Inferring Quadratic Invariants" in IST / TU Wien RiSE Seminar
- June 11 2010 ARiSE in press: Falter Heureka - Computerwissenschaft: Die sind weltweit spitze! (German) - Print version
- June 1 2010 Jean-Francois Raskin is giving a talk on "Compositional algorithms for LTL synthesis" in IST / TU Wien RiSE Seminar
- May 7 2010 ARiSE in press: sg.hu - ARiSE - új platform biztonságos rendszereknek (Hungarian) - PDF
- May 6 2010 ARiSE in press: oe1.ORF.at Wissen - Neues Informatik-Netzwerk soll "Kräfte bündeln" (German) - PDF - Podcast - MP3
- May 6 2010 ARiSE in press: APA - Computerprogramme und biologische Abläufe (German) - PDF
- May 6 2010 ARiSE in press: Format - Systemfehler: Heimische Computerprofis spüren Bugs auf noch bevor sie entstehen (German) - Print version
About
Over the last decades, the complexity of computer systems has increased dramatically and so has their ubiquity and importance to the general public. Designers today need computer-assisted methods and tools to support them in the design process. The use of methods like model checking has traditionally been a-posteriori. Within ARiSE, we aim at to extend such methods to a mathematically rigorous framework that helps the programmer during, instead of after the design process.
The relevant research includes (but is not limited to) decision procedures for various logics, game theory and synthesis, and languages, architectures, and methods for the construction of concurrent and real-time software.
