CONTACT US TODAY: +353 61 213 028

Publications

Export 170 results:
Filters: First Letter Of Last Name is B  [Clear All Filters]
2012
Belov A, Marques-Silva J. MUSer2: An Efficient MUS Extractor, System Description. Journal on Satisfiability, Boolean Modeling and Computation [Internet]. 2012 . Available from: http://ulir.ul.ie/handle/10344/2755
Belov A, Janota M, Lynce I, Marques-Silva JP. On Computing Minimal Equivalent Subformulas. In: 18th International Conference on Principles and Practice of Constraint Programming (CP 2012). 18th International Conference on Principles and Practice of Constraint Programming (CP 2012). Québec City, Canada; 2012. pp. pp 158-174. Available from: http://ulir.ul.ie/handle/10344/2766
Belov A, Lynce I, Marques-Silva J. Towards Efficient MUS Extraction. AI Communications [Internet]. 2012 ;25:pp 97-116. Available from: http://hdl.handle.net/10344/2804
2011
Benats G, Bandara A, Yu Y, Colin J-N, Nuseibeh B. PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications. Proceedings of 12th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy 2011) [Internet]. 2011 . Available from: http://ulir.ul.ie/handle/10344/1744
2005
Benediktsson O, Abrahamsson P, Dalcher D, Hvannberg E, O’Connor R, Thorbergsson H. Software Development. In: Proceedings of 3rd International Conference on Software Development. Proceedings of 3rd International Conference on Software Development. ; 2005.
2007
Bergel A, Lewerentz C, O’Brien L. Classboxes: Supporting Unanticipated Variation Points in the Source Code. Proceedings of 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE 2007), collocated with the 6th International Conference on Generative Programming and Component Engineering (GPCE 2007) [Internet]. 2007 . Available from: https://sharepoint.lero.ie/Publications/2007/Conferences/2007-Bergel-Classboxes.pdf
2006
Bergel A, Denker M. Prototyping Languages, Related Constructs and Tools with Squeak. Proceedings of the Workshop on Revival of Dynamic Languages (co-located with ECOOP’06). 2006 .
2006
Bergel A, Hirschfeld R, Clarke S, Costanza P. Aspectboxes - Controlling the Visibility of Aspects. In: International Conference on Software and Data Technologies (ICSOFT 2006). International Conference on Software and Data Technologies (ICSOFT 2006). Setubal, Portugal; 2006. Available from: https://sharepoint.lero.ie/Publications/2006/Conferences/2006-Clarke-Aspectboxes%20—%20Controlling%20the%20Visibility%20of%20Aspects.pdf
Bergel A, Ducasse S, Nierstrasz O, Wuyts R. Stateful Traits, Advances in Smalltalk. In: 14th International Smalltalk Conference (ISC 2006). 14th International Smalltalk Conference (ISC 2006). Dresden, Germany; 2006. Available from: <https://sharepoint.lero.ie/Publications/2006/Conferences/2006-Bergel-Stateful%20Traits.pdf>
Bergel A, Ducasse S, Putney C, Wuyts R. Meta-Driven Browsers, Advances in Smalltalk. In: 14th International Smalltalk Conference (ISC 2006). 14th International Smalltalk Conference (ISC 2006). Dresden, Germany; 2006. Available from: https://sharepoint.lero.ie/Publications/2006/Conferences/2006-Bergel-Meta-Driven%20Browers.pdf
2015
Bernardi G, Hennessy M. Mutually Testing Processes . Logical Methods in Computer Science [Internet]. 2015 ;11(2). Available from: http://arxiv.org/abs/1502.06360
2011
Bhandal C, Bouroche M, Hughes A. A process algebraic description of a temporal wireless network protocol. Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011) [Internet]. 2011 . Available from: http://hdl.handle.net/10344/3657
Bhandal C, Bouroche M, Hughes A. An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. In: Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on. Melbourne, Australia; 2011. Available from: https://sharepoint.lero.ie/Publications/2011/Conference%20Papers/2011-Bhandal-An%20Abstract%20Model%20of%20a%20Coordination%20Protocol%20using%20the%20UPPAAL.pdf
2015
Bi T, Yuan Z, Trestian R, Muntean G-M. URAN: Utility-based Reputation-oriented Access Network Selection Strategy for HetNets . In: IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB). IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB). ; 2015. Available from: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7177266&punumber%3D7161213%26filter%3DAND%28p_IS_Number%3A7177182%29%26pageNumber%3D4
Bicocchi N, Vassev E, Zambonelli F, Hinchey M. Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems. In: Nature of Computation and Communication. Vol. 144. Nature of Computation and Communication. Springer International Publishing; 2015. pp. pp 23-32.
2008
Biffl S, Babar MA, Winkler D. Impact of Experience and Team Size on the Quality of Scenarios for Architecture Evaluation. In: 12th International Conference on Evaluation and Assessment in Software Engineering (EASE08). 12th International Conference on Evaluation and Assessment in Software Engineering (EASE08). Bari, Italy; 2008. Available from: http://ulir.ul.ie/handle/10344/2108

Pages