kPWorkbench: a software framework for Kernel P systems |
2015 |
Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, February, 2015, Sevilla, Spain |
Proceedings of the Thirteenth Brainstorming Week on Membrane Computing, February, 2015, Sevilla, Spain |
1 |
179 - 194 |
Gheorghe, Marian; Ipate, F.; Mierla, L.M.; Konur, Savas |
|
|
|
|
|
Modelling and stochastic simulation of synthetic biological Boolean gates |
2014 |
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst |
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst |
1 |
404 - 408 |
Sanassy, D.; Fellerman, H.; Krasnogor, N.; Konur, Savas; Mierla, L.M.; Gheorghe, Marian; Ladroue, C.; Kalvala, S. |
|
|
|
10.1109/HPCC.2014.68 |
|
Model checking kernel P systems |
2013 |
International Conference on Membrane Computing. CMC 2013 |
International Conference on Membrane Computing. CMC 2013 |
LNCS 8340 |
151 - 172 |
Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M. |
|
|
|
https://doi.org/10.1007/978-3-642-54239-8_12 |
|
Extended simulation and verification platform for kernel P systems |
2014 |
15th International Conference on Membrane Computing, Prague, Czech Republic |
15th International Conference on Membrane Computing, Prague, Czech Republic |
1 |
158 - 178 |
Bakir, M.E.; Ipate, F.; Konur, Savas; Mierla, L.M.; Niculescu, I.M. |
|
|
|
10.1007/978-3-319-14370-5_10 |
|
High performance simulations of kernel P systems |
2014 |
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) |
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) |
1 |
409 - 412 |
Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Niculescu, I.M.; Ipate, F. |
|
|
IEEE |
10.1109/HPCC.2014.69 |
|
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering |
2017 |
2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) |
2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) |
1 |
131 - 138 |
Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian |
|
|
IEEE |
https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25 |
|
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering |
2018 |
IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017 |
IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017 |
2018-January |
131 - 138 |
Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M. |
|
9781538630655 |
|
10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25 |
|
Comparative analysis of statistical model checking tools |
2017 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
10105 LNCS |
119 - 135 |
Bakir M.;Gheorghe M.;Konur S.;Stannett M. |
|
0302-9743 |
|
10.1007/978-3-319-54072-6_8 |
|
An integrated model checking toolset for kernel P systems |
2015 |
International Conference on Membrane Computing, CMC 2015, Lecture Notes in Computer Science (LNCS) |
International Conference on Membrane Computing, CMC 2015, Lecture Notes in Computer Science (LNCS) |
9504 |
153 - 170 |
Gheorghe M.;Konur S.;Ipate F.;Mierla L.;Bakir M.;Stannett M. |
|
0302-9743 |
|
10.1007/978-3-319-28475-0_11 |
|
Agent-based high-performance simulation of biological systems on the GPU |
2015 |
Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015 |
Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015 |
|
84 - 89 |
Konur S.;Kiran M.;Gheorghe M.;Burkitt M.;Ipate F. |
|
9781479989362 |
|
10.1109/HPCC-CSS-ICESS.2015.253 |
|
Modelling and validating an engineering application in kernel P systems |
2018 |
International Conference on Membrane Computing, CMC 2017 |
International Conference on Membrane Computing, CMC 2017 |
10725 LNCS |
183 - 195 |
Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F. |
|
0302-9743 |
|
10.1007/978-3-319-73359-3_12 |
|
Kernel P systems modelling, testing and verification - Sorting case study |
2016 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
10105 LNCS |
233 - 250 |
Gheorghe M.;Ceterchi R.;Ipate F.;Konur S. |
|
0302-9743 |
|
10.1007/978-3-319-54072-6_15 |
|
A data collection and prediction methodology for manufacturing process: A case study in food industry |
2018 |
Frontiers in Artificial Intelligence and Applications |
Frontiers in Artificial Intelligence and Applications |
309 |
428 - 434 |
Lan Y.;Konur S.;Sutcliffe P. |
|
0922-6389 |
|
10.3233/978-1-61499-927-0-428 |
|
Machine learning analysis and agent-based modelling of malaria transmission |
2018 |
Frontiers in Artificial Intelligence and Applications |
Frontiers in Artificial Intelligence and Applications |
309 |
465 - 472 |
Modu B.;Polovina N.;Lan Y.;Konur S. |
|
0922-6389 |
|
10.3233/978-1-61499-927-0-465 |
|
A novel semantic complex event processing framework for streaming processing |
2019 |
Proceedings of the 9th International Conference on the Internet of Things, IoT 2019, Bilbao, Spain |
Proceedings of the 9th International Conference on the Internet of Things, IoT 2019, Bilbao, Spain |
1 |
1 - 4 |
Yemson R.;Thakker D.;Konur S. |
|
9781450372077 |
ACM |
10.1145/3365871.3365906 |
|
Model checking kernel P systems |
2013 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
8340 LNCS |
151 - 172 |
Dragomir C.;Ipate F.;Konur S.;Lefticaru R.;Mierla L. |
|
0302-9743 |
|
10.1007/978-3-642-54239-8_12 |
|
Modelling and stochastic simulation of synthetic biological boolean gates |
2014 |
Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014 |
Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014 |
|
404 - 408 |
Sanassy D.;Fellermann H.;Krasnogor N.;Konur S.;Mierla L.;Gheorghe M.;Ladroue C.;Kalvala S. |
|
9781479961238 |
|
10.1109/HPCC.2014.68 |
|
Spiking Neural P Systems Simulation and Verification |
2020 |
18th International Conference on High Performance Computing & Simulation (HPCS 2020) |
18th International Conference on High Performance Computing & Simulation (HPCS 2020) |
1 |
|
R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna |
|
|
IEEE |
|
Barcelona (online) |
Comparative Study of Shortterm Electricity Price Forecasting Models to Optimise Battery Consumption |
2020 |
2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics) |
2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics) |
|
|
Preniqi, Vjosa and Mishra, Bhupesh Kumar and Thakker, Dhavalkumar and Feigl, Erich and Mokryani, Geev and Abdullatif, Amr and Konur, Savas |
|
978-1-7281-7647-5 |
IEEE |
10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics50389.2020.00069 |
|
Detection of Brain Tumour Using Deep Learning |
2021 |
International Conference on Innovative Techniques and Applications of Artificial Intelligence, SGAI-AI 2021: Artificial Intelligence XXXVIII |
International Conference on Innovative Techniques and Applications of Artificial Intelligence, SGAI-AI 2021: Artificial Intelligence XXXVIII |
Lecture Notes in Computer Science (LNAI, 13101) |
133 - 138 |
Ahmed W.;Konur S. |
|
0302-9743 |
|
10.1007/978-3-030-91100-3_10 |
|
Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management |
2021 |
Frontiers in Artificial Intelligence and Applications, Proceedings of CECNet 2021 |
Frontiers in Artificial Intelligence and Applications, Proceedings of CECNet 2021 |
345 |
659 - 666 |
Zadeh E.;Amstutz S.;Collins J.;Ingham C.;Gheorghe M.;Konur S. |
|
0922-6389 |
|
10.3233/FAIA210459 |
|
A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite |
2022 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Lecture Notes in Computer Science |
13347 LNBI |
193 - 207 |
Matzko R.O.;Mierla L.;Konur S. |
|
0302-9743 |
|
10.1007/978-3-031-07802-6_17 |
|
An Assessment on the Hidden Ecological Factors of the Incidence of Malaria |
2017 |
Proceedings of the IS4SI 2017 Summit DIGITALISATION FOR A SUSTAINABLE SOCIETY, Gothenburg, Sweden |
Proceedings of the IS4SI 2017 Summit DIGITALISATION FOR A SUSTAINABLE SOCIETY, Gothenburg, Sweden |
1 |
|
B. Modu, A. T. Asyhari, S. Konur, Y. Peng |
|
|
|
https://doi.org/10.3390/IS4SI-2017-04001 |
|
Kernel P Systems Modelling, Testing and Verification |
2016 |
14th Brainstorming Week on Membrane Computing, BWMC 2016, Sevilla, Spain |
14th Brainstorming Week on Membrane Computing, BWMC 2016, Sevilla, Spain |
1 |
|
M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur |
|
|
|
|
|
Modeling and Analysis of Genetic Boolean Gates using Infobiotics Workbench |
2014 |
Verification of Engineered Molecular Devices and Programs, Proceedings of VEMDP’14, Vienna, Austria |
Verification of Engineered Molecular Devices and Programs, Proceedings of VEMDP’14, Vienna, Austria |
1 |
|
S. Konur, C. Ladroue, H. Fellermann, D. Sanassy, L. Mierla, F. Ipate, S. Kalvala, M. Gheorghe, N. Krasnogor |
|
|
|
|
|
Design and Analysis of Genetically Constructed Logic Gates |
2014 |
The University of Sheffield Engineering Symposium Conference Proceedings, USES 2014 |
The University of Sheffield Engineering Symposium Conference Proceedings, USES 2014 |
1 |
|
Konur, S. and Gheorghe, M |
|
|
|
10.15445/01012014.44 |
|
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example |
2014 |
Twelfth Brainstorming Week on Membrane Computing / Luis Felipe Macías Ramos, Miguel Ángel Martínez del Amor, Gheorge Paun, Agustín Riscos Núñez, Luis Valencia Cabrera (eds), Sevilla, Spain |
Twelfth Brainstorming Week on Membrane Computing / Luis Felipe Macías Ramos, Miguel Ángel Martínez del Amor, Gheorge Paun, Agustín Riscos Núñez, Luis Valencia Cabrera (eds), Sevilla, Spain |
1 |
|
Konur Savas, Marian Gheorgue, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor |
|
9788494005640 |
|
|
|
Formal analysis of a VANET congestion control protocol through probabilistic verification |
2011 |
IEEE Vehicular Technology Conference |
IEEE Vehicular Technology Conference |
|
|
Konur S.;Fisher M. |
|
1550-2252 |
|
10.1109/VETECS.2011.5956327 |
|
Formal verification of probabilistic swarm behaviours |
2010 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Lecture Notes in Computer Science |
6234 LNCS |
440 - 447 |
Konur S.;Dixon C.;Fisher M. |
|
0302-9743 |
|
10.1007/978-3-642-15461-4_42 |
|
Real-time System Specification with a Decidable Temporal Logic |
2009 |
Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09) – 16th International Symposium on Formal Methods (FM'09), Eindhoven, the Netherlands |
Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09) – 16th International Symposium on Formal Methods (FM'09), Eindhoven, the Netherlands |
1 |
|
Konur, Savas |
|
|
|
|
|
A Temporal Logic of Intervals and Its Tableau-based Decision Procedure |
2009 |
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’09), Oslo, Norway |
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’09), Oslo, Norway |
1 |
|
Konur, Savas |
|
|
|
|
|
Verification of a Message Delivery System using PRISM |
2009 |
Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems |
Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems |
CSR-2-2009 |
|
Konur, Savas; Al Zahrani, Ahmed; Fisher, Michael |
|
|
|
|
|
A Decidable Approach to Real-time System Specification |
2009 |
Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009 |
Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009 |
1 |
|
Konur, Savas |
|
|
|
|
|
Verification of Pervasive Systems |
2009 |
Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009 |
Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009 |
1 |
|
Konur, Savas; Fisher, Michael |
|
|
|
|
|
An interval logic for natural language semantics |
2008 |
Advances in Modal Logic, AIML 2008, Nancy, France |
Advances in Modal Logic, AIML 2008, Nancy, France |
7 |
|
Konur, Savas |
|
|
|
|
|
A decidable temporal logic for events and states |
2006 |
Proceedings of the International Workshop on Temporal Representation and Reasoning |
Proceedings of the International Workshop on Temporal Representation and Reasoning |
2006 |
36 - 41 |
Konur S. |
|
9780769526171 |
|
10.1109/TIME.2006.1 |
|
Automated support for adaptive incident management |
2004 |
Proceedings of ISCRAM 2004 - 1st International Workshop on Information Systems for Crisis Response and Management |
Proceedings of ISCRAM 2004 - 1st International Workshop on Information Systems for Crisis Response and Management |
1 |
|
Abbink, Hans; Van Dijk, Roel; Dobos, Tamas; Hoogendoorn, Mark; Jonker, Catholijn; Konur, Savas; van Maanen, Peter-Paul; Popova, Viara; Sharpanskykh, Alexei; van Tooren, Peet; Treur, Jan; Valk, Jeroen; Xu, Lai; Yolum, Pinar |
|
|
|
|
|
Learning decision trees for action selection in soccer agents |
2004 |
ECAI-04 Workshop on Agents in dynamic and real-time environments |
ECAI-04 Workshop on Agents in dynamic and real-time environments |
1 |
|
Konur, Savas; Ferrein, Alexander; Lakemeyer, Gerhard |
|
|
|
|
|
Automated Analysis for Incident Management |
2004 |
Proceedings of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence |
Proceedings of the 24th International Conference on Innovative Techniques and Applications of Artificial Intelligence |
1 |
|
Abbink, H; Dijk, R van; Dobos, T; Hoogendoorn, M; Jonker, CM; Konur, S; Van Maanen, PP; Popova, V; Sharpanskykh, A; Tooren, P van; Treur, J; Valk, J; Xu, L; Yolum, P |
|
|
Springer |
|
|