Noureddine Boudriga

On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili · Formal Aspects of Computing · 1992 · 83 citations

Computing, Computer Science, Formal Methods +11

SPAMMS: A sensor-based pipeline autonomous monitoring and maintenance system

Jonghoon Kim, Gokarna Sharma, Noureddine Boudriga et al. · 2010 · 82 citations

Engineering, Autonomous Systems, Robotics Engineering +17

Cooperative data muling from ground sensors to base stations using UAVs

Emmanuel Tuyishimire, Antoine Bagula, Slim Rekhis et al. · 2017 · 56 citations

Computing, Computer Systems, Internet Of Things +14

Border surveillance monitoring using Quadcopter UAV-Aided Wireless Sensor Networks

Sarra Berrahal, Jong-Hoon Kim, Slim Rekhis et al. · Journal of Communications Software and Systems · 2016 · 56 citations · Full text

Engineering, Aerospace Engineering, Robotics Engineering +17

A System for Formal Digital Forensic Investigation Aware of Anti-Forensic Attacks

Slim Rekhis, Noureddine Boudriga · IEEE Transactions on Information Forensics and Security · 2011 · 45 citations

Computing, Computer Science, Computer Systems +16