Parosh Aziz Abdulla

Best Paper Awards
Best Paper at ETAPS'13
  • Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, and Ahmed Rezine.
  • An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
  • European Association of Software Science and Technology (EASST) award for best paper at ETAPS'13, the European Joint Conferences on Theory and Practice of Software.
    • 2013.
    Best Paper at ETAPS'10
  • Parosh Aziz Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr, and Tomas Vojnar.
  • When Simulation Meets Antichains (on Checking Language Inclusion of NFAs).
  • European Association for Theoretical Computer Science (EATCS) award for best paper at ETAPS'10, the European Joint Conferences on Theory and Practice of Software.
    • 2010.
    Best Paper at CIAA'08
  • Parosh Aziz Abdulla, Ahmed Bouajjani, Lukas Holik, Lisa kaati, and Tomas Vojnar.
  • Composed Bisimulation for Tree Automata.
  • Best paper award at CIAA'08, the 13th International Conference on Implementation and Application of Automata.
    • 2008.
    Best Paper at WMC'08
  • Parosh Aziz Abdulla, Giorgio Delzanno, and Laurent Van Begin.
  • On the qualitative analysis of conformon P systems.
  • Best paper award at WMC'08, the 9th Workshop on Membrane Computing.
    • 2008.
    Distinguished paper at TACAS'07
  • Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine.
  • Regular Model Checking without Transducers.
  • Microsoft award for distinguished papers co-authored by a student, the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems.
    • 2007.
    Best Paper at CIAA'06
  • Parosh Aziz Abdulla, Johanna Högberg, and Lisa Kaati.
  • Minimization of tree automata.
  • Best paper award at CIAA'06, the 11th International Conference on Implementation and Application of Automata.
    • 2006.
    Best Paper at ICALP'01
  • Parosh Aziz Abdulla, Luc Boasson, and Ahmed Bouajjani.
  • Effective Lossy Queue Languages.
  • EATCS (European Assoociation for Theoretical Computer Science) award for best paper award at ICALP'01, the 28th Int. Colloquium on Automata, Languages and Programmming.
    • 2001.
    Best Paper at ETAPS'00
  • Parosh Aziz Abdulla, Per Bjesse, and Niklas Een.
  • Symbolic Reachability Analysis Based on SAT-Solvers.
  • EAPLS (European Association for Programming Languages and Systems) award for best paper at ETAPS'00, the European Joint Conferences on Theory and Practice of Software.
    • 2000.
    Research Grants
    Automata, Probabilities, and Games
  • VR project.
  • Role: Project Leader.
  • Funded by: VR, the Swedish Research Council.
    • 2011--2014
    • Total funding level: 3 MSEK (0.4 MEuro)
    Software Verification
  • VR "Rambidrag".
  • Role: Project Leader.
  • Funded by: VR, the Swedish Research Council.
    • 2010--2012
    • Total funding level: 11 MSEK (1.1 MEuro)
    UPMARC
  • The Uppsala Programming for Multicore Architectures Research Center. Linnaeus comptetence center.
  • Role: Leader of verification track.
  • Funded by: VR, the Swedish Research Council.
    • 2009--2019
    • Total funding level: 60 MSEK (6 MEuro)
    ProFun
  • A Programming Platform for Future Wireless Sensor Networks.
  • Role: Leader of validation and verification track.
  • Funded by: SSF, the Swedish Foundation for Strategic Research.
    • 2009--2013
    • Total funding level: 35 MSEK (3.5 MEuro)
    Advanced Techniques for Model Checking of Infinite-State Systems
  • VR project.
  • Role: Project leader.
  • Funded by: VR, the Swedish Research Council.
    • 2008--2010
    • Total funding level: 2.5 MSEK (0.25 MEuro)
    Games for Design and Verification
  • A European Project. ESF Research Networking Programme on using Games for Design and Verification..
  • Role: Site leader. Member of the steering committee.
  • Funded by: EU.
    • 2008--2013
    Algorithmic Software Verification
  • VR project.
  • Role: Project leader.
  • Funded by: VR, the Swedish Research Council.
    • 2005--2007
    • Total funding level: 3.3 MSEK (0.33 MEuro)
    ADVANCE
  • Advanced Validation for Telecommunication Protocols. European FET project.
  • Role: Site leader.
  • Funded by: EU.
    • 2000--2004
    • Total funding level: 2.0 MEuro
    Automated Program Verification
  • VR project.
  • Role: Project leader.
  • Funded by: VR, the Swedish Research Council.
    • 2002--2004
    • Total funding level: 2.4 MSEK (0.24 MEuro)
    Symbolic Model Checking Using Stalmarck's Method
  • ASTEC project, Advanced Software TEChnology competence center.
  • Role: Project leader.
  • Funded by: Vinnova, the Swedish Governmental Agency for Innovation Systems.
    • 2000--2003
    • Total funding level: 2.4 MSEK (0.24 MEuro)
    SymTime
  • New Directions in Symbolic Model Checking for Real-Time Systems.
  • Role: Project leader.
  • Funded by: ARTES, the Swedish strategic research initiative in Real-Time Systems.
    • 1996-2001
    • Total funding level: 2.1 MSEK (0.21 MEuro)
    Formal Techniques for Design of Real-time Systems and Hardware
  • TFR Project.
  • Role: Project co-leader.
  • Funded by: TFR, the Swedish Research Council for Engineering Sciences.
    • 1992-1995
    • Total funding level: 1.8 MSEK (0.18 MEuro)
    Automated Verification of Distributed Systems
  • TFR Project.
  • Role: Project co-leader.
  • Funded by: TFR, the Swedish Research Council for Engineering Sciences.
    • 1990-1992
    • Total funding level: 1.8 MSEK (0.18 MEuro)