My research interests include reliability
assessment of complex systems using formal methods,
(timed) Petri Nets
and analysis of parameterized, infinite-state systems.
Recent work:
Johann Deneux. Verification of Parameterized and Timed Systems. Undecidability and Efficient Methods. Thesis
Parosh Aziz Abdulla, Johann Deneux, and Pritha Mahata. Networks of Identical Multi-Clock Timed Processes. 2006
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. Using Forward Reachability Analysis for Verification of Timed Petri Nets. 2006
Below is a list of my published papers:
Parosh Aziz Abdulla, Johann Deneux, Joel Ouaknine, and James Worrell. Decidability and Complexity Results for Timed Automata via Channel Machines. Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, Lisbon, Portugal, 2005.
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, and Marcus Nilsson. Minimization of Non-Deterministic Automata with Large Alphabets. Proc. CIAA'05, 10th International Conference on Implementation and Application of Automata, Sophia Antipolis, France, 2005.
Parosh Aziz Abdulla, Johann Deneux, and Pritha Mahata. Multi-Clock Timed Networks. LICS'04, 18th IEEE Int. Symp. on Logic in Computer Science. Helsinki, 2004
Parosh Aziz Abdulla, Johann Deneux, and Pritha Mahata. Open, Closed and Robust Timed Networks. Proc. INFINITY'04: 6th International Workshop on Verification of Infinite-State Systems, London, 2004.
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata and Aletta Nylén. Forward Reachability Analysis of Timed Petri Nets. Proc. FORMATS/FTRTFT'04: Formal Modelling and Analysis of Timed Systems (FORMATS), and Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), Grenoble, France, 2004
Parosh Aziz Abdulla, Johann Deneux, and Ove Akerlund. Designing Safe, Reliable Systems using Scade. Proc. ISoLA'04, 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, 2004
Parosh Aziz Abdulla, Noomene Ben Henda, Johann Deneux, Bengt Jonsson, and Tomas Reidmar. Report on Dataflow Dependencies in Billing Processing Systems. Proc. ISoLA'04, 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, 2004
Johann Deneux and Ove Akerlund. A Common Framework for Design and Safety Analyses using Formal Methods. Proc. International Conference on
Probabilistic Safety Assessment and Management (PSAM7/ESREL'04), June 2004
Teaching
Current:
Since I no longer work here, do not submit assignments to me, even for previous instances of courses I assisted. If you need help, please contact the teacher currently responsible for the course. You may CC a mail to me if you think I may be able to help you, but your mail should not be addressed exclusively to me.
Past:
