Publications (search options)

forthcoming
2014
  • Huaizhou Shi and Prasad, R.V. and Rao, V.S. and Niemegeers, I.G.M.M. and Ming Xu (2014). Spectrum- and energy-efficient D2DWRAN. Communications Magazine, IEEE 52(7):38-45. [Bibtex]
  • Aust, Stefan and Prasad, R. Venkatesha and Niemegeers, Ignas G.M.M. (2014). Codebook Selection Strategies in Long-range Sub-1 GHz WLANs. In The 5th International Conference on Ambient Systems, Networks and Technologies (ANT '14), pp. 1-8. Elsevier. [Bibtex]
2013
  • K.G. Langendoen and W. Hu and F. Ferrari and M. Zimmerling and L. Mottola (Eds.) (2013). Proceedings of the 5th Workshop on Real-World Wireless Sensor Networks (RealWSN), Springer. [Bibtex]
2012
  • Vera Stavroulaki, Mathieu Boussard, R. Venkatesha Prasad, Septimiu Nechifor, Panagiotis Vlacheas, Panagiotis Demestichas, Matti Etelapera (2012). Scalable Architectures for the Real World Internet. In Paul Cunningham and Miriam Cunningham (Eds.), Future Network and Mobile Summit 2012 Conference Proceedings. International Information Management Corporation. [Bibtex]
  • Beal, J. and Dulman, S.O. and Usbeck, K. and Viroli, M. and Correll, N. (2012). In Marjan Mernik (Eds.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, Ch. Organizing the Aggregate: Languages for Spatial Computing, pp. --. IGI Global. [Bibtex]
  • Dulman, S.O. (2012). In K. Oosterhuis and H. Bier (Eds.) Practical programming of large-scale adaptive systems, Ch. 3. Jap Sam Books. [Bibtex]
  • Aust, S. and Prasad, R.V. and Niemegeers, I.G.M.M. (2012). Performance Evaluation of Sub 1 GHz Wireless Sensor Networks for the Smart Grid. In 37th Annual IEEE Conference on Local Computer Networks. [Bibtex]
  • Aust, S. and Ito, T. (2012). Sub 1GHz wireless LAN propagation path loss models for urban smart grid applications. In Computing, Networking and Communications (ICNC), 2012 International Conference on, pp. 116 -120. [Bibtex]
  • Aust, S. and Prasad, R.V. and Niemegeers, I.G.M.M. (2012). IEEE 802.11ah: Advantages in standards and further challenges for sub 1 GHz Wi-Fi. In Communications (ICC), 2012 IEEE International Conference on, pp. 6885 -6889. [Bibtex]
  • Shi, Huaizhou and Venkatesha Prasad, R. and Rao, Vijay S. and Niemegeers, I. G. M. M. (2012). Fairness and Network capacity Trade-off in P2P IEEE 802.22 networks. In Global Telecommunications Conference (GLOBECOM 2012), 2012 IEEE, Anaheim, CA, USA. [Bibtex]
  • Shi, Huaizhou and Venkatesha Prasad, R. and Rao, Vijay S. and Niemegeers, I. G. M. M. (2012). Procedure to Build Interference Map in Peer to Peer 802.22 Networks. In Global Telecommunications Conference (GLOBECOM 2012), 2012 IEEE, Anaheim, CA, USA. [Bibtex]
  • Prasad, R.V. and Sarkar, C. and Rao, V.S. and Rahim, A. and Niemegeers, I (2012). Opportunistic Service Provisioning in the Future Internet using Cognitive Service Approximation. In In Proc. of The 28th Wireless World Research Forum Meeting, Athens, Greece. [Bibtex]
  • Prabhakar, T.V. and Iyer, M. and Prakruthi, K. and Venkatesha Prasad, R. and Niemegeers, I. and Sathyanarayanan, S.P. (2012). Throughput schemes for energy harvesting sensor networks. In Communication Systems and Networks (COMSNETS), 2012 Fourth International Conference on, pp. 1 -7. [Bibtex]
  • Prabhakar, T V., Prasad, R. V., Jamadagni, H S., Niemegeers, I. (2012). Energy Consumption Profile for Energy Harvested WSNs, CRC Press. [Bibtex]
  • Guo, C., Prasad, R. V., Wang, J., Rao, V. S., Niemegeers, I. (2012). Localizing Persons Using Body Area Sensor Network, IGI Global. [Bibtex]
  • Lynn Grande, R V Prasad et al (2012). IEEE Standard for Policy Language Requirements and System Architectures for Dynamic Spectrum Access Systems. IEEE Std 1900.5-2011:1 -51. [Bibtex]
  • Vazifehdan, J. and Prasad, R.V. and Jacobsson, M. and Niemegeers, I. (2012). An Analytical Energy Consumption Model for Packet Transfer over Wireless Links. Communications Letters, IEEE 16(1):30 -33. [Bibtex]
  • R. Eskicioglu and A. Campbell and K.G. Langendoen (Eds.) (2012). Proceedings of the 10th ACM Conf. on Embedded Networked Sensor Systems (SenSys). [Bibtex]
  • A. Gonzalez-Sanchez and E. Piel and R. Abreu and H-G. Gross and A.J.C. van Gemund (2012). In P. van de Laar, J. Tretmans, M. Borth (Eds.) Situation Awareness with Systems of Systems, Ch. Prioritizing Tests for Fault Localization, pp. 251-261. Springer. [Bibtex]
  • E. Piel and A. Gonzalez-Sanchez and H-G. Gross and A.J.C. van Gemund (2012). In P. van de Laar and J. Tretmans and M. Borth (Eds.) Situation Awareness with Systems of Systems, Ch. Online Fault Localization and Health Monitoring for Software Systems, pp. 233-250. Springer. [Bibtex]
  • A.J.C. van Gemund and G.L. Reijns (2012). Reliability Analysis of k-out-of-n Systems with Cold Standby. IEEE Transactions on Reliability 61(2):526-532. [Bibtex]
  • Roni Stern and Meir Kalech and Alexander Feldman and Gregory Provan (2012). Exploring the Duality in Conflict-Directed Model-Based Diagnosis. In 26th Conference on Artificial Intelligence (AAAI'12), pp. 828-834, Toronto, Canada. [Bibtex]
2011
  • Aust, S. and Ito, T. (2011). Sub 1GHz wireless LAN deployment scenarios and design implications in rural areas. In GLOBECOM Workshops (GC Wkshps), 2011 IEEE, pp. 1045 -1049. [Bibtex]
  • A. Gonzalez-Sanchez and H-G. Gross and A.J.C. van Gemund (2011). Performance Modeling of Sequential Diagnosis Algorithms. In M. Sachenbacher and O. Dressler and M. Hofbaur (Eds.), Proc. 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), pp. 106-113, Murnau, Germany. TU Munich. [Bibtex]
  • A. Gonzalez-Sanchez and R. Abreu and H-G. Gross and A.J.C. van Gemund (2011). RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction. In M. Sachenbacher and O. Dressler and M. Hofbaur (Eds.), Proc. 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), pp. 84-91, Murnau, Germany. TU Munich. [Bibtex]
  • A. Feldman and T. Janssen and A.J.C. van Gemund (2011). Modeling Diagnostic Stochastic Search. In M. Sachenbacher and O. Dressler and M. Hofbaur (Eds.), Proc. 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), pp. 92-99, Murnau, Germany. TU Munich. [Bibtex]
  • A.J.C. van Gemund and S. Gupta and R. Abreu (2011). The ANTARES Approach to Automatic Systems Diagnosis. In M. Sachenbacher and O. Dressler and M. Hofbaur (Eds.), Proc. 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), pp. 5-12, Murnau, Germany. TU Munich. [Bibtex]
  • Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J.C. van Gemund (2011). Prioritizing Tests for Fault Localization through Ambiguity Group Reduction. In P. Alexander and C. Pasareanu and J. Hosking (Eds.), Proceedings of the 26th International Conference on Automated Software Engineering (ASE'11), pp. 83-92. IEEE. [Bibtex]
  • E. Piel and A. Gonzalez-Sanchez and H-G. Gross and Arjan J.C. Van Gemund (2011). Spectrum-based Health Monitoring for Self-Adaptive Systems. In 5th IEEE Int'l Conference on Self-Adaptive and Self-Organizing Systems (SASO'11), pp. 99-108. IEEE Computer Society. [Bibtex]
  • S. Gupta and Arjan J.C. van Gemund and Rui Abreu (2011). Probabilistic Error Propagation Modeling in Logic Circuits. In Proceedings of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 617-623. IEEE Computer Society. [Bibtex]
  • K.G. Langendoen and G. Pottie and V. Raghunathan (Eds.) (2011). Proceedings of the 10th Int. Conf. on Information Processing in Sensor Networks (IPSN), ACM. [Bibtex]
  • Rui Abreu, Alberto Gonzalez-Sanchez, Arjan J.C. van Gemund (2011). A Diagnostic Reasoning Approach to Defect Prediction. In K.C. Mehrotra et al. (Eds.), Proceedings of the Twenty-fourth International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011), pp. 416 - 425. Lecture Notes on Artificial Intelligence 6704, Springer-Verlag. [Bibtex]
