July 2020 - We are hiring !!! Our doctoral college proposal:
SecInt: Secure and Intelligent Human-Centric Digital Technologies
was selected for funding among other 11 proposals.
Principal Investigators are: Ezio Bartocci (Formal Methods and Cyber Physical Systems),
Efstathia Bura (Applied Statistics), Thomas Gärtner (Machine Learning),
Laura Kovacs (Formal Methods & Automated Reasoning), Andreas Kugi (Robotics & Machine Learning),
Martina Lindorfer (Cybersecurity), Matteo Maffei (Security & Privacy),
Semeen Rehman (Hardware design & Machine Learning),
Georg Weissenbacher (Formal Methods & Verification),
Tanja Zseby (Network & Security). We have available 10 PhD positions.
We are looking for the best candidates to join our exciting team.
July 2020 - Our Paper on Mining Shape Expression from Positive Examples,
has been accepted for presenting at EMSOFT 2020: the International Conference on Embedded Software,
and it will be published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
July 2020 - Laura Nenzi has received the nomination for the Hedy Lamarr Award 2020
awarded by the City of Vienna for extraordinary contributions to Computer Science.
June 2020 - Lilly Treml passed her proficiency exam.
June 2020 - Our Paper on Probabilistic Hyperproperties with Nondeterminism,
has been accepted for presenting at ATVA 2020: the 18th International Conference on Automated Technology for Verification and Analysis, 2020
June 2020 - Our Tool Demonstration Paper on CPSDebug: A Tool for Failure Explanation in Cyber-Physical Systems,
has been accepted for presenting at ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
Apr 2020 - Our paper on "Parameter Synthesis for Probabilistic
Hyperproperties" has been accepted for presenting at Proc. of LPAR-23: 23rd International
Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2020
Apr 2020 - Our paper on "CPSDebug: Automatic Failure Explanation
in CPS Models" has been accepted at International Journal on Software Tools
for Technology Transfer, 2020
Dec 2019 - Our paper on "SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities"
has been accepted at ICCPS'20: the 11th IEEE/ACM Conference on Cyber-Physical Systems
that will be held in Sydney, Australia, as part of CPSWeek 2020.
Dec 2019 - Our paper on "MORA - Automatic Generation of Moment-Based Invariants"
has been accepted at TACAS 2020: the 26th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems
that will be held in Dublin on 25-30 April 2020, Ireland.
Dec 2019 - I was invited to join the Program Committee of
CMSB 2020,
18th International Conference on Computational Methods in Systems Biology,
23th-25th September 2020, University of Konstanz (DE)
Nov 2019 - I was invited to join the Program Committee of
RV 2020, the 20th International Conference on Runtime Verification,
which will take place in Los Angeles, USA during October 6-9, 2020.
Nov 2019 - Dr. Denise Ratasich has defending her Ph.D. on Self-Healing
Cyber Physical Systems. Her research was partially funded by the Austrian FFG IoT4CPS project.
Denise is now employed as a Data Scientist in Austrian Railways (OBB).
Nov 2019 - I was invited to join the Program Committee of
ACSOS 2020,
the 1st International Conference on Autonomic Computing and Self-Organizing
Systems, August 17 - Fri 21 August 2020 Washington, DC, Washington, United States.
Oct 2019 - Our proposal ProbInG:
Distribution Recovery for Invariant Generation of Probabilistic Programs (E. Bartocci - PI, co-PI: E. Bura, L. Kovacs) has been accepted
for funding with the amount of roughly € 800K. The project will funded by WWTF funding agency.
We are looking for brilliant PhDs and PostDoc to hire !!!.
Oct 2019 - I was invited to join the Editorial Board of the Journal of Electronics
(Section of Computer Science & Engineering) a peer-reviewed, open access journal on the science of electronics and its applications.
Oct 2019 - I was invited to join the Program Committee of
ATVA 2020, 18th International Symposium on Automated Technology for Verification
and Analysis, will be held in Hanoi, Vietnam, October 26-30, 2020
Sept 2019 - I will give an invited talk at STRCC 2019,
an international workshop on Spatio-Temporal Reasoning for Control of Cyber-physical Systems.
This workshop will be co-located with CDC'19 on December 10th, Nice, France.
Aug 2019 - I was invited to join the Program Committee of
HSCC 2020, the 23rd ACM International Conference on Hybrid Systems:
Computation and Control, which will take place in Sydney, Australia during April 21-24, 2020.
Aug 2019 - We have organized the ScottFest
a conference in honour of the 65th birthday of Scott A. Smolka.
July 2019 - Our paper on "Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics"
has been accepted at CDC 2019: the 58th IEEE Conference on Decision and Control
that will be held in Nice, France - December 11th-13th 2019.
July 2019 - I was invited to join the Program Committee of
MedCPS 2020, the 10th Medical Cyber Physical Systems in Internet of Things Workshop that
will be held in Washington, DC, USA, September 25th, 2020.
July 2019 - We have available a new PhD position
in my group at TU Wien, Vienna. The research area: formal methods
applied to the specification and monitor of large-scale, spatially-distributed,
stochastic systems. The position is funded by “High-dimensional statistical
learning: new methods to advance economic and sustainability policies”
grant of FWF & ÖAW. The successful candidate will be part of the LogiCS
Doctoral College and she/he will be supervised by Prof. Ezio Bartocci and
co-supervised by Dr. Laura Nenzi. Application Deadline August 31, 2019.
More details are available here
July 2019 - I started my new appointment at TU Wien as
tenured Associate Professor.
July 2019 - I was invited to join the Program Committee of
SpringSim 2020, the 2020 Spring Simulation Conference that
will be held in Virginia, USA, May. 19-21, 2020.
June 2019 - Our paper on "Automatic Failure Explanation in CPS Models"
has been accepted at SEFM 2019: the 17th edition of the International
Conference on Software Engineering and Formal Methods that will be held
in Oslo, Norway.
June 2019 - Our paper on "Piecewise Robust Barrier Tubes for Nonlinear
Hybrid Systems with Uncertainty" has been accepted at FORMATS 2019: 17th
International Symposium on Formal Modeling and Analysis of Timed Systems that
will be held in Amsterdam, Netherlands.
June 2019 - Our paper on "Automatic Generation of Moment-Based Invariants
for Prob-Solvable Loops" has been accepted at ATVA 2019: the 17th International Symposium
on Automated Technology for Verification and Analysis (ATVA 2019) that will be held
in Taipei City, Taiwan.
June 2019 - Our paper on "Investigating a Hodgkin-Huxley type model for
Drosophila larval neuromuscular junctions via particle swarm fitting" has been
accepted at CMSB 2019: the 17th International Conference on Computational Methods
in Systems Biology, 18th-20th September 2019, University of Trieste, Trieste (Italy).
May 2019 - Our paper on "Capacitive Soil Moisture Sensor Node for IoT
in Agriculture and Home"
has been accepted at ICST 2019: the 2019 IEEE 23rd international
symposium on consumer technologies, 19th – 21st June 2019, Ancona, Italy
May 2019 - I was promoted from tenure-track Assistant Professor to tenured Associate Professor.
May 2019 - I was invited to join the Program Committee of DATE 2020:
Design, Automation, and Test in Europe, 09 – 13 March 2020, ALPEXPO, Grenoble, France.
Apr 2019 - I was invited to join the Program Committee of
ICECCS 2019, the
24th IEEE International Conference on Engineering of Complex
Computer Systems, 10-13 November 2019 - Hong Kong, China.
Apr 2019 - Our paper on "Adaptive Fault Detection exploiting
Redundancy with Uncertainties in Space and Time"
has been accepted at SASO 2019: the 13th IEEE International Conference on
Self-Adaptive and Self-Organizing Systems held in Umeå, Sweden on
June 16 – 20, 2019.
Apr 2019 - I have successfully defended the
Habilitation (Venia Docendi) in Computer Science. I am now also a Privat Dozent
at the Faculty of Informatics of TU Wien, Austria
Mar 2019 - I will be an adjunct Faculty Member of the
International PhD School in Research Methods in Science and Technology at
University of Urbino, Italy
Feb 2019 - I was invited to join the Program Committee of SETTA 2019,
(Symposium on Dependable Software Engineering Theories, Tools and Applications)
will be held in Shanghai, China, Nov. 27-29, 2019.
Feb 2019 - I was invited to join the Program Committee of RV 2019,
The 19th International Conference on Runtime Verification will take place
in Porto, Portugal, 8-11 October 2019.
Feb 2019 - I was invited to join the Program Committee of SASO 2019,
The 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems
(SASO 2019) is held in Umeå, Sweden on June 16 – 20, 2019.
Jan 2019 - Emily Neufeld was awarded with Christiana HÖRBIGER
Prize for the Promotion of International Mobility for Young Scientists.
Dec 2018 - Our paper: "A Roadmap Towards Resilient Internet
of Things for Cyber-Physical Systems" has been accepted in IEEE Access
(Impact Factor: 3.557).
Dec 2018 - Another success in my team. Laura Nenzi will
lead the TU Wien part of the FWF Young Independent Researcher Groups grant on
"New methods for economic and sustainability policy" - Total budget
1.5 millions of Euro. The aim of this project is the development and the
application of innovative and future-oriented methods for the analysis
of large amounts of data. Congratulations to Laura and to the other PIs.
More information is available on the
FWF website (in German).
Dec 2018 - Our paper on "Quantitative Regular Expressions
for Arrhythmia Detection" has been accepted in IEEE/ACM Transactions on
Computational Biology and Bioinformatics.
Dec 2018 - I was invited to join the Program Committee of TACAS 2020,
the 26th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, which will take place April 27-30, 2010 in Dublin, Ireland.
Nov 2018 - I will organize the TOOLympics 2019, an event to celebrate
the achievements of the various competitions or comparative evaluations in the field
of Tools and Algorithms for the Construction and Analysis of Systems.
Oct 2018 - Lilly Treml and Emily Neufield start their PhD in my group. Welcome Emily and Lilly !!
Sep 2018 - I was invited by the Rector of University of Camerino
(Italian university founded in 1336) to deliver a commencement address on
Saturday 22nd September to more than 400 graduates of the University of
Camerino in Italy.
More information can be found in italian online newspaper.
My interview can be found here or here.
Sep 2018 - I was invited to join the Programme Committee of
the 17th International Conference on Computational Methods in Systems Biology
(CMSB 2019) that will be held in Trieste, Italy, September 2019.
Sep 2018 - I will be the General Chair of Wien QONFEST 2020:
the umbrella conference comprising the joint international 2020 meetings
CONCUR, QEST, FORMATS, alongside with several workshops and tutorials.
Sep 2018 - Ana Oliveira da Costa starts her PhD in my group. Welcome Ana !!
July 2018 - Our paper on "An Algebraic Framework for Runtime Verification"
has been accepted at EMSOFT 2018: the 18th International International
Conference on Embedded Software, Turin, Italy, September 30-October 5, 2018.
The final version of the paper will appear in IEEE Transactions on Computer-Aided Design (IEEE TCAD).
June 2018 - Our paper on "Signal Convolution Logic"
has been accepted at ATVA 2018: the 16th International Symposium on
Automated Technology for Verification and Analysis,
Los Angeles, USA, October 7-10, 2018
May 2018 - Our paper on "A Robust Genetic Algorithm for Learning Temporal Specifications from Data"
has been accepted at QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems,
Beijing, China, September 4-7, 2018
May 2018 - Our paper on "Parameter-Independent Strategies for pMDPs via POMDPs"
has been accepted at QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems,
Beijing, China, September 4-7, 2018
May 2018 - I was invited to join the program committee of FSEN 2019:
the 8th IPM International Conference on Fundamentals of Software Engineering, 1-3 May, 2019
May 2018 - I was invited to join the technical program committee (TPC) of DATE 2019:
Design, Automation, and Test in Europe, Florence, Italy, the 25-29 March, 2019
April 2018 - Our paper on "A Counting Semantics for Monitoring LTL Specifications over Finite Traces"
has been accepted at CAV 2018: 30th International Conference on Computer Aided Verification, Oxford, UK, July 14-17, 2018
April 2018 - Our paper on "Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes"
has been accepted at CAV 2018: 30th International Conference on Computer Aided Verification, Oxford, UK, July 14-17, 2018
March 2018 - Our paper on "Quantitative Monitoring of STL with Edit Distance"
has been accepted in International Journal on Formal Methods in Systems Design.
March 2018 - Our paper on "Verifying nonlinear analog and mixed-signal
circuits with inputs" has been accepted to be presented in ADHS 2018 - IFAC
Conference on Analysis and Design of Hybrid Systems that will be held in Oxford,
UK during FLOC 2018.
February 2018 - I was invited to join the Programme Committee of VORTEX 2018: the second workshop on runtime verification and monitoring for object-oriented languages and systems,
which will be co-located with ECOOP 2018 in Amsterdam, July 16-21
February 2018 - I was invited to join the Programme Committee of SHPCS 2018: the 13th International Workshop on Security and High Performance Computing Systems, July 16 – 20, 2018, Orléans, France
February 2018 - I was invited to join the Programme Committee of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus (10-13 November)
January 2018 - I will co-organize the Vienna Young Scientists Symposium on Intelligent Data Systems.
The VSS 2018 takes place on Thursday June 7, and Friday June 8, 2018 in TUtheSky. Please consider to submit an abstract .
January 2018 - Our paper on "Parallel Reachability Analysis for Hybrid Systems Using XSpeed" has been accepted
to appear in the International Journal on Software Tools for Technology Transfer (Springer)
January 2018 - I was invited to join the Programme Committee of MT-CPS 2018: the Third International Workshop on the Monitoring and Testing of CPS,
that will held at CPS Week 2018 in Porto, Portugal on April 10, 2018
December 2017 - Our paper "Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic"
has been accepted in the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018), Porto, 11-13 April 2018
December 2017 - I was invited to join the Programme Committee of the Embedded Systems and the Internet of Things
(ES-IoT) track at the 44th EUROMICRO Conference on Software Engineering and Advanced applications (SEAA) in Prague,
Czech Republic, August 29-31, 2018.
December 2017 - I was invited to join the Programme Committee of the
1st Edition of the International Smart Farming Workshop, April 10, 2018, Porto, Portugal (Smart Farming 2018)
December 2017 - I was invited to join the Programme Committee of the
8th Edition of the International Medical Cyber-Physical Systems Workshop, April 10, 2018, Porto, Portugal (MCPS 2018)
December 2017 - I was invited to join the Programme Committee of the
Third Workshop on Design and Analysis of Robust Systems April 10, 2018, Porto, Portugal (DARS 2018)
November 2017 - I was invited to join the Programme Committee of
13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018)
ENS Paris-Saclay, Cachan, France. (July 16 − 20, 2018)
November 2017 - Laura Nenzi was awarded with Christiana HÖRBIGER Prize for
the Promotion of International Mobility for Young Scientists.
November 2017 - Lilly Treml was awarded with a stipendium to work
for nine months on her master thesis under my supervision.
November 2017 - I was invited to join the Programme Committee of
the 16th International Conference on Computational Methods in Systems Biology
(CMSB 2018) that will be held in Brno, Czech Republic, 12th to 14th September 2018.
October 2017 - I was invited to join the Programme Committee of
the 2nd International Workshop on Safe Control of Connected and Autonomous Vehicles
(SCAV 2018) that will be held in Porto, April 11-13, 2018.
October 2017 - I was invited to join the Programme Committee of
the International Conference on Quantitative Evaluation of SysTems (QEST) that
will be held on September 4-7, 2018, Beijing, China.
October 2017 - I am the
TU Wien Principal Investigator for the Light-project on "Trustworthy IoT for Cyber-Physical-Systems" funded by Austrian FFG.
October 2017 - I was invited to join the Programme Committee of
the IFIP Internet of Things Conference that will be held during the 24th IFIP World Computer
Congress, Poznan, Poland, September 2018.
September 2017 - Invited to join the Programme Committee of
CAV 2018: The 30th International Conference of Computer Aided Verification,
will be held at Oxford University, UK, July, 14-17, 2018.
September 2017 - Our paper "SMT-based Synthesis of Safe and Robust PID Controllers
for Stochastic Hybrid Systems" has been accepted in the 13th IBM Haifa
Verification Conference, Haifa, Israel
August 2017 - Our paper "Policy learning in Continuous-Time Markov
Decision Processes using Gaussian Processes" has been accepted in the International
Journal of Performance Evaluation (Elsevier).
July 2017 - Invited to join the Programme Committee of
ADHS 2018: The 6th IFAC Conference on Analysis and Design of Hybrid
Systems (ADHS), will be held at Oxford University, UK, July, 11-13, 2018.
July 2017 - Our paper "Monitoring Mobile and Spatially Distributed
Cyber-Physical Systems" has been accepted for MEMOCODE 2017:
the 15th ACM-IEEE International Conference on Formal Methods and Models for
System Design that will be held at TU Wien (co-located with FMCAD), Vienna, Austria,
from September 29 to October 2, 2017.
June 2017 - Invited to join the Programme Committee of
HSCC 2018: the 21st International Conference on Hybrid Systems: Computation and
Control, Porto, Portugal from April 10-13, 2018.
June 2017 - Our paper "Quantitative Regular Expressions
for Arrhythmia Detection Algorithms" has been accepted to be
presented at CMSB 2017
(15th International Conference on Computational
Methods in Systems Biology), 27th-29th September 2017 Technische
Universität Darmstadt (Germany)
June 2017 - Invited to join the Programme Committee of
SAC 2018: the
33rd ACM/SIGAPP Symposium On Applied Computing, will be held at Université de
Pau et des Pays de l'Adour (UPPA), Bayonne, France, on April, 2018.
June 2017 - Invited to join the Programme Committee of
InfQ 2017:
the International Workshop on New Frontiers in Quantitative Methods in Informatics
Congratulations to Bernard for his exciting master thesis
work and for the design work of the six-legged robots !!
May 2017
May 2017 - Our paper "A Probabilistic Small Model Theorem to
Assess Confidentiality of Dispersed Cloud Storage" has been accepted to be
presented at QEST 2017 (14th International Conference on Quantitative
Evaluation of SysTems), Berlin, Germany, 2017
April 2017 - Invited to join the Programme Committee of
DataMod 2017:
the 6th International Symposium “From Data to Models and Back", will be
held in conjunction with SEFM 2017 on 4-5 September in Trento, Italy.
April 2017 - Our paper "Runtime Monitoring with Recovery of the SENT
Communication Protocols" has been accepted to be presented at CAV 2017 (29th
International Conference on Computer-Aided Verification), Heidelberg, Germany, 2017
April 2017 - The Special Issue on Medical Cyber Physical Systems workshop
(MedicalCPS'16) co-edited with Martin Leucker is now available in
SIGBED Review.
April 2017 - I earned the National Italian Habilitation as Associate
Professor in "Sistemi
di Elaborazione dell'Informazione ING-INF 05" (equivalent to Computer Engineering)
by the Italian Ministry of Education, Universities and Research.
April 2017 - Our paper "Computing with Biophysical and Hardware-efficient
Neural Models" has been accepted to be presented at IWANN 2017 (14th International
Work-Conference on Artificial Neural Networks), Cadiz, Spain, 14-16 June, 2017
March 2017 - Invited to join the Organisation Committee as a Publicity
Chair of ETAPS 2018 that will held next year
in Thessaloniki, Greece
March 2017 - Our paper "SEA-PARAM: Exploring Schedulers in Parametric MDPs"
has been accepted to be presented at QAPL 2017 (15th International Workshop on
Quantitative Aspects of Programming Languages and Systems), Uppsala, Sweden, Sunday 23 April 2017
March 2017 - Our paper "First International Competition on Runtime
Verification, Rules, Benchmarks, Tools, and Final Results of CRV 2014" has been accepted
to appear in the International Journal on Software Tools for Technology Transfer.
Feb 2017 - Our paper "A Linear Programming-based iterative approach to
Stabilizing Polynomial Dynamics" has been accepted to the 20th World Congress of the
International Federation of Automatic Control (IFAC), 9-14 July 2017
Dec 2016 - Invited to join the Programme Committee of
MT-CPS 2017: the the
Second Workshop on the Monitoring and Testing of CPS, will be held in conjunction
with CPSWeek 2017 in Pittsburgh, Pennsylvania on April 21st, 2017.
Dec 2016 - Invited to join the Programme Committee of
RV 2017: the The 17th International Conference on Runtime Verification, September 13 – 16, 2017 Seattle, USA
Dec 2016 - Our paper "ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans" has been accepted
at TACAS 2017, the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Dec 2016 - Invited Colloquium/Seminar at Newcastle University, UK on "Modeling and Analysis of Cyber-Physical Systems".
Dec 2016 - Invited to join the Programme Committee of CMSB 2017: the
15th International Conference on Computational Methods in Systems Biology will be held in September 2017 in Darmstadt.
22nd International Conference on Reliable Software Technologies, Vienna, Austria, 12-16th June 2017
Dec 2016 - Invited to join the Programme Committee of Ada-Europe 2017: the
22nd International Conference on Reliable Software Technologies, Vienna, Austria, 12-16th June 2017
Oct 2016 - Invited to join the Programme Committee of ICFEM 2017: the
19th International Conference of Formal Engineering Methods, Xi'an, China, 13-17th
November 2017
Oct 2016 - co-Chairing the RVE Track at ISoLA 2016: Runtime Verification and Enforcement,
the (industrial) application perspective. Here
is the program.
Oct 2016 - Invited to join the Programme Committee of SCAV 2017:
the first Workshop
on Safe Control of Connected and Autonomous Vehicles (SCAV 2017) at CPS Week 2017, April 18-21, 2017
Sept 2016 - The enrollment for the Course on Networked
Embedded Systems (for the Winter Semester) will be performed using the
MyTI portal starting from
25th September. The enrolment will be closed on Friday 14th October.
The max number of students for this course is 15.
Please register soon !!!
Sept 2016 - Chairing the CMSB 2016
Conference at Computer Laboratory at Cambridge University (21-23 September, 2016).
Sept 2016 - Our paper "Parallel Reachability Analysis for Hybrid Systems"
has been accepted at MEMOCODE 2016:
the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design.
Aug 2016 - Our paper "A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks"
has been accepted to be published in the IEEE Transactions on Control of Network Systems.
Aug 2016 - Invited to join the Programme Committee of SPIN 2017,
the 24th International SPIN Symposium on Model Checking of Software (SPIN), Santa Barbara, USA
Aug 2016 - Invited to join the Programme Committee of QEST 2017,
14th International Conference on Quantitative Evaluation of SysTems (QEST), Berlin, Germany
July 2016 - Our paper on "Quantitative Monitoring of STL with Edit Distance" has been accepted
at the 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain
July 2016 - Our paper on "Applying Runtime Monitoring for Automotive Electronic Development" has been accepted
at the 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain
June 2016 - Invited to join the Programme Committee of HSCC 2017,
20th International Conference on Hybrid Systems: Computation and Control (HSCC), Pittsburgh, USA
June 2016 - Invited to join the Programme Committee of FSEN 2017,
7th IPM International Conference on Fundamentals of Software Engineering (FSEN), Tehran, Iran
Nov 2015 - Invited to join the Programme Committee of NSV'2016,
the 9th International Workshop on Numerical Software Verification, April, 2016, Vienna, Austria
Nov 2015 - Invited to join the Programme Committee of SNR '16,
the 2nd Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'16), April, 2016, Vienna, Austria
Nov 2015 - Our paper on "Monitoring of MTL Specifications With IBM's
Spiking-Neuron Model" will appear in the 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany.
Oct 2015 - Invited to join the Programme Committee of MT CPS'16,
the 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, 2016, Vienna, Austria
Oct 2015 - I was invited to give a lecture at the 16th edition of SFM that will be held in Bertinoro and it
will be devoted to Quantitative Evaluation of Collective Adaptive Systems.
Oct 2015 - Our paper on "Computational modeling, formal analysis and tools for systems biology"
will appear in PLOS Computational Biology.
Sep 2015 - Invited to join the Programme Committee of RV'16,
the 16th Intern. Conference on Runtime Verification, September, 2016, Madrid, Spain.
Sep 2015 - Our paper on "Abstraction-based Parameter Synthesis for Multiaffine Systems" will appear in
the 11th Haifa Verification Conference, Haifa, Israel (HVC 2015).
Sep 2015 - Our paper on "XSpeed: Accelerating Reachability Analysis on MultiCore Processors" will appear in
the 11th Haifa Verification Conference, Haifa, Israel (HVC 2015).
August 2015 - The call for workshops and tutorials for CPS Week 2016 is now available online.
August 2015 - The call for paper for CPS Week 2016 is now available online.
August 2015 - The program for the RV 2015 conference is now available online.
July 2015 - Our paper on "Neural Programming: Towards Adaptive Control in Cyber-Physical Systems" will appear in
the 54th IEEE Conference on Decision and Control, Osaka, Japan (CDC 2015).
July 2015 - Our paper on "From Signal Temporal Logic to FPGA Monitors" will appear in the
the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design
(MEMOCODE 2015).
July 2015 - Our paper on "Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic" will appear in
the Fourth International Workshop on Hybrid Systems Biology (HSB 2015).
July 2015 - The collaboration proposal titled "Novel Optimal Solutions for Security and Reliability in Dispersed and Federated Cloud Storage Systems" has
been funded by University of Politecnica delle Marche, Ancona, Italy
July 2015 - I will collaborate in the new exciting NSF-funded “CyberHeart” project, led by Scott A. Smolka
June 2015 - I am in the Programme Committee of HSCC'16,
the Hybrid Systems: Computation and Control, April 11-14, 2016, Vienna, Austria
June 2015 - I am in the Programme Committee of DoCEIS'16,
the 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, April 11-13, 2016, Portugal
June 2015 - I am in the Programme Committee of SSV’15,
the 9th International Conference on Systems Software Verification, December 7-8 on the Gold Coast, Australia
May 2015 - I am in the Programme Committee of RTSI’15, 1st International Forum on
on Research and Technologies for Society and Industry, Torino, Italy 16-18 September, 2015
May 2015 - I am in the Programme Committee of SCOPES’15,
International Workshop on Spatial and COllective PErvasive Computing Systems, MIT, Cambridge, USA on September 21, 2015
Apr 2015 - I am in the Manag. Committee of the European ICT COST Action IC1405 on "Reversible Computation" representing Austria.
Apr 2015 - CPS Week 2016 has now a website and a facebook page. Stay tuned !!
Mar 2015 - I'm in the Programme Committee of HSB 2015, the 4th International Workshop on
Hybrid Systems Biology, Madrid Meet 2015
Feb 2015 - Our paper on "System Design of Stochastic Models using Robustness of Temporal Properties" was
accepted for publication in Theoretical Computer Science.
Feb 2015 - I will give a series of lectures on GPU Computing and Architecture at the institute of Theoretical Physics at University of Tübingen from 16-20 of February.
Feb 2015
Muscles2Hexapod: one of the projects assigned to my students of Networked Embedded Systems (Fall 2014).
Feb 2015 - I will give an invited talk in Oxford on the 11th of February.
Jan 2015 - Looking for a PostDoc ! The job description is posted here
Dic 2014 - Our paper on "SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems "
will appear at HSCC 2015: the 18th International Conference on Hybrid Systems:
Computation and Control (HSCC 2015)
Dic 2014 Kick-off meeting for the EU Cost ARVI: Runtime Verification beyond Monitoring.
Ylies Falcone and I were elected to co-Chair the RV Core Working Group.
Dic 2014 I am in the Organizing committee for the CPS week 2016 that will be held in Vienna !!!
Dic 2014 I won one of four openly advertised tenure-track positions (4 positions over 180 candidates from all over the world) at the Faculty of Informatics of Vienna University of Technology.
Dic 2014 The SHiNE proposal has been approved and funded by Austrian FWF ”Nationales Forschungsnetzwerk” !! SHINE: Systematic Methods in Systems Engineering. I am looking for a Post Doc.
Nov 2014 The results of the 1st International Competition on Software for Runtime Verification
are now available here.
Oct 2014 - In the winter semester I will teach Networked Embedded Systems and with the students we will have a lot of fun with Arduino, Android, XBee, Lego Mindstroms and Raspberry PI
Hearing at Austrian FWF for SHINE: Systematic Methods in Systems Engineering, 2nd funding period of the ”Nationales Forschungsnetzwerk”
Rigorous Systems Engineering (RISE)
September 2014 - I am in the Management Committee of the European ICT COST Action IC1402
on "Runtime Verification beyond Monitoring (ARVI)" representing Austria.
September 2014 - I am in the Program Committee of NSV'15, 2nd International Workshop on Numerical Software Verification
that will be held during CPS week 2015 in Seattle.
September 2014 - I am in the Program Committee of QAPL'15.
August 2014 - The program for the Medical Cyber-Physical Systems Track at ISoLA 2014,
that I am co-chairing with Scott A. Smolka (Stony Brook University) and Sicun Gao (Carnegie Mellon University), is now available.
August 2014 - 4 PhD positions available for the FFG HARMONIA project. One PhD candidate will be co-supervised by Prof. Grosu and me and will be hosted by VUT in Vienna, Austria.
August 2014 - The web site for RV 2015 is now under construction
July 2014 - Our report on "First International Competion on Software for Runtime Verification" will appear at RV 2014: 14th International Conference on Runtime Verification, Toronto, Canada
July 2014 - Our paper on "A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems" will appear at CDC 2014: 53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA
July 2014 - I am in the award committee that will assign the VCLA International Student Awards for the Outstanding Master Thesis and the Outstanding Undergraduate Research.
July 2014 - I am volunteering and attending Vienna Summer of Logic: the greatest event in the history of Logic !!!
July 2014 - I am teaching Runtime Verification at MOVEP 2014: 11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), 7-11 July 2014, Nantes, France
<June 2014 - Our paper on "Temporal Logic based Monitoring of Assisted
Ventilation in Intensive Care Patients" will appear at ISoLA 2014:
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 - Imperial, Corfu, Greece
June 2014 - The IKT der Zukunft FFG Proposal "Assertion-based Hardware Monitors Automotive Systems: HARMONIA"
has been approved for funding (I am co-proposer for TU Wien with Dr. Nickovick (AIT), Dr. Thang (INFINEON) and Prof. Grosu).
June 2014 - Our paper on "Data-driven Statistical Learning of Temporal Properties" has been accepted at FORMATS 2014:
12th International Conference on Formal Modeling and Analysis of Timed Systems Florence, Italy
June 2014 - I was invited to be part of the Editorial Board of Information and Computation
June 2014 - Keynote Speaker on "Executable Heart" at CIBB 2014, 26th June, University of Cambrdige, UK
June 2014 - Our paper on "Bayesian Design for the Whole Cell Synthetic Biology Models" has been accepted at HSB 2014: Third Third International Workshop on Hybrid Systems Biology, Vienna, Austria
June 2014 - Our paper on "Towards GPGPU-Parallel SPIN Model Checker" has been accepted at SPIN 2014: 21st International SPIN Symposium on Model Checking of Software, Hilton San Jose, Bay Area, California
May 2014 - The COST european cooperation in Science and Technology: ARVI: Runtime Verification beyond Monitoring in which I'm co-PI for TU Wien has been approved.
May 2014 - I'm in the Programme Committee of FSEN 2015, the 6th IPM International Conference on
Fundamentals of Software Engineering, Tehran, Iran
Mar 2014 - Invited Talk on "Runtime Verification" at
11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), 7-11 July 2014, Nantes, France
Mar 2014
ArduGlove: one of the projects assigned to my students of Networked Embedded Systems (Fall 2013).
Mar 2014 - Our paper on "Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation" has been accepted as a journal paper in Theoretical Computer Science.
Feb 2014
The Special Issue of Information and Computation on Hybrid Systems and Biology, edited by E. Bartocci, L. Bortolussi, S. A. Smolka is now in press.
Feb 2014 - I'm in the Program Committee of MOD* 2014, The 1st Workshop on Logics and MODel-checking for self-* systems
Jan 2014 - I now hold the Italian Scientific National Habilitation for Associate Professor in Computer Science, granted by the Ministry of Education, Universities and Research.
Jan 2014 - Our paper on "Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control" has been accepted at BIOTECHNO 2014, Chamonix, France.
Jan 2014 - I'm a Keynote Speaker at CIBB 2014, The 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, June 26-28, 2014, Cambridge, UK.
Dec 2013 - I'm in the HSCC 2014 Repeatability Evaluation Committee (REC).
Dec 2013 - I'm an associated faculty for the Doctoral School LogiCS - Logic in Computer Science sponsored by the Austrian FWF
Dec 2013 - I'm in the Programme Committee of ISoLA 2014, the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 - Imperial, Corfu', Greece
Nov 2013 - I'm in the Programme Committee of HSB 2014, the 3rd Inter. Workshop on Hybrid Systems and Biology (satellite event of CAV 2014), Vienna, Austria
Oct 2013 - I'm the co-Chair of CSRV-2014, the 1st Intl. Competition of Software for Runtime Verification (CSRV-2014) held with RV 2014 in Toronto, Canada
Oct 2013 - I'm the Tool Track Chair of RV 2014, the 14th Inter. Conference on Runtime Verification, Toronto, Canada
Sept 2013 - I will co-Chair the Programme Committee of RV 2015, the 15th Inter. Conference on Runtime Verification, Vienna, Austria
Sept 2013
The cover page of the IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) from March/April 2013 is dedicated to our work on cardiac dynamics simulations.
July 2013
E. Bartocci, C. R. Ramakrishnan (Eds.):
Proc. of SPIN 2013, the 20th International Symposium on Model Checking Software, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013.
E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti,
On the Robustness of Temporal Properties for Stochastic Models ,
In Proc. of HSB 2013, the 2nd Intern. Workshop on Hybrid Systems and Biology,
Taormina, Italy, September 2, 2013
I'm in the PC of the SPIN 21th Intern. Symposium on Model Checking Software, SPIN 2014, San Jose, CA, USA, July 21-23, 2014
I'm in the Programme Committee of the 12th Inter. Workshop on Quantitative Aspects of
Programming Languages and Systems, QAPL 2014, Grenoble, France
I'm in the Programme Committee of the 14th Inter. Conference on Runtime Verification, RV 2014, Toronto, Canada
K. Kalajdzic, E. Bartocci, S. A. Smolka, S. Stoller and R. Grosu ,
Runtime Verification with Particle Filtering. In Proc. of RV 2013, the 4th International Conference on Runtime Verification,
INRIA Rennes, France, September 24-27, 2013
A. Murthy, E. Bartocci, F. H. Fenton, J. Glimm, R. A. Gray, E. M. Cherry, S. A. Smolka, R. Grosu
Curvature Analysis of Cardiac Excitation Wavefronts. In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10(2), pp. 323--336, 2013
E. Bartocci, L. Bortolussi, L. Nenzi ,
A temporal logic approach to modular design of synthetic biological circuits. In Proc. of CMSB 2013, the 11th International Conference on Computational Methods in Systems Biology,
IST Austria, Klosterneuburg, Austria, September 23-25, 2013
I'm a Programme Committee member of the 2nd Intern. Workshop on Hybrid Systems and Biology, HSB 2013, Sept 2013, Taormina, Italy.
Master Degree Thesis project for TU Wien students (Students that are interest, please contact me soon !!).
Distributed Perception realized by Drones
July 27th-30th, 2013 - Invited Talk on "A Computational Modeling perspective of Systems Biology" at the
Systems Biology Summer School (SBSS), held at the Chateau of Nove Hrady, South Bohemia, Czech Republic from
27th to 30th July 2013.
I'm a Programme Committee Co-Chair of the SPIN Intern. Symposium on Model Checking Software (20th edition)SPIN 2013, July 2013, Stony Brook, USA.
I'm a Programme Committee member of the 3rd Intern. Workshop of Hybrid Autonomous Systems, HAS 2013, March 2013, Rome, Italy.
I'm a Programme Committee member of the 11th Intern. Workshop of Quantitative Aspects in Programming Languages QAPL 2013, March 2013, Rome, Italy.
In Brief:
I am an Associate Professor in Computer Science,
at TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the
Cyber-Physical System Research Division.
The primary focus of my research is to develop formal methods, computational tools and
techniques that support the modeling and the automated analysis of complex computational
systems, including software systems, cyber-physical systems and biological systems.
On these topics I co-authored more than 95 referred papers published in the main
international journals and top-tier conferences of my research areas (CAV, ICCPS, TACAS, ATVA,
CDC, EMSOFT, HSCC, etc.), generating more than 2600 citations (h-index >= 30) according to
Google Scholar.
I joined the Faculty of Informatics at TU Wien in 2012 as University Assistant. In Dec. 2014 I won
a "Laufbahnstelle" becoming a tenure-track Assistant Professor and I was promoted to
tenured Associate Professor in May 2019.
Previously I was a post-doctoral researcher at the Department
of Computer Science (Research Scientist - from March 2011) and at the Department
of Applied Math and Statistics (Research Associate - from February 2010) of the
State University of New York at Stony Brook.
My research area, in the framework of the NSF Expeditions in Computing project CMACS,
was the Computational Modelling and Analysis of Cardiac Dynamics for Prediction and Control
of Cardiac Arrhythmia. I received the B.S. degree in Computer Science and the M.S. degree
in Bioinformatics from the University of Camerino in Italy, in 2002 and 2005, respectively.
During my M.S. degree in Bioinformatics I won a scholarship (from June 2003 to Feb 2004)
funded by the MIUR project Oncology Over Internet (O2I). In 2009 I got a Ph.D. in Complex
Systems and Information Sciences from the University of Camerino. I also hold the National
Habilitation as Associate Professor (since 2014) in Computer Science (INF/01) and
Computer Engineering (since 2017) (ING/INF-05) in Italy. In 2019 I received the Habilitation
(Venia Docendi) in Computer Science at the Faculty of Informatics of TU Wien.
I co-chaired several international events, such as HSB 2012, the First International
Workshop on Hybrid Systems and Biology, SPIN 2013, the 20th Intern. Symposium on Model
Checking Software, the CSRV-2014, the First Intl. Competition of Software Runtime Verification
in Canada, the Medical CPS track at Isola 2014, the 15th Intl. Conference on Runtime
Verification in Vienna (2015), the 14th International Conference on Computational Methods
in Systems Biology in Cambridge (2016) and the 7th International Workshop on Medical
Cyber-Physical Systems in Vienna (2016).
I serve as Editorial Board Member of the International Journal of
Information and Computation (Elsevier) and of the International
Journal
of Electronics - Section of Computer Science & Engineering (MDPI).
I am a permanent member of the Steering Committee of the International Conference
of Runtime Verification.
I represented Austria in the management committee of the EU COST ICT action ARVI on Runtime
Verification and I co-chair the RV core working group in this action. I am currently
the local project leader for the TU Wien of IoT4CPS
and I will be the scientific coordinator of the recently funded WWTF ICT project ProbInG.
I will be the General Chair of QONFEST 2020,
the umbrella conference comprising the joint international 2020 meetings: CONCUR 2020,
FMICS 2020, FORMATS 2020, QEST 2020, alongside with several workshops and tutorials.
