Temporal planning for business process optimisation

Conference paper

Magazzeni, D., Mercorio, F., Barn, B., Clark, T., Raimondi, F. and Kulkarni, V. 2014. Temporal planning for business process optimisation. ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014). Portsmouth, New Hampshire, USA 22 Jun 2014
TypeConference paper
TitleTemporal planning for business process optimisation
AuthorsMagazzeni, D., Mercorio, F., Barn, B., Clark, T., Raimondi, F. and Kulkarni, V.
ConferenceICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014)
Publication dates
PrintJun 2014
Publication process dates
Deposited03 Jun 2015
Completed2014
Output statusPublished
Web address (URL)http://icaps14.icaps-conference.org/proceedings/spark/SPARK_proceedings.pdf
LanguageEnglish
Book titleICAPS-2014 Proceedings of the 8th Scheduling and Planning Applications Workshop
Permalink -

https://repository.mdx.ac.uk/item/858vq

Log in to edit
  • 65
    total views
  • 0
    total downloads
  • 3
    views this month
  • 0
    downloads this month

Export as

Related outputs

An innovative blockchain-based traceability framework for industry 4.0 cyber-physical factory
Davis, W., Yaqoob, M., Bennett, L., Mihai, S., Hung, D., Trestian, R., Karamanoglu, M., Barn, B. and Nguyen, H. 2023. An innovative blockchain-based traceability framework for industry 4.0 cyber-physical factory. 2022 11th International Conference on Industrial Technology and Management. Oxford, United Kingdom 18 - 20 Feb 2022 New York, NY, USA Association for Computing Machinery (ACM). https://doi.org/10.1145/3588155.3588174
Digital twin as an aid for decision-making in the face of uncertainty
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2022. Digital twin as an aid for decision-making in the face of uncertainty. 2022 Winter Simulation Conference (WSC). Singapore 11 - 14 Dec 2022 IEEE. pp. 1371-1385 https://doi.org/10.1109/wsc57314.2022.10015528
Towards the essence of specifying sociotechnical digital twins
Barn, B., Clark, T., Barat, S. and Kulkarni, V. 2023. Towards the essence of specifying sociotechnical digital twins. Agarwal, S., Roychoudhury, A., Purandare, R., Tiwari, S. and Kumar, L. (ed.) ISEC 2023: 16th Innovations in Software Engineering Conference. Prayagraj, Uttar Pradesh, India 23 - 25 Feb 2023 Association for Computing Machinery (ACM). pp. 1-5 https://doi.org/10.1145/3578527.3578542
Sociotechnical digital twin: public policy evaluation and a research roadmap for the digital society
Barn, B. 2023. Sociotechnical digital twin: public policy evaluation and a research roadmap for the digital society. 2nd International Workshop on Digital Twin Engineering (DTE) . Vienna, Austria 29 - 29 Nov 2023
Adaptation of enterprise modeling methods for large language models
Barn, B., Barat, S. and Sandkuhl, K. 2023. Adaptation of enterprise modeling methods for large language models. Almeida, J., Kaczmarek-Heß, M., Koschmider, A. and Proper, H. (ed.) 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling. Vienna, Austria 28 Nov - 01 Dec 2023 Cham Springer. https://doi.org/10.1007/978-3-031-48583-1_1
Neural text generators in enterprise modeling: Can ChatGPT be used as proxy domain expert?
Sandkuhl, K., Barn, B. and Barat, S. 2023. Neural text generators in enterprise modeling: Can ChatGPT be used as proxy domain expert? da Silva, A.R., da Silva, M.M., Estima, J., Barry, C., Lang, M., Linger, H. and Schneider, C. (ed.) 31st International Conference on Information Systems Development. Lisbon, Portugal 30 Aug - 01 Sep 2023 Lisbon, Portugal Association for Information Systems. https://doi.org/10.62036/ISD.2023.44
Digital twin as risk-free experimentation aid for techno-socio-economic systems
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2022. Digital twin as risk-free experimentation aid for techno-socio-economic systems. ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS). Montreal, Canada 23 - 28 Oct 2022 Association for Computing Machinery (ACM). pp. 66-75 https://doi.org/10.1145/3550355.3552409
The sociotechnical digital twin: on the gap between social and technical feasibility
Barn, B. 2022. The sociotechnical digital twin: on the gap between social and technical feasibility. 2022 IEEE 24th Conference on Business Informatics (CBI). Amsterdam, Netherlands 15 - 17 Jun 2022 IEEE Computer Society. pp. 11-20
Digital twins: a survey on enabling technologies, challenges, trends and future prospects
Mihai, S., Yaqoob, M., Hung, D., Davis, W., Towakel, P., Raza, M., Karamanoglu, M., Barn, B., Shetve, D., Prasad, R., Venkataraman, H., Trestian, R. and Nguyen, H. 2022. Digital twins: a survey on enabling technologies, challenges, trends and future prospects. IEEE Communications Surveys and Tutorials. 24 (4), pp. 2255-2291. https://doi.org/10.1109/COMST.2022.3208773
RIS-aided smart manufacturing: information transmission and machine health monitoring
Hoang, T., Son, D., Barn, B., Trestian, R. and Nguyen, H. 2022. RIS-aided smart manufacturing: information transmission and machine health monitoring. IEEE Internet of Things Journal. 9 (22), pp. 22930-22943. https://doi.org/10.1109/JIOT.2022.3187189
Differential cost analysis with simultaneous potentials and anti-potentials
Žikelić, Ð., Chang, B., Bolignano, P. and Raimondi, F. 2022. Differential cost analysis with simultaneous potentials and anti-potentials. 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. San Diego, USA 13 - 17 Jun 2022 Association for Computing Machinery (ACM). pp. 442-457 https://doi.org/10.1145/3519939.3523435
A digital twin framework for predictive maintenance in industry 4.0
Mihai, S., Davis, W., Hung, D., Trestian, R., Karamanoglu, M., Barn, B., Prasad, R., Venkataraman, H. and Nguyen, H. 2021. A digital twin framework for predictive maintenance in industry 4.0. HPCS 2020: 18th Annual Meeting. Barcelona, Spain (Online Virtual Conference) 22 - 27 Mar 2021 IEEE.
Automatic annotation of confidential data in Java code
Bastys, I., Bolignano, P., Raimondi, F. and Schoepe, D. 2021. Automatic annotation of confidential data in Java code. Aïmeur, E., Laurent, M., Yaich, R., Dupont, B. and Garcia-Alfaro, J. (ed.) FPS 2021: The 14th International Symposium on Foundations & Practice of Security. Paris, France 08 - 12 Dec 2021 Springer. pp. 146-161 https://doi.org/10.1007/978-3-031-08147-7_10
OrgML - a domain specific language for organisational decision-making
Barat, S., Barn, B., Clark, T. and Kulkarni, V. 2020. OrgML - a domain specific language for organisational decision-making. Grabis, J. and Bork, D. (ed.) 13th IFIP Working Conference (PoEM 2020). Riga, Latvia 25 - 27 Nov 2020 Springer. pp. 155-170 https://doi.org/10.1007/978-3-030-63479-7_11
Value-sensitive co-design for resilient information systems
Primiero, G., Barn, B. and Barn, R. 2020. Value-sensitive co-design for resilient information systems. Studies in Logic, Grammar and Rhetoric. 63 (1), pp. 141-164. https://doi.org/10.2478/slgr-2020-0032
Language support for multi agent reinforcement learning
Clark, T., Barn, B., Kulkarni, V. and Barat, S. 2020. Language support for multi agent reinforcement learning. 13th Innovations in Software Engineering Conference (ISEC). PDPM Indian Institute of Information Technology, Design and Manufacturing, Jabalpur, India 27 - 29 Feb 2020 Association for Computing Machinery (ACM). pp. 1-12 https://doi.org/10.1145/3385032.3385041
A domain specific language for complex dynamic decision making
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2020. A domain specific language for complex dynamic decision making. International Journal of Computer Aided Engineering and Technology.
Constructing and interrogating actor histories
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2018. Constructing and interrogating actor histories. in: Valencia-García, R., Paredes-Valverde, M., del Pilar Salas-Zárate, M. and Alor-Hernández, G. (ed.) Exploring Intelligent Decision Support Systems: Current State and New Trends Switzerland Springer.
Youth justice in the digital age: a case study of practitioners' perspectives on the challenges and opportunities of social technology in their Techno-Habitat in the United Kingdom
Barn, R. and Barn, B. 2019. Youth justice in the digital age: a case study of practitioners' perspectives on the challenges and opportunities of social technology in their Techno-Habitat in the United Kingdom. Youth Justice. 19 (3), pp. 185-205. https://doi.org/10.1177/1473225419869568
An actor based simulation driven digital twin for analyzing complex business systems
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2020. An actor based simulation driven digital twin for analyzing complex business systems. Winter Simulation Conference 2019 - Simulation for Risk Management. Gaylord National Resort & Conference Center, National Harbor, Maryland 08 - 11 Dec 2019 IEEE. pp. 157-168 https://doi.org/10.1109/WSC40007.2019.9004694
Making sense of actor behaviour: an algebraic filmstrip pattern and its implementation
Clark, T., Barn, B., Kulkarni, V. and Barat, S. 2019. Making sense of actor behaviour: an algebraic filmstrip pattern and its implementation. 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference). Pune, India 14 - 16 Feb 2019 Association for Computing Machinery (ACM). https://doi.org/10.1145/3299771.3299783
Mapping the public debate on ethical concerns: algorithms inmainstream media
Barn, B. 2019. Mapping the public debate on ethical concerns: algorithms inmainstream media. Journal of Information, Communication and Ethics in Society. 18 (1), pp. 124-139. https://doi.org/10.1108/JICES-04-2019-0039
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2019. Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer. 21 (4), pp. 449-469. https://doi.org/10.1007/s10009-018-0505-6
Teaching functional patterns through robotic applications
Boender, J., Currie, E., Loomes, M., Primiero, G. and Raimondi, F. 2016. Teaching functional patterns through robotic applications. The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015. Sophia-Antipolis, France 02 Jun 2015 Open Publishing Association. pp. 17-29 https://doi.org/10.4204/EPTCS.230.2
Human and value sensitive aspects of mobile app design: a Foucauldian perspective
Barn, B. and Barn, R. 2018. Human and value sensitive aspects of mobile app design: a Foucauldian perspective. Krogstie, J. and Reijers, H. (ed.) CAiSE 2018: 30th International Conference on Advanced Information Systems Engineering. Tallinn, Estonia 11 - 15 Jun 2018 Cham Springer. pp. 103-118 https://doi.org/10.1007/978-3-319-91563-0_7
Multi-agent based simulations of block-free distributed ledgers
Bottone, M., Raimondi, F. and Primiero, G. 2018. Multi-agent based simulations of block-free distributed ledgers. The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA). Krakow, Poland 16 - 18 May 2018 IEEE. pp. 585-590 https://doi.org/10.1109/WAINA.2018.00149
Analysis and verification of ECA rules in intelligent environments
Cacciagrano, D., Corradini, F., Culmone, R., Gorogiannis, N., Mostarda, L., Raimondi, F. and Vannucchi, C. 2018. Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments. 10 (3), pp. 261-273. https://doi.org/10.3233/ais-180487
MIRTO: an open-source robotic platform for education
Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106
Towards improved organisational decision-making - a method and tool-chain
Barat, S., Kulkarni, V. and Barn, B. 2018. Towards improved organisational decision-making - a method and tool-chain. Enterprise Modelling and Information Systems Architectures – International Journal of Conceptual Modeling. 13 (2018), pp. 6:1-6:16. https://doi.org/10.18417/emisa.13.6
Towards a unified conceptual model for surveillance theories
Barn, B. and Barn, R. 2018. Towards a unified conceptual model for surveillance theories. 40th International Conference on Software Engineering Software in Society Track. Gothenburg, Sweden 27 May - 03 Jun 2018 Association for Computing Machinery (ACM). pp. 71-80 https://doi.org/10.1145/3183428.3183429
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2018. CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Nancy, France 22 - 27 Aug 2016 Springer. https://doi.org/10.1007/s10817-017-9443-3
A modelling technique for enterprise agility
Nwokeji, J., Aqlan, F., Barn, B., Clark, T. and Kulkarni, V. 2018. A modelling technique for enterprise agility. HICSS-51 The 51st Hawaii International Conference on System Sciences. Hawaii, USA 03 - 06 Jan 2018 University of Hawaii. pp. 4631-4640
Querying histories of organisation simulations
Clark, T., Barn, B., Kulkarni, V. and Barat, S. 2017. Querying histories of organisation simulations. 26th International Conference on Information Systems Development (ISD2017 CYPRUS). Larnaca, Cyprus 06 - 08 Sep 2017 Association for Information Systems.
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2016. CoSMed: a confidentiality-verified social media platform. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. pp. 87-106 https://doi.org/10.1007/978-3-319-43144-4_6
A proof-theoretic trust and reputation model for VANET
Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64
The packing chromatic number of the infinite square lattice is between 13 and 15
Martin, B., Raimondi, F., Chen, T. and Martin, J. 2017. The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics. 225, pp. 136-142. https://doi.org/10.1016/j.dam.2017.03.013
Implementing virtual pheromones in BDI robots using MQTT and Jason
Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22
From raw data to agent perceptions for simulation, verification, and monitoring
Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66
Trust and distrust in contradictory information transmission
Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0
Examining the interaction between fourth estate and Twitter: an exploratory case study
Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 IARIA. pp. 11-17
Symbolic verification of event–condition–action rules in intelligent environments
Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-z
A model-based approach to systematic reviews of research literature
Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2017. A model-based approach to systematic reviews of research literature. ISEC 2017: Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 15-25 https://doi.org/10.1145/3021460.3021462
Actor monitors for adaptive behaviour
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. Actor monitors for adaptive behaviour. ISEC '17: 10th Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 85-95 https://doi.org/10.1145/3021460.3021469
A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2017. A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. MODELSWARD 2017: 5th International Conference on Model-Driven Engineering and Software Development. Porto, Portugal 19 - 21 Feb 2017 SCITEPRESS - Science and Technology Publications. pp. 605-616 https://doi.org/10.5220/0006216306050616
ESL: an actor-based platform for developing emergent behaviour organisation simulations
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. ESL: an actor-based platform for developing emergent behaviour organisation simulations. Demazeau, Y., Davidsson, P., Bajo, J. and Vale, Z. (ed.) 15th International Conference on Practical Applications of Scalable Multi-Agent Systems. Porto, Portugal 21 - 23 Jun 2017 Cham Springer. https://doi.org/10.1007/978-3-319-59930-4_27
A novel symbolic approach to verifying epistemic properties of programs
Gorogiannis, N., Raimondi, F. and Boureanu, I. 2017. A novel symbolic approach to verifying epistemic properties of programs. Twenty-Sixth International Joint Conference on Artificial Intelligence. Melbourne, Australia 19 - 25 Aug 2017 International Joint Conferences on Artificial Intelligence. pp. 206-212 https://doi.org/10.24963/ijcai.2017/30
CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2017. CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 38th IEEE Symposium on Security and Privacy. San Jose, CA, USA 22 - 26 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 729-748 https://doi.org/10.1109/SP.2017.24
MCMAS: an open-source model checker for the verification of multi-agent systems
Lomuscio, A., Qu, H. and Raimondi, F. 2017. MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. 19 (1), pp. 9-30. https://doi.org/10.1007/s10009-015-0378-x
Contradictory information flow in networks with trust and distrust
Primiero, G., Bottone, M., Raimondi, F. and Tagliabue, J. 2016. Contradictory information flow in networks with trust and distrust. 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). Milan 01 - 06 Dec 2016 Springer. https://doi.org/10.1007/978-3-319-50901-3_29
A model for trustworthy orchestration in the internet of things
Bottone, M., Primiero, G., Raimondi, F. and De Florio, V. 2016. A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 171-174 https://doi.org/10.1109/IE.2016.37
Do you own a Volkswagen? Values as non-functional requirements
Barn, B. 2016. Do you own a Volkswagen? Values as non-functional requirements. HCSE + HESSD 2016: Joint 6th International Working Conference on Human-Centred Software Engineering and 8th International Working Conference on Human Error, Safety, and System Development. Stockholm, Sweden 29 - 31 Aug 2016 Springer. pp. 151-162 https://doi.org/10.1007/978-3-319-44902-9_10
Optimising energy efficiency of non-orthogonal multiple access for wireless backhaul in heterogeneous cloud radio access network
Vien, Q., Le, T., Barn, B. and Phan, C. 2016. Optimising energy efficiency of non-orthogonal multiple access for wireless backhaul in heterogeneous cloud radio access network. IET Communications. 10 (18), pp. 2516-2524. https://doi.org/10.1049/iet-com.2016.0247
A simulation-based aid for organisational decision-making
Bharat, S., Kulkarni, V., Clark, T. and Barn, B. 2016. A simulation-based aid for organisational decision-making. ICSOFT-EA 2016: 11th International Conference on Software Engineering and Applications. Lisbon, Portugal 24 - 26 Jul 2016 SCITEPRESS - Science and Technology Publications. pp. 109-116 https://doi.org/10.5220/0005992401090116
An ontological representation of a taxonomy for cybercrime
Barn, R. and Barn, B. 2016. An ontological representation of a taxonomy for cybercrime. 24th European Conference on Information Systems (ECIS 2016). Istanbul, Turkey 12 - 15 Jun 2016 Association for Information Systems.
Towards connecting people, locations and real-world events in a cellular network
Trestian, R., Shah, P., Nguyen, H., Vien, Q., Gemikonakli, O. and Barn, B. 2017. Towards connecting people, locations and real-world events in a cellular network. Telematics and Informatics. 34 (1), pp. 244-271. https://doi.org/10.1016/j.tele.2016.05.006
Using multi-agent systems to go beyond temporal patterns verification
Raimondi, F. 2016. Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News. 3 (2), pp. 69-77.
An exploration of resilience and values in the co-design of sociotechnical systems
Barn, B. and Barn, R. 2016. An exploration of resilience and values in the co-design of sociotechnical systems. International Journal of Systems and Society (IJSS). 3 (1), pp. 1-17. https://doi.org/10.4018/IJSS.2016010101
Separability principles for a general theory of software engineering: report on the GTSE 2015 workshop
Exman, I., Perry, D., Barn, B. and Ralph, P. 2016. Separability principles for a general theory of software engineering: report on the GTSE 2015 workshop. ACM SIGSOFT Software Engineering Notes. 41 (1), pp. 25-27. https://doi.org/10.1145/2853073.2853093
A computationally grounded, weighted doxastic logic
Chen, T., Primiero, G., Raimondi, F. and Rungta, N. 2016. A computationally grounded, weighted doxastic logic. Studia Logica. 104 (4), pp. 679-703. https://doi.org/10.1007/s11225-015-9621-4
Minimizing transitive trust threats in software management systems
Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 191-198 https://doi.org/10.1109/PST.2015.7232973
Symbolic model-checking for resource-bounded ATL
Alechina, N., Logan, B., Nguyen, H., Raimondi, F. and Mostarda, L. 2015. Symbolic model-checking for resource-bounded ATL. 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. Istanbul, Turkey 04 - 08 May 2015 pp. 1809-1810
Integrating values into mobile software engineering
Barn, R. and Barn, B. 2016. Integrating values into mobile software engineering. 9th India Software Engineering Conference. Goa, India 18 - 20 Feb 2016 Association for Computing Machinery (ACM). pp. 196 https://doi.org/10.1145/2856636.2856659
Enterprise modeling as a decision making aid: a systematic mapping study
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2016. Enterprise modeling as a decision making aid: a systematic mapping study. Horkoff, J., Jeusfeld, M. and Persson, A. (ed.) 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling. Skovde, Sweden 08 - 10 Nov 2016 Cham Springer.
A systematic mapping study of the current practice of Indian software engineering
Barn, B., Clark, T., Ali, A. and Arif, R. 2016. A systematic mapping study of the current practice of Indian software engineering. 9th India Software Engineering Conference. Goa, India 18 - 20 Feb 2016 Association for Computing Machinery (ACM). pp. 89-98 https://doi.org/10.1145/2856636.2856644
A conceptual model for organisational decision-making and its possible realisations
Barat, S., Clark, T., Kulkarni, V. and Barn, B. 2016. A conceptual model for organisational decision-making and its possible realisations. Evora-Gomez, J. and Hernandez-Cabrera, J. (ed.) 30th European Simulation and Modelling Conference. Las Palmas, Spain 26 - 28 Oct 2016 EUROSIS. pp. 174-176
A simulation based aid for complex dynamic decision making
Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2016. A simulation based aid for complex dynamic decision making. Sandkuhl, K. and Söderström, E. (ed.) Doctoral Consortium at the 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling. Skovde, Sweden 08 Nov 2016 CEUR-WS.
Taking Arduino to the Internet of things: the ASIP programming model
Barbon, G., Margolis, M., Palumbo, F., Raimondi, F. and Weldin, N. 2016. Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications. 89-90, pp. 128-140. https://doi.org/10.1016/j.comcom.2016.03.016
A data-centric approach to change management
Nwokeji, J., Clark, T., Barn, B., Kulkarni, V. and Anum, S. 2015. A data-centric approach to change management. 19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015. Adelaide, Australia 21 - 25 Sep 2015 IEEE. pp. 185-190 https://doi.org/10.1109/EDOC.2015.34
A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making. 11th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2015). Stockholm, Sweden 08 - 09 Jun 2015 Springer. pp. 87-101 https://doi.org/10.1007/978-3-319-24626-0_7
Software theory change for resilient near-complete specifications
Primiero, G. and Raimondi, F. 2015. Software theory change for resilient near-complete specifications. Procedia Computer Science. 52, pp. 988-995. https://doi.org/10.1016/j.procs.2015.05.091
Smart phone activity: risk-taking behaviours and perceptions on data security among young people in England
Barn, B., Barn, R. and Tan, J. 2013. Smart phone activity: risk-taking behaviours and perceptions on data security among young people in England. International Journal of Social and Organizational Dynamics in IT (IJSODIT). 3 (4), pp. 43-58. https://doi.org/10.4018/ijsodit.2013100103
Resilience and values: antecedents for effective co-design of information systems
Barn, B. and Barn, R. 2015. Resilience and values: antecedents for effective co-design of information systems. Twenty-Third European Conference on Information Systems (ECIS 2015). Münster, Germany 26 - 29 May 2015
Towards connecting people, locations and real-world events in a cellular network [conference item]
Trestian, R., Shah, P., Nguyen, H., Vien, Q., Gemikonakli, O. and Barn, B. 2015. Towards connecting people, locations and real-world events in a cellular network [conference item]. The main conference on the scientific analysis of mobile phone datasets (NetMob), Orange D4D Challenge. MIT Media Lab, USA 07 - 10 Apr 2015
Making sense of course data: towards the standardisation of curriculum design and course related information
Dafoulas, G., Barn, B. and Zheng, Y. 2014. Making sense of course data: towards the standardisation of curriculum design and course related information. 6th International Conference on Education and New Learning Technologies (EDULEARN 2014).
Curriculum design for e-education: make effective use of course data
Dafoulas, G., Barn, B. and Zheng, Y. 2014. Curriculum design for e-education: make effective use of course data. International Conference on eBusiness, eCommerce, eManagement, eLearning and eGovernance 2014.
Improving student employability by utilising semantic analysis of course data
Dafoulas, G., Barn, B. and Zheng, Y. 2014. Improving student employability by utilising semantic analysis of course data. ICERI 2014 : 7th International Conference of Education, Research and Innovation.
Skills and education planning tools for curriculum design
Dafoulas, G., Barn, B. and Zheng, Y. 2014. Skills and education planning tools for curriculum design. 2nd World Congress on Multimedia and Computer Science.
Lifelong learning and workforce development design – towards a new generation of educational planning tools
Dafoulas, G., Barn, B., Abeysinghe, G. and Zheng, Y. 2010. Lifelong learning and workforce development design – towards a new generation of educational planning tools. Proceedings of the Annual International Conference on Education and New Learning Technologies (EDULEARN2010).
Middlesex University skills and education planning tool
Dafoulas, G., Barn, B., Abeysinghe, G. and Zheng, Y. 2011. Middlesex University skills and education planning tool. JISC eLearning Experts Meeting.
Programme design, accreditation and APEL/APCL support tools
Dafoulas, G., Barn, B., Abeysinghe, G. and Zheng, Y. 2011. Programme design, accreditation and APEL/APCL support tools. UK Academy for Information Systems 16th Annual International Conference.
Towards cyber-physical systems as services: the ASIP protocol
Bordoni, M., Bottone, M., Fields, B., Gorogiannis, N., Margolis, M., Primiero, G. and Raimondi, F. 2015. Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). Florence, Italy 17 - 17 May 2015 IEEE. pp. 52-55 https://doi.org/10.1109/SEsCPS.2015.18
An approximate theory for value sensitivity
Barn, B. and Barn, R. 2015. An approximate theory for value sensitivity. 015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering. Florence 18 May 2015 IEEE. pp. 25-28 https://doi.org/10.1109/GTSE.2015.10
Programming the MIRTO robot with neurons
Huyck, C., Primiero, G. and Raimondi, F. 2014. Programming the MIRTO robot with neurons. Procedia Computer Science. 41, pp. 75-82. https://doi.org/10.1016/j.procs.2014.11.087
A typed natural deduction calculus to reason about secure trust
Primiero, G. and Raimondi, F. 2014. A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). Toronto, Canada 23 - 24 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 379-382 https://doi.org/10.1109/PST.2014.6890963
Decidable model-checking for a resource logic with production of resources
Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2014. Decidable model-checking for a resource logic with production of resources. 21st European Conference on Artificial Intelligence (ECAI-2014). Prague, Czech Republic 18 - 22 Aug 2014 Prague, Czech Republic IOS Press. pp. 9-14 https://doi.org/10.3233/978-1-61499-419-0-9
Aviation safety: modeling and analyzing complex interactions between humans and automated systems
Rungta, N., Brat, G., Clancey, W., Linde, C., Raimondi, F., Seah, C. and Shafto, M. 2013. Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS 2013. Naples, Italy 28 - 30 May 2013 Association for computing machinery. pp. 27-37 https://doi.org/10.1145/2494493.2494498
A synergistic and extensible framework for multi-agent system verification
Hunter, J., Raimondi, F., Rungta, N. and Stocker, R. 2013. A synergistic and extensible framework for multi-agent system verification. AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems. Saint Paul, Minnesota, USA. 06 - 10 May 2013 Richland, SC International Foundation for Autonomous Agents and Multiagent Systems. pp. 869-876
Domain types: abstract-domain selection based on variable usage
Apel, S., Beyer, D., Friedberger, K., Raimondi, F. and von Rhein, A. 2013. Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing. 8244 (1), pp. 262-278. https://doi.org/10.1007/978-3-319-03077-7_18
Implementing adaptation and reconfiguration strategies in heterogeneous WSN
Di Marco, A., Gallo, F., Gemikonakli, O., Mostarda, L. and Raimondi, F. 2013. Implementing adaptation and reconfiguration strategies in heterogeneous WSN. 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). Barcelona, Spain 25 - 28 Mar 2013 IEEE. pp. 477-483 https://doi.org/10.1109/AINA.2013.102
The anonymous subgraph problem
Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2013. The anonymous subgraph problem. Computers and Operations Research. 40 (4), pp. 973-979. https://doi.org/10.1016/j.cor.2012.11.018
Introducing Binary Decision Diagrams in the explicit-state verification of Java code
von Rhein, A., Apel, S. and Raimondi, F. 2011. Introducing Binary Decision Diagrams in the explicit-state verification of Java code. The Java Pathfinder Workshop (co-located with ASE 2011). Oread, Lawrence, Kansas 12 Nov 2011
Goal driven architecture development using LEAP
Clark, T. and Barn, B. 2013. Goal driven architecture development using LEAP. Enterprise Modelling and Information Systems Architectures. 8 (1), pp. 40-61. https://doi.org/10.1007/BF03345928
The role of resilience and value for effective co-design of information systems
Barn, B., Barn, R. and Primiero, G. 2014. The role of resilience and value for effective co-design of information systems. in: Proceedings of the Conference of the International Association for Computing and Philosophy (IACAP 14) Springer Synthese Library.
Can organisational theory and multi-agent systems influence next generation enterprise modelling?
Barn, B., Clark, T. and Kulkarni, V. 2015. Can organisational theory and multi-agent systems influence next generation enterprise modelling? Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. and van Sinderen, M. (ed.) 9th International Conference on Software Engineering and Applications. Vienna, Austria 29 - 31 Aug 2014 Cham Springer. https://doi.org/10.1007/978-3-319-25579-8_12
Toward overcoming accidental complexity in organisational decision-making
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. Toward overcoming accidental complexity in organisational decision-making. ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. Ottawa, Canada 30 Sep - 02 Oct 2015 IEEE. pp. 368-377 https://doi.org/10.1109/MODELS.2015.7338268
A conceptual framework for enterprise agility
Nwokeji, J., Clark, T., Barn, B. and Kulkarni, V. 2015. A conceptual framework for enterprise agility. Shin, D. (ed.) 30th Annual ACM Symposium on Applied Computing. Salamanca, Spain 13 - 17 Apr 2015 Association for Computing Machinery (ACM). pp. 1242-1244 https://doi.org/10.1145/2695664.2699495
Using a projectional editor to implement interactive model navigation and view control
Clark, T. and Barn, B. 2015. Using a projectional editor to implement interactive model navigation and view control. Hammoudi, S., Pires, L., Desfray, P., Filipe, J. and Filipe, J. (ed.) 3rd International Conference on Model-Driven Engineering and Software Development. Loire Valley, France 09 - 11 Feb 2015 SCITEPRESS - Science and Technology Publications. pp. 338-345
Symbolic model checking for one-resource RB±ATL
Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2015. Symbolic model checking for one-resource RB±ATL. Yang, Q. and Wooldridge, M. (ed.) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Buenos Aires, Argentina 25 - 31 Jul 2015 Buenos Aires, Argentina AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 1069-1075
Using simulation to address intrinsic complexity in multi-modelling of enterprises for decision making
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. Using simulation to address intrinsic complexity in multi-modelling of enterprises for decision making. Mittal, S., Moon, I. and Syriani, E. (ed.) SummerSim '15: 2015 Summer Simulation Multiconference. Chicago, Illinois, USA 26 - 29 Jul 2015 Society for Modeling and Simulation International. https://doi.org/10.5555/2874916.2874925
On the perspective transformation for efficient relay placement in wireless multicast networks
Vien, Q., Nguyen, H., Barn, B. and Tran, X. 2015. On the perspective transformation for efficient relay placement in wireless multicast networks. IEEE Communications Letters. 19 (2), pp. 275-278. https://doi.org/10.1109/LCOMM.2014.2387163
On the role of value sensitive concerns in software engineering practice
Barn, B., Barn, R. and Raimondi, F. 2015. On the role of value sensitive concerns in software engineering practice. 37th International Conference on Software Engineering, ICSE 2015. Florence, Italy 16 - 24 May 2015 IEEE. pp. 497-500 https://doi.org/10.1109/ICSE.2015.182
An approach to early evaluation of informational privacy requirements
Barn, B., Primiero, G. and Barn, R. 2015. An approach to early evaluation of informational privacy requirements. 30th Annual ACM Symposium on Applied Computing. Salamanca, Spain 13 - 17 Apr 2015 Association for Computing Machinery (ACM). pp. 1370-1375 https://doi.org/10.1145/2695664.2695788
A racket-based robot to teach first-year computer science
Androutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A. 2014. A racket-based robot to teach first-year computer science. 7 th European Lisp Symposium. IRCAM, Paris, France 05 - 06 May 2014 pp. 54-61
Towards the model driven organization
Clark, T., Kulkarni, V., Barn, B., France, R., Frank, U. and Turk, D. 2014. Towards the model driven organization. 47th Hawaii International Conference on System Sciences, HICSS 2014. Waikoloa, Hawaii, USA 06 - 09 Jan 2014 IEEE. pp. 4817-4826 https://doi.org/10.1109/HICSS.2014.591
Guest editorial to the Theme Section on enterprise modelling
Clark, T., Matthes, F., Barn, B. and Brown, A. 2014. Guest editorial to the Theme Section on enterprise modelling. Software and Systems Modeling. https://doi.org/10.1007/s10270-013-0327-7
A component abstraction for localized, composable, machine manipulable enterprise specification
Kulkarni, V., Clark, T. and Barn, B. 2014. A component abstraction for localized, composable, machine manipulable enterprise specification. Shishkov, B. (ed.) 4th International Symposium on Business Modeling and Software Design. Luxembourg, Luxembourg 24 - 26 Jun 2014 SCITEPRESS - Science and Technology Publications. pp. 180-185 https://doi.org/10.5220/0005425801800185
Automated completeness check in KAOS
Nwokeji, J., Clark, T., Barn, B. and Kulkarni, V. 2014. Automated completeness check in KAOS. Indulska, M. and Purao, S. (ed.) 33rd International Conference on Conceptual Modeling. Atlanta, United States 27 - 29 Oct 2014 Cham Springer. https://doi.org/10.1007/978-3-319-12256-4_14
Model based enterprise simulation and analysis: a pragmatic approach reducing the burden on experts
Kulkarni, V., Clark, T., Barat, S. and Barn, B. 2014. Model based enterprise simulation and analysis: a pragmatic approach reducing the burden on experts. Indulska, M. and Purao, S. (ed.) 33rd International Conference on Conceptual Modeling. Atlanta, United States 27 - 29 Oct 2014 Cham Springer. pp. 3-12 https://doi.org/10.1007/978-3-319-12256-4_1
Modelling, simulation, and analysis for enterprise architecture
Clark, T., Barn, B. and Kulkarni, V. 2014. Modelling, simulation, and analysis for enterprise architecture. in: García Díaz, V., Cueva Lovelle, J. and García-Bustelo, B. (ed.) Handbook of Research on Innovations in Systems and Software Engineering IGI Global. pp. 202-236
Dynamic reconfiguration of component-based systems: a feature reification approach
Clark, T., Barn, B. and Kulkarni, V. 2014. Dynamic reconfiguration of component-based systems: a feature reification approach. in: Ramanathan, R. and Raja, K. (ed.) Handbook of Research on Architectural Trends in Service-Driven Computing IGI Global. pp. 76
Young people and smart phones: an empirical study on information security
Barn, B., Barn, R. and Tan, J. 2014. Young people and smart phones: an empirical study on information security. 47th Hawaii International Conference on System Sciences, HICSS 2014. Waikoloa, Hawaii, USA 06 - 09 Jan 2014 IEEE. pp. 4504-4514 https://doi.org/10.1109/HICSS.2014.554
Model checking degrees of belief in a system of agents
Primiero, G., Raimondi, F. and Rungta, N. 2014. Model checking degrees of belief in a system of agents. AAMAS 2014: 13th International Conference on Autonomous Agents and Multiagent Systems. Paris, France 05 - 09 May 2014 International Foundation for Autonomous Agents and Multiagent Systems. pp. 133-140
Improving the model checking of strategies under partial observability and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2014. Improving the model checking of strategies under partial observability and fairness constraints. 16th International Conference on Formal Engineering Methods, ICFEM 2014. Luxembourg 03 - 05 Nov 2014 Springer International Publishing. https://doi.org/10.1007/978-3-319-11737-9_3
Domain-specific reasoning for method engineering based on Toulmin's argumentation theory
Bittman, S., Barn, B. and Clark, T. 2014. Domain-specific reasoning for method engineering based on Toulmin's argumentation theory. International Journal of Knowledge and Learning (IJKL),. 9 (1/2), pp. 104-123. https://doi.org/10.1504/IJKL.2014.067173
Slrtool: a tool to support collaborative systematic literature reviews
Barn, B., Raimondi, F., Athiappan, L. and Clark, T. 2014. Slrtool: a tool to support collaborative systematic literature reviews. 16th International Conference on Enterprise Information Systems. Lisbon, Portugal 27 - 30 Apr 2014 SCITEPRESS - Science and Technology Publications. pp. 440-447 https://doi.org/10.5220/0004972204400447
Next generation enterprise modelling: the role of organizational theory and multi-agent systems
Barn, B., Clark, T. and Kulkarni, V. 2014. Next generation enterprise modelling: the role of organizational theory and multi-agent systems. 9th International Conference on Software Engineering and Applications. Vienna, Austria 29 - 31 Aug 2014 SCITEPRESS - Science and Technology Publications. pp. 482-487 https://doi.org/10.5220/0005097404820487
Outsourcing service provision through step-wise transformation
Clark, T. and Barn, B. 2014. Outsourcing service provision through step-wise transformation. 7th India Software Engineering Conference. Chennai, India 19 - 21 Feb 2014 Association for Computing Machinery (ACM). https://doi.org/10.1145/2590748.2590756
An efficient cooperative spectrum sensing under bandwidth constraint with user selection
Vien, Q., Nguyen, H., Gemikonakli, O. and Barn, B. 2014. An efficient cooperative spectrum sensing under bandwidth constraint with user selection. 2014 IEEE 80th Vehicular Technology Conference (VTC2014-Fall). Vancouver, BC, Canada 14 - 17 Sep 2014 IEEE. pp. 1-5 https://doi.org/10.1109/VTCFall.2014.6965868
Performance analysis of cooperative transmission for cognitive wireless relay networks
Vien, Q., Nguyen, H., Gemikonakli, O. and Barn, B. 2013. Performance analysis of cooperative transmission for cognitive wireless relay networks. 2013 IEEE Global Communications Conference (GLOBECOM). Atlanta, GA, USA 09 - 13 Dec 2013 IEEE. pp. 4186-4191 https://doi.org/10.1109/GLOCOM.2013.6831730
User behaviour: searching for scholarly material using electronic resource discovery systems
Stelmaszewska, H., Wong, B., Bhimani, N. and Barn, B. 2010. User behaviour: searching for scholarly material using electronic resource discovery systems. in: BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference British Computer Society. pp. 17-26
Dynamic reconfiguration of event driven architecture using reflection and higher-order functions
Clark, T. and Barn, B. 2013. Dynamic reconfiguration of event driven architecture using reflection and higher-order functions. International Journal of Software and Informatics. 7 (2), pp. 137-168.
Context-aware adaptive applications: fault patterns and their automated identification
Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D. and Wang, Z. 2010. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering. 36 (5), pp. 644-661. https://doi.org/10.1109/TSE.2010.35
Content-based petrieval of 3D medical images
Qian, Y., Gao, X., Loomes, M., Comley, R., Barn, B., Hui, R. and Tian, Z. 2011. Content-based petrieval of 3D medical images. in: Gemert-Pijnen, L., Ossebaard, H. and Hämäläinen, P. (ed.) eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine IARIA. pp. 7-12
Evaluation of collaborative filtering algorithms using a small dataset
Roda, F., Liberti, L. and Raimondi, F. 2011. Evaluation of collaborative filtering algorithms using a small dataset. WEBIST 2011. http://www.webist.org/WEBIST2011/
Towards the model driven organization: Introduction to the 1st AMINO workshop
Barn, B., Clark, T., France, R., Frank, U., Kulkarni, V. and Turk, D. 2013. Towards the model driven organization: Introduction to the 1st AMINO workshop. France, R., Combemale, B., De Antoni, J., Frank, U. and Barn, B. (ed.) 1st International Workshop: Towards the Model Driven Organization. Miami; United States 29 Sep - 04 Oct 2013 CEUR-WS.
A model-based approach to aligning business goals with enterprise architecture
Clark, T. and Barn, B. 2013. A model-based approach to aligning business goals with enterprise architecture. in: Progressions and Innovations in Model-Driven Software Engineering IGI Global. pp. 252-274
A color histogram measure and its application to image segmentation
Zheng, Y., Zheng, L., Shi, D. and Barn, B. 2013. A color histogram measure and its application to image segmentation. 2013 International Conference on Machine Learning and Cybernetics. Tianjin, China 14 - 17 Jul 2013 IEEE. pp. 1480-1482
Enterprise architecture coherence and the model driven enterprise: is simulation the answer or are we flying kites?
Barn, B., Clark, T. and Loomes, M. 2013. Enterprise architecture coherence and the model driven enterprise: is simulation the answer or are we flying kites? 6th India Software Engineering Conference. New Delhi, India 21 - 23 Feb 2013 Association for Computing Machinery (ACM). pp. 97-102 https://doi.org/10.1145/2442754.2442769
Domain specific languages for the model driven organization
Clark, T., Frank, U., Kulkarni, V., Barn, B. and Turk, D. 2013. Domain specific languages for the model driven organization. 1st Workshop on the Globalization of Domain Specific Languages. Montpellier, France 01 - 01 Jul 2013 Association for Computing Machinery (ACM). pp. 22-27 https://doi.org/10.1145/2489812.2489818
A proposal for consolidated intentional modeling language
Nwokeji, J., Clark, T. and Barn, B. 2013. A proposal for consolidated intentional modeling language. Kern, H., Tolvanen, J. and Bottoni, P. (ed.) 2nd Workshop on Graphical Modeling Language Development. Montpellier, France 02 - 02 Jul 2013 Association for Computing Machinery (ACM). pp. 12-22 https://doi.org/10.1145/2489820.2489826
Towards a comprehensive meta-model for KAOS
Nwokeji, J., Clark, T. and Barn, B. 2013. Towards a comprehensive meta-model for KAOS. 3rd International Workshop on Model-Driven Requirements Engineering. Rio de Janeiro, Brazil 15 - 15 Jul 2016 IEEE. pp. 30-39 https://doi.org/10.1109/modre.2013.6597261
Domain engineering for software tools
Clark, T. and Barn, B. 2013. Domain engineering for software tools. in: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S. and Bettin, J. (ed.) Domain Engineering: Product Lines, Languages, and Conceptual Models Berlin, Heidelberg Springer. pp. 187-209
Introducing argumentative and discursive enterprise leading and management
Bittmann, S., Barn, B., Clark, T. and Thomas, O. 2013. Introducing argumentative and discursive enterprise leading and management. Combemale, B., De Antoni, J., France, R., Barn, B., Clark, T., Frank, U., Kulkarni, V. and Turk, D. (ed.) 1st International Workshop: Towards the Model Driven Organization. Miami; United States 29 Sep - 04 Oct 2013 CEUR-WS.
Modelling and enterprises: The past, the present and the future
Kulkarni, V., Roychoudhury, S., Sunkle, S., Clark, T. and Barn, B. 2013. Modelling and enterprises: The past, the present and the future. Hammoudi, S., Pires, L., Filipe, J. and Neves, R. (ed.) 1st International Conference on Model-Driven Engineering and Software Development. Barcelona, Spain 19 - 21 Feb 2013 SCITEPRESS - Science and Technology Publications. pp. 95-100 https://doi.org/10.5220/0004310700950100
Reasoning about strategies under partial observability and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2013. Reasoning about strategies under partial observability and fairness constraints. 1st International Workshop on Strategic Reasoning. Rome, Italy 16 - 17 Mar 2013 Open Publishing Association. https://doi.org/10.4204/EPTCS.112.12
Simulating enterprise architecture models
Clark, T., Barn, B., Oussena, S. and Infosys 2012. Simulating enterprise architecture models. Infosys Journal of Research. 10 (3), pp. 3-20.
bCMS in LEAP
Clark, T. and Barn, B. 2012. bCMS in LEAP. Comparing Modeling Approaches. Innsbruck, Austria 30 Sep 2012
Business and ICT alignment in higher education: a case study in measuring maturity
Barn, B., Clark, T. and Hearne, G. 2012. Business and ICT alignment in higher education: a case study in measuring maturity. 21st International Conference on Information Systems Development (ISD2012). Prato, Italy 29 - 30 Aug 2012
Retrieval of 3D medical images via their texture features
Gao, X., Qian, Y., Loomes, M., Barn, B., Comley, R., Chapman, A., Rix, J., Hui, R. and Tian, Z. 2012. Retrieval of 3D medical images via their texture features. International Journal on Advances in Software. 4 (3&4), pp. 499-509.
Application of verification techniques to security: model checking insider attacks
Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.
Revisiting Naur's programming as theory building for Enterprise Architecture modelling
Barn, B. and Clark, T. 2011. Revisiting Naur's programming as theory building for Enterprise Architecture modelling. Mouratidis, H. and Rolland, C. (ed.) CAiSE: 23rd International Conference on Advanced Information Systems Engineering. University of East London, UK 20 - 24 Jun 2011 Springer. https://doi.org/10.1007/978-3-642-21640-4_18
Modeling as theory building: addressing knowledge management problems in system engineering.
Clark, T. and Barn, B. 2011. Modeling as theory building: addressing knowledge management problems in system engineering. SETLabs Briefings.
Event driven architecture modelling and simulation
Clark, T. and Barn, B. 2011. Event driven architecture modelling and simulation. 2011 IEEE 6th International Symposium on Service Oriented System Engineering (SOSE). Irvine, CA, USA 12 - 14 Dec 2011 IEEE. pp. 43-54 https://doi.org/10.1109/SOSE.2011.6139091
Assessing composition in modeling approaches
Mussbacher, G., Alam, O., Alhaj, M., Ali, S., Amálio, N., Barn, B., Bræk, R., Clark, T., Combemale, B., Cysneiros, L.M., Fatima, U., France, R., Georg, G., Horkoff, J., Kienzle, J., Leite, J.C., Lethbridge, T.C., Luckey, M., Moreira, A., Mutz, F., Oliveira, A.P.A., Petriu, D.C., Schöttle, M., Troup, L. and Werneck, V.M.B. 2012. Assessing composition in modeling approaches. New York Association for Computing Machinery (ACM). https://doi.org/10.1145/2459031.2459032
Curriculum design tools: Using information modelling for course transformation and mapping
Dafoulas, G., Barn, B. and Zheng, Y. 2012. Curriculum design tools: Using information modelling for course transformation and mapping. 11th International Conference on Information Technology Based Higher Education and Training. Istanbul, Turkey 21 - 23 Jun 2012 IEEE. https://doi.org/10.1109/ITHET.2012.6246064
A common basis for modelling service-oriented and event-driven architecture
Clark, T. and Barn, B. 2012. A common basis for modelling service-oriented and event-driven architecture. 5th India Software Engineering Conference. Kanpur, India 22 - 25 Feb 2012 Association for Computing Machinery (ACM). pp. 23-32 https://doi.org/10.1145/2134254.2134258
A model based approach to systems requirements for event driven enterprise architecture
Barn, B., Clark, T. and Oussena, S. 2012. A model based approach to systems requirements for event driven enterprise architecture. 5th India Software Engineering Conference. Kanpur, India 22 - 25 Feb 2012
A method for enterprise architecture alignment
Clark, T., Barn, B. and Oussena, S. 2012. A method for enterprise architecture alignment. Proper, E., Gaaloul, K., Harmsen, F. and Wrycza, S. (ed.) 4th Working Conference on Practice-Driven Research on Enterprise Transformation. Gdańsk, Poland 27 Jun 2012 Springer. pp. 48-76 https://doi.org/10.1007/978-3-642-31134-5_3
Goal based alignment of enterprise architectures
Barn, B. and Clark, T. 2012. Goal based alignment of enterprise architectures. 7th International Conference on Software Paradigm Trends (ICSOFT 2012). Rome, Italy 24 - 27 Jul 2012
Using learning management systems as support mechanisms for formative feedback – the case of lifelong learning.
Dafoulas, G., Barn, B., Abeysinghe, G., Zheng, Y., Swigger, K., Brazile, R., Alpaslan, F., Serce, F. and Lopez, V. 2010. Using learning management systems as support mechanisms for formative feedback – the case of lifelong learning. in: EDULEARN10 Proceedings. International Association of Technology, Education and Development (IATED). pp. 2614-2622
Revisiting Naur’s programming as theory building for enterprise architecture modelling
Barn, B. and Clark, T. 2011. Revisiting Naur’s programming as theory building for enterprise architecture modelling. in: Mouratidis, H. and Rolland, C. (ed.) Advanced information systems engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings Springer.
Re-thinking software engineering approaches: a critical reflection on theory building
Barn, B. and Clark, T. 2011. Re-thinking software engineering approaches: a critical reflection on theory building. Cuaresma, M., Shishkov, B. and Cordeiro, J. (ed.) ICSOFT 2011: 6th International Conference on Software and Database Technologies. Seville, Spain 18 - 21 Jul 2011 SCITEPRESS - Science and Technology Publications. pp. 59-64 https://doi.org/10.5220/0003610700590064
LEAP: a precise lightweight framework for enterprise architecture
Clark, T., Barn, B. and Oussena, S. 2011. LEAP: a precise lightweight framework for enterprise architecture. 4th India Software Engineering Conference. Thiruvananthapuram, India 23 - 26 Feb 2011 Association for Computing Machinery (ACM). https://doi.org/10.1145/1953355.1953366
The secret santa problem.
Liberti, L. and Raimondi, F. 2008. The secret santa problem. Lecture Notes in Computer Science. 5034, pp. 271-279. https://doi.org/10.1007/978-3-540-68880-8_26
Algorithms for efficient symbolic detection of faults in context-aware applications.
Sama, M., Raimondi, F., Rosenblum, D. and Emmerich, W. 2008. Algorithms for efficient symbolic detection of faults in context-aware applications. in: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers. pp. 1-8
Service-level agreements for electronic services
Skene, J., Raimondi, F. and Emmerich, W. 2010. Service-level agreements for electronic services. IEEE Transactions on Software Engineering. 36 (2), pp. 288-304. https://doi.org/10.1109/TSE.2009.55
PDVer, a tool to verify PDDL planning domains.
Raimondi, F., Pecheur, C. and Brat, G. 2009. PDVer, a tool to verify PDDL planning domains. ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems. Thessaloniki, Greece 20 Sep 2009
The Anonymous subgraph problem.
Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2009. The Anonymous subgraph problem. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 269-274
Combinatorial optimization based recommender systems.
Roda, F., Liberti, L. and Raimondi, F. 2009. Combinatorial optimization based recommender systems. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 175-179
A model to design and verify context-aware adaptive service composition.
Cubo, J., Sama, M., Raimondi, F. and Rosenblum, D. 2009. A model to design and verify context-aware adaptive service composition. 6th IEEE International Conference on Services Computing (SCC 2009). Bangalore 21 - 25 Sep 2009
Applying component concepts to service oriented design: a case study.
Barn, B. and Oussena, S. 2007. Applying component concepts to service oriented design: a case study. Sinderen, M. (ed.) Institute for Systems and Technologies of Information, Control and Communication. pp. 31-41
Texture-based 3d image retrieval for medical applications
Gao, X., Qian, Y., Hui, R., Loomes, M., Comley, R., Barn, B., Chapman, A. and Rix, J. 2010. Texture-based 3d image retrieval for medical applications. Macedo, M. (ed.) IADIS International Conference e-Health 2010. Freiburg, Germany 29 - 31 Jul 2010 IADIS. pp. 101-108
A domain specific language for contextual design
Barn, B. and Clark, T. 2010. A domain specific language for contextual design. Bernhaupt, R., Forbrig, P., Gulliksen, J. and Lárusdóttir, M. (ed.) 3rd International Conference on Human-Centred Software Engineering (HCSE 2010). Reykjavik, Iceland 14 - 15 Oct 2010 Berlin, Heidelberg. Springer. https://doi.org/10.1007/978-3-642-16488-0_5
BPMN, toolsets, and methodology: a case study of business process management in higher education
Barn, B. and Oussena, S. 2009. BPMN, toolsets, and methodology: a case study of business process management in higher education. in: Papadopoulos, G., Wojtkowski, W., Wojtkowski, G., Wrycza, S. and Zupancic, J. (ed.) Information systems development: Towards a service provision society Boston, MA Springer. pp. 685-693
A mobile social software application to support work based learning in social work
Barn, B., Oussena, S. and Barn, R. 2009. A mobile social software application to support work based learning in social work. Kinshuk, Sampson, D., Spector, J., Isaías, P. and Ifenthaler, D. (ed.) 2009 IADIS International Conference on Cognition and Exploratory Learning in Digital Age. Rome, Italy 20 - 22 Nov 2009 pp. 227-234
A formal analysis of requirements-based testing
Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. in: Rothermel, G. and Dillon, L. (ed.) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis Association for Computing Machinery (ACM). pp. 47-56
An e-learning support toolkit for social work students on placement
Zhang, P., Wills, G., Howard, Y., Oussena, S., Kramer, D., Barn, R. and Barn, B. 2009. An e-learning support toolkit for social work students on placement. Nunes, M. and McPherson, M. (ed.) IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009. Algarve, Portugal 17 - 20 Jun 2009 IADIS.
A framework for testing SOA applications
Oussena, S., Barn, B. and Sparks, D. 2009. A framework for testing SOA applications. ICSOFT 2009: 4th International Conference on Software and Data Technologies. Sofia, Bulgaria 26 - 29 Jul 2009 Sofia, Bulgaria Institute for Systems and Technologies of Information, Control and Communication. pp. 53-60 https://doi.org/10.5220/0002257200530060
Layered process models: analysis and implementation (using MDA principles)
Oussena, S. and Barn, B. 2009. Layered process models: analysis and implementation (using MDA principles). Cordeiro, J. and Filipe, J. (ed.) 11th International Conference on Enterprise Information Systems. Milan; Italy 06 - 10 May 2009 Institute for Systems and Technologies of Information, Control and Communication. pp. 168-175
On the evaluation of reference models for software engineering practice
Barn, B. 2009. On the evaluation of reference models for software engineering practice. 2nd India Software Engineering Conference. Pune, India 23 - 26 Feb 2009 Association for Computing Machinery (ACM). pp. 111-116 https://doi.org/10.1145/1506216.1506238
MCMAS: a model checker for the verification of multi-agent systems
Lomuscio, A., Qu, H. and Raimondi, F. 2009. MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science. 5643, pp. 682-688. https://doi.org/10.1007/978-3-642-02658-4_55
A comparative study on the analysis of students interactions in e-learning
Hijon-Neira, R., Velazquez-Iturbide, J., Barn, B. and Oussena, S. 2008. A comparative study on the analysis of students interactions in e-learning. 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008. Santander, Spain 01 - 05 Jul 2008 IEEE. pp. 20-22 https://doi.org/10.1109/ICALT.2008.282
Efficient online monitoring of web-service SLAs
Raimondi, F., Skene, J. and Emmerich, W. 2008. Efficient online monitoring of web-service SLAs. in: Harrold, J. and Murphy, G. (ed.) Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering Association for Computing Machinery (ACM). pp. 170-180
SOA-MDK: Towards a method development kit for service oriented system development
Barn, B., Dexter, H., Oussena, S. and Sparks, D. 2007. SOA-MDK: Towards a method development kit for service oriented system development. Magyar, G., Knapp, G., Wojtkowski, W., Wojtkowski, W. and Zupančič, J. (ed.) 15th International Conference on Information Systems Development. New York, NY Springer. pp. 191-201 https://doi.org/10.1007/978-0-387-70761-7_16
BPEL patterns for implementing variations in SOA applications
Oussena, S., Sparks, D. and Barn, B. 2007. BPEL patterns for implementing variations in SOA applications. Cardoso, J., Cordeiro, J. and Filipe, J. (ed.) 9th International Conference on Enterprise Information Systems. Funchal, Portugal 12 - 16 Jun 2007 Institute for Systems and Technologies of Information, Control and Communication. pp. 295-300 https://doi.org/10.5220/0002393802950300
An experiment with conversation theory as a candidate for a meta learning theory
Barn, B. and Dexter, H. 2007. An experiment with conversation theory as a candidate for a meta learning theory. Uskov, V. (ed.) 10th IASTED International Conference on Computers and Advanced Technology in Education. Beijing, China 08 - 10 Oct 2007 Acta Press. pp. 115-120
Conceptual modeling of educational theories: an ontological approach
Barn, B. 2006. Conceptual modeling of educational theories: an ontological approach. IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2006. Barcelona, Spain 08 - 10 Dec 2006 IADIS. pp. 45-51
From components to web based services
Barn, B. 2004. From components to web based services. Seruca, I., Filipe, J., Hammoudi, S. and Cordeiro, J. (ed.) 6th International Conference on Enterprise Information Systems. Porto, Portugal 14 - 17 Apr 2004 Institute for Systems and Technologies of Information, Control and Communication.
Supporting virtual enterprise design by a web-based information model
Li, D., Barn, B. and McKay, A. 2001. Supporting virtual enterprise design by a web-based information model. Intelligent Systems and Advanced Manufacturing, 2001. Boston, MA, United States 28 - 31 Oct 2001 SPIE. https://doi.org/10.1117/12.443151
Graphical interaction management
Barn, B. and Willis, P. 1987. Graphical interaction management. Computer Graphics Forum. 6 (2), pp. 119-124. https://doi.org/10.1111/j.1467-8659.1987.tb00358.x