2010
  • R. Abreu and A.J.C. van Gemund (2010). Diagnosing Intermittent Faults Using Maximum Likelihood Estimation. Artificial Intelligence 174(18):1481-1497. [Bibtex]
  • H. Sozer and R. Abreu and M. Aksit and A.J.C. van Gemund (2010). Increasing System Availability with Local Recovery based on Fault Localization. In Proceedings of the 10th Int'l Conference on Quality Software (QSIC'10), pp. 276-281. [Bibtex]
  • A. Feldman and G. Provan and A.J.C. van Gemund (2010). A Model-Based Active Testing Approach to Sequential Diagnosis. Journal of Artificial Intelligence Research 39:301-334. [Bibtex]
  • R. Abreu and A. Gonzalez-Sanchez and P. Zoeteweij and A.J.C. van Gemund (2010). Using Fault Screeners for Software Error Detection. In J. Cordeiro, L.A. Maciaszek, S. Hammoudi and J. Filipe (Eds.), WEBIST / ENASE 2008 Revised Best Papers, pp. 60-74. Springer. [Bibtex]
  • A. Feldman and G. Provan and A.J.C. van Gemund (2010). Approximate Model-Based Diagnosis Using Greedy Stochastic Search. Journal of Artificial Intelligence Research 38:371-413. [Bibtex]
  • A. Feldman and G. Provan and J. de Kleer and S. Robert and A.J.C. van Gemund (2010). Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa. In Proc. 21st International Workshop on the Principles of Diagnosis (DX'10). [Bibtex]
  • A. Feldman and T. Kurtoglu and S. Narasimhan and S. Poll and D. Garcia and Johan de Kleer and Lukas Kuhn and A.J.C. van Gemund (2010). Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework. International Journal of Prognostics and Health Management. [Bibtex]
  • Rui Abreu and Alberto Gonzalez-Sanchez and Arjan van Gemund (2010). Exploiting Count Spectra for Bayesian Fault Localization. In PROMISE'10: 6th International Conference on Predictive Models in Software Engineering, pp. 1-10, Timisoara, Romania. ACM Press. [Bibtex]
2009
  • S.O. Dulman and S. Chatterjea and P.J.M. Havinga (2009). In Richard Zurawski (Eds.) Architectures for Wireless Sensor Networks, Ch. 4, pp. 4.1--4.33. CRC Press,Taylor and Francis Group, LLC. [Bibtex]
  • S.O. Dulman and P.J.M. Havinga (2009). In Richard Zurawski (Eds.) Introduction to Wireless Sensor Networks, Ch. 3, pp. 3.1--3.11. CRC Press,Taylor and Francis Group, LLC. [Bibtex]
  • A. Gonzalez Escribano and V. Cardenoso Payo and A.J.C. van Gemund (2009). Performance Implications of Synchronization Structure in Parallel Programming. Parallel Computing 35(8-9):455 - 474. [Bibtex]
  • P. Zoeteweij and R. Abreu and A.J.C. van Gemund (2009). In R. Mathijssen (Eds.) TRADER: Reliability of High-Volume Consumer Products, Ch. Spectrum-Based Fault Localization in Practice, pp. 112-124. Embedded Systems Institute. [Bibtex]
  • R. Abreu and P. Zoeteweij and A.J.C. van Gemund (2009). In R. Mathijssen (Eds.) TRADER: Reliability of High-Volume Consumer Products, Ch. Fault Localization of Embedded Software, pp. 103-112. Embedded Systems Institute. [Bibtex]
  • R. Abreu and P. Zoeteweij and R. Golsteijn and A.J.C. van Gemund (2009). A practical evaluation of spectrum-based fault localization. Journal of Systems and Software 82(11):1780-1792. [Bibtex]
  • Rui Abreu (2009). Spectrum-based Fault Localization in Embedded Software. PhD Thesis, Delft University of Technology. [Bibtex]
  • R. Abreu and P.Zoeteweij and A.J.C. van Gemund (2009). Spectrum-based Multiple Fault Localization. In Gabriele Taentzer and Mats Heimdahl (Eds.), 24th International Conference on Automated Software Engeneering (ASE'09), pp. 88 - 99. IEEE Computer Society. [Bibtex]
  • T. Janssen and R. Abreu and A.J.C. van Gemund (2009). Zoltar: A Toolset for Automatic Fault Localization. In Andre van der Hoek and Tim Menzies (Eds.), 24th International Conference on Automated Software Engeneering (ASE'09) - Tools Track, pp. 658 -- 660. IEEE Computer Society. [Bibtex]
  • T. Janssen and R. Abreu and A.J.C. van Gemund (2009). Zoltar: A Spectrum-based Fault Localization Tool. In Hans-Gerhard Gross and Jan Tretmans and Marco Lormans (Eds.), 1st International Workshop on Software Integration and Evolution @ Runtime (SINTER'09), pp. 23 -- 29. ACM Press. [Bibtex]
  • Rui Abreu and Arjan van Gemund (2009). A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. In Vadim Bulitko and Christopher Beck (Eds.), Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. [Bibtex]
  • Rui Abreu and Peter Zoeteweij and Arjan van Gemund (2009). A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. In Craig Boutilier (Eds.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA, pp. 653-658. AAAI Press. [Bibtex]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2009). A Bayesian Approach to Diagnose Multiple Intermittent Faults. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.), Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 27-33. [Bibtex]
  • Rui Abreu and Arjan J.C. van Gemund (2009). Statistics-directed Minimal Hitting Set Algorithm. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.), Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 51-58. [Bibtex]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2009). A Model-based Software Reasoning Approach to Software Debugging. In Been-Chian Chien and Tzung-Pei Hong (Eds.), Procedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE'09), pp. 233--239. Studies in Computational Intelligence 214, Springer-Verlag. [Bibtex]
  • Rui Abreu and Wolfgang Mayer and Markus Stumptner and Arjan J.C. van Gemund (2009). Refining Spectrum-based Fault Localization Rankings. In Sung Y. Shin and Sascha Ossowski (Eds.), Procedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) - Software Engineering Track, pp. 409-414. ACM Press. [Bibtex]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). FRACTAL: Efficient Fault Isolation Using Active Testing. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA, pp. 778-784. [Bibtex]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). Solving Strong-Fault Diagnostic Models by Model Relaxation. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA, pp. 785-790. [Bibtex]
  • Alexander Feldman and Gregory Provan and Johan de Kleer and Lukas Kuhn and Arjan van Gemund (2009). Automated Redesign with the General Redesign Engine. In Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. [Bibtex]
  • Alexander Feldman and Gregory Provan and Johan de Kleer and Lukas Kuhn and Arjan van Gemund (2009). Automated Redesign with the General Redesign Engine. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.), Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 307-314. [Bibtex]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). The Lydia Approach to Combinational Model-Based Diagnosis. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 403-408. Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund. [Bibtex]
  • Tolga Kurtoglu and Sriram Narasimhan and Scott Poll and David Garcia and Lukas Kuhn and Johan de Kleer and Arjan van Gemund and Alexander Feldman (2009). Towards a Framework for Evaluating and Comparing Diagnosis Algorithms. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 373-382. Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund. [Bibtex]
  • Tolga Kurtoglu and Sriram Narasimhan and Scott Poll and David Garcia and Lukas Kuhn and Johan de Kleer and Arjan van Gemund and Alexander Feldman (2009). First International Diagnosis Competition - DXC'09. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.), Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 383-396. [Bibtex]