Uwe Glässer
Computing Science @ Simon Fraser University, B.C.
 

Software Technology

Everything is vague to a degree you do not realize till you have tried to make it precise ...
Bertrand Russell, The Philosophy of Logical Atomism (1918)
Academic Degrees

Habilitation 1999, Doctorate (Dr.rer.nat.) 1992, M.Sc. (Diploma) 1987 in Computer Science resp.,
Dept. of Mathematics and Computer Science, Paderborn University, Germany

 

Events

ABZ 2016: 5th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z, May 2016, Linz, Austria
KDD 2016: 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, August 2016, San Farancisco, CA, USA
ASONAM 2016: 2016 International Conference on Advances in Social Networks Analysis and Mining, August 2016, UC Davis, Davis, CA, USA
FOSINT-SI 2016: International Symposium on Foundation of Open Source Intelligence and Security Informatics, August 2016, UC Davis, Davis, CA, USA

Research

My work concentrates on applied computer science, spanning three fields: industrial applications of formal methods, software technology for intelligent systems, computational criminology and security informatics. A common element is computational logic and discrete mathematics for analyzing, modeling and reasoning about distributed and mobile systems in a wide range of application fields, including communication protocols, multi-agent architectures, situation analysis decision support systems, and system design languages. More recent work focuses on modeling of complex social systems: ambient assistive living, computer models in the study of crime and criminal network analysis.

Teaching

CMPT 475 – Software Engineering II (Spring 2014), CMPT 745 – Software Engineering (Fall 2013)

Institutes and Labs

Software Technology Lab, ICURS, The IRMACS Centre, Modelling of Complex Social Systems, Network Modeling Research Group, VIVA

Selected Publications

Books and Journals Mohammad A. Tayebi and U. Glässer. Social Network Analysis in Predictive Policing – Concepts, Models and Methods.
Lecture Notes in Social Networks (LNSN), Springer (to appear in March 2016).

Mohammad A. Tayebi, Uwe Glässer, Martin Ester and Patricia L. Brantingham. Personalized Crime Location Prediction.
European J. of Applied Mathematics (EJAM), Special issue: The Mathematics of Crime and Security (in press).

2014: R. Farahbod, V. Gervasi and U. Glässer. Executable Formal Specifications of Complex Distributed Systems with CoreASM.
Science of Computer Programming, Elsevier, Volume 79, January 2014, pages 23–38.

2013: M. Frappier, U. Glässer, S. Khurshid, R. Laleau, S. Reeves (Eds.). Preface: Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010,
Science of Computer Programming – Methods of Software Design: Techniques and Applications, Elsevier, Volume 78, Issue 3, March 2013, pages 270–271.

2013: P. Jackson, U. Glässer, H. Yaghoubi Shahir, and H. Wehn. High-Level Architecture and Design of a Decision Engine for Marine Safety and Security.
In Ch. C. Yang et al. (eds.), Intelligence and Security Informatics, Intelligent Systems Series, Elsevier pages 85–105.

2012: U. Glässer, M. A. Tayebi, P. L. Brantingham, and P. J. Brantingham. Estimating Possible Criminal Organizations from Co-offending Data.
Report No. 29, Public Safety Canada, Ottawa, ON, November.

2012: A.J. Park, H.H. Tsang, M. Sun, and U. Glässer. An Agent-Based Model and Computational Framework for Counter-Terrorism and Public Safety Based on Swarm Intelligence.
Security Informatics Journal.

2012: H. Yaghoubi Shahir, U. Glässer, R. Farahbod, P. Jackson, and H. Wehn. Generating Test-Cases for Marine Safety and Security Scenarios: A Composition Framework.
Security Informatics Journal, Springer, Feb.

2011: R. Farahbod and U. Glässer. The CoreASM Modeling Framework.
Software: Practice & Experience, Special Issue: Tool Building in Formal Methods, John Wiley & Sons, 41(2): 167–178

2011: P. L. Brantingham, M. Ester, R. Frank, U. Glässer, and M. A. Tayebi. Co-offending Network Mining.
In U. Kock Wiil (ed.), Counterterrorism and Open Source Intelligence, Lecture Notes in Social Networks, Vol. 2, Springer, pages 73–102

2010: M. Frappier, U. Glässer, S. Khurshid, R. Laleau and S. Reeves (Eds.). Abstract State Machines, Alloy, B and Z,
Proc. Second Intl. Conference, ABZ 2010, Orford, QC, LNCS volume 5977, Springer

2010: C. C. Yang, D. Zeng, K. Wang, A. Sanfilippo, H. H. Tsang, M.-Y. Day, U. Glässer, P. L. Brantingham and H. Chen (Eds).
Proc. 2010 IEEE Intl. Conference on Intelligence and Security Informatics: Public Safety and Security, Vancouver, BC, Canada, IEEE Society

2010: U. Glässer and M. Vajihollahi. Identity Management Architecture.
In C.C. Yang, M.C. Chau, J.-H. Wang and H. Chen (Eds.), Security Informatics, Annals of Information Systems, Springer, pages 97–116

2009: J.-R. Abrial and U. Glässer (Eds.).
Rigorous Methods for Software Construction and Analysis. LNCS Festschrift volume 5115, Springer

2009: R. Farahbod, V. Gervasi, U. Glässer and G. Ma. CoreASM Plug-in Architecture.
In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis, LNCS Festschrift volume 5115, Springer, pages 147–169

2009: P. L. Brantingham, U. Glässer, P. Jackson and M. Vajihollahi. Modeling Criminal Activity in Urban Landscapes.
In N. Memon, J. D. Farley, D. L. Hicks, T. Rosenørn (eds.), Mathematical Methods in Counterterrorism, Springer, pages 9–31

2008: P. L. Brantingham, U. Glässer, P. Jackson, B. Kinney and M. Vajihollahi. Mastermind: Computational Modeling and Simulation of Spatiotemporal Aspects of Crime in Urban Environments.
In L. Liu, J. Eck (eds.), Artificial Crime Analysis Systems: Using Computer Simulations and Geographic Information Systems, IGI Global, pages 252–280

2007: R. Farahbod, V. Gervasi and U. Glässer. CoreASM: An Extensible ASM Execution Engine.
Fundamenta Informaticae, 77 (1-2), pages 71–103

2007: R. Farahbod, U. Glässer and M. Vajihollahi. An Abstract Machine Architecture for Web Service Based Business Process Management.
Intl. Journal of Business Process Integration and Management, Vol. 1, No. 4, pages 279–291

2005: U. Glässer and Q.-P. Gu. Formal Description and Analysis of a Distributed Location Service for Mobile Ad Hoc Networks.
Theoretical Computer Science, volume 336, Elsevier, May, pages 285–309

2005: P. L. Brantingham, P. J. Brantingham and U. Glässer. Computer Simulation as a Research Tool in Criminology and Criminal Justice.
Criminal Justice Matters, Centre for Crime and Justice Studies, Kings College London, No. 58, Feb., pages 18–19

2004: U. Glässer, Y. Gurevich and M. Veanes. Abstract Communication Model for Distributed Systems.
IEEE Transactions on Software Engineering, vol. 30, no. 7, pages 458–472

2003: U. Glässer, R. Gotzhein and A. Prinz. Formal Semantics of SDL-2000: Status and Perspectives.
Computer Networks, Volume 42, Issue 3, ITU-T System Design Languages (SDL), Elsevier, pages 343–358

2001: R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis and A. Prinz. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.
Journal of Universal Computer Science, Springer, 7 (11): 1025–1050

Computational Criminology 2015: Mohammad A. Tayebi, Uwe Glässer, Patricia Brantingham. Learning Where to Inspect: Location Learning for Crime Prediction.
In Proceedings of the 2015 IEEE International Conference on Intelligence and Security Informatics, ISI 2015, Baltimore, MD, USA.

2014: Mohammad A. Tayebi, Martin Ester, Uwe Glässer and Patricia L. Brantingham. Spatially Embedded Co-offence Prediction Using Supervised Learning.
In Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD 2014, NYC, USA, ACM, 1789–98.

2014: Mohammad A. Tayebi, Martin Ester, Uwe Glässer, and Patricia L. Brantingham. CRIMETRACER: Activity Space Based Crime Location Prediction.
In Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM'14, pages 472–480, IEEE.

2012: M. A. Tayebi, R. Frank and U. Glässer. Understanding the Link Between Social and Spatial Distance in the Crime World.
Proc. 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Redondo Beach, California, USA, Nov.

2012: M. A. Tayebi and U. Glässer. Crime Group Evolution in Large Co-offending Networks.
Proc. Fourth Annual Illicit Networks Workshop, Vancouver, BC, Canada, October.

2012: M. A. Tayebi and U. Glässer. Investigating Organized Crime Groups: A Social Network Analysis Perspective.
Proc. 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, Istanbul, Turkey, Aug.

2011: M. A. Tayebi and U. Glässer. Organized Crime Structures in Co-offending Networks.
Proc. 2011 Intl. Conference on Social Computing and its Applications, Sydney, Australia, Dec.

2011: M. A. Tayebi, U. Glässer, and P. L. Brantingham. Organized Crime Detection in Co-offending Networks.
Proc. Third Annual Illicit Networks Workshop, Montréal, Québec, Canada, October.

2011: M. A. Tayebi, M. Jamali, M. Ester, U. Glässer, and R. Frank. CrimeWalker: A Recommendation Model for Suspect Investigation.
In B. Mobasher, R.D. Burke, D. Jannach, G. Adomavicius (eds.): Proc. 2011 ACM Conference on Recommender Systems, Chicago, IL, USA, ACM, ISBN 978-1-4503-0683-6, pages 173–180

2011: M. A. Tayebi, L. Bakker, U. Glässer and V. Dabbaghian. Locating Central Actors in Co-offending Networks.
Proc. 2011 Intl. Conference on Advances in Social Network Analysis and Mining, Kaohsiung, Taiwan, IEEE Computer Society, pages 171–179

2008: U. Glässer and M. Vajihollahi. Computational Modeling of Criminal Activity.
Proc. European Conference on Intelligence and Security Informatics, Esbjerg, Denmark, Spinger LNCS Vol. 5376, pages 39–50

2007: U. Glässer, P. Jackson and M. Vajihollahi. Mastermind: A Computational Framework for Studying Physical Crime.
Proc. 14th Intl. Workshop on Abstract State Machines, Grimstad, Norway, June

2005: P. L. Brantingham, U. Glässer, B. Kinney, K. Singh and M. Vajihollahi. A Computational Model for Simulating Spatial Aspects of Crime in Urban Environments.
In Proc. of IEEE Intl. Conference on Systems, Man, and Cybernetics (SMC'2005), Big Island, Hawaii, Oct.

2005: P. L. Brantingham, U. Glässer, B. Kinney, K. Singh and M. Vajihollahi. Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.
In D. Beauquier, E. Börger and A. Slissenko (eds.), Proc. 12th Intl. Workshop on Abstract State Machines, Paris, Mar., pages 101–117

Security Informatics 2015: H. Yaghoubi Shahir, U. Glässer, A. Yaghoubi Shahir, and H. Wehn. Maritime Situation Analysis Framework: Vessel Interaction Classification and Anomaly Detection.
In Proceedings of the 2015 IEEE International Conference on Big Data, Santa Clara, CA, USA, IEEE.

2015: A. Nag Radon, K. Wang, U. Glässer, H. Wehn, and A. Westwell-Roper. Contextual Verification for False Alarm Reduction in Maritime Anomaly Detection.
In Proceedings of the 2015 IEEE International Conference on Big Data, Santa Clara, CA, USA, IEEE.

2014: H. Yaghoubi Shahir, U. Glässer, N. Nalbandyan, and H. Wehn. Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework.
In Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, JISIC 2014, The Hague, The Netherlands, IEEE, 192–99.

2013: H. Yaghoubi Shahir, U. Glässer, N. Nalbamndyan and H. When. Maritime Situation Analysis.
In Proc. IEEE Intl Conf on Intelligence and Security Informatics, Seattle, WA, USA, IEEE Society.

2012: V. Avram, U. Glässer and H. Yaghoubi Shahir. Anomaly Detection in Spatiotemporal Data in the Maritime Domain.
In Proc. 2012 IEEE Int'l Conference on Intelligence and Security Informatics, Washington D.C., IEEE Society, pages 147–149.

2012: A. Khalili-Araghi, B. Fisher, U. Glässer, P. Jackson and H. Yaghoubi Shahir. Intelligent Decision Support for Emergency Responses.
9th Int'l Conference on Information Systems for Crisis Response and Management, Vancouver, April (poster).

2011: R. Farahbod, V. Avram, U. Glässer and A. Guitouni. A Formal Approach to High-Level Design of Situation Analysis Decision Support Systems.
In Shengchao Qin and Zongyan Qiu (eds.), Formal Methods and Software Engineering, LNCS volume 6991, Springer, pages 211–226

2011: R. Farahbod, V. Avram, U. Glässer and A. Guitouni. Engineering Situation Analysis Decision Support Systems.
In Proc. European Intelligence and Security Informatics Conference, Athens, Greece, Sept.

2011: H. Yaghoubi Shahir, U. Glässer, P. Jackson and H. Wehn. Test-Case Generation for Marine Safety and Security Scenarios.
In D. Zeng et al., Proc. 2011 IEEE Intl. Conference on Intelligence and Security Informatics: Cyber-Physical-Social System Security, Beijing, China, IEEE Society, pages 48–53.

2011: P. Jackson, U. Glässer, H. Yaghoubi Shahir and H. Wehn. An Extensible Decision Engine for Marine Safety and Security.
In D. Zeng et al., Proc. 2011 IEEE Intl. Conference on Intelligence and Security Informatics: Cyber-Physical-Social System Security, Beijing, China, IEEE Society, pages 54–59.

2010: U. Glässer, P. Jackson, A. Khalili Araghi, H. Wehn and H. Yaghoubi Shahir. A Collaborative Decision Support Model for Marine Safety and Security Operations.
In M. Hinchey et al. (Eds), Distributed, Parallel and Biologically Inspired Systems. 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, Sept., pages 266–277.

2010: H.H. Tsang, A.J. Park, M. Sun and U. Glässer. GENIUS: A Computational Modeling Framework for Counter-Terrorism Planning and Response.
In Proc. 2010 IEEE Intl. Conference on Intelligence and Security Informatics, BC, Vancouver, Canada, May, pages 71–76

2010: U. Glässer, P. Jackson, A. Khalili Araghi and H. Yaghoubi Shahir. Intelligent Decision Support for Marine Safety and Security Operations.
In Proc. 2010 IEEE Intl. Conference on Intelligence and Security Informatics, BC, Vancouver, Canada, May, pages 101–107

2008: U. Glässer and M. Vajihollahi. Identity Management Architecture.
In Proc. 2008 IEEE Intl. Conference on Intelligence and Security Informatics, Taipei, Taiwan, June, pages 137–144

2008: R. Farahbod, U. Glässer, É. Bossé and A. Guitouni. Integrating Abstract State Machines and Interpreted Systems for Situation Analysis Decision Support Design.
Proc. 11th Intl. Conference on Information Fusion, July, Cologne, Germany

2008: U. Glässer, S. Rastkar and M. Vajihollahi. Modeling and Validation of Aviation Security.
In H. Chen and C.C. Yang (eds.) Intelligence and Security Informatics: Techniques and Applications, Springer, Studies in Computational Intelligence, volume 135, pages 337–355

2006: U. Glässer, S. Rastkar and M. Vajihollahi. Computational Modeling and Experimental Validation of Aviation Security Procedures.
In S. Mehrotra et al. (eds.) Intelligence and Security Informatics, Proc. IEEE Intl. Conference on Intelligence and Security Informatics, volume 3975 of LNCS, Springer, pages 420–431

Specification and Design Languages 2014: N. Nalbandyan, U. Glässer, H. Yaghoubi Shahir, and H. Wehn. 2014. Distributed Situation Analysis: A Formal Semantic Framework.
In Proceedings of the 4th International Conference, Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2014, Toulouse, France, Lecture Notes in Computer Science – LNCS vol. 8477, Springer, pages 158–73.

2012: H. Yaghoubi Shahir, Farahbod and U. Glässer. Refactoring Abstract State Machine Models.
In J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, E. Riccobene (Eds.), Abstract State Machines, Alloy, B, VDM, and Z: Third Int'l Conference, ABZ 2012, Pisa, Italy, LNCS 7316, Springer June 2012, pages 345-348.

2010: R. Farahbod and U. Glässer. The CoreASM Modeling Framework.
Workshop on Tool Building in Formal Methods at 2nd Intl. ASM, B, Alloy and Z Conference, Orford, QC, Feb. 2010

2008: R. Farahbod, U. Glässer, P. Jackson and M. Vajihollahi. High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.
In Proc. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Porto Sani, Greece, Oct.

2007: R. Farahbod, U. Glässer and G. Ma. Model Checking CoreASM Specifications.
Proc. 14th Intl. Workshop on Abstract State Machines, June, Grimstad, Norway

2006: R. Farahbod, V. Gervasi, U. Glässer and M. Memon. Design Exploration and Experimental Validation of Abstract Requirements.
In Proc. of The Twelfth Working Conference on Requirements Engineering: Foundation for Software Quality, Luxembourg.

2005: R. Farahbod, V. Gervasi and U. Glässer. CoreASM: An Extensible ASM Execution Engine.
In D. Beauquier, E. Börger and A. Slissenko (eds.), In Proc. 12th Intl. Workshop on Abstract State Machines, Paris, Mar., pages 153–165

2005: R. Farahbod, U. Glässer and M. Vajihollahi.
An Abstract Machine Architecture for Web Service Based Business Process Management. In Bussler, C. et al (eds.), Business Process Management, Springer

2005: R. Farahbod, U. Glässer and M. Vajihollahi.
An Abstract Machine Architecture for Web Service Based Business Process Management. In Proc. 1st Intl. Workshop on Web Service Choreography and Orchestration for Business Process Management at the Third Intl. Conference on Business Process Management, Nancy, France, Sept.

2005: R. Farahbod, U. Glässer and M. Vajihollahi.
A Formal Semantics for the Business Process Execution Language for Web Services. In S. Bevinakoppa et al., editors, Web Services and Model-Driven Enterprise Information Systems, INSTICC Press, Portugal, 2005, pages 144–155 (Proc. 3rd Intl. Workshop on Web Services: Modeling, Architecture and Infrastructure, Miami, FL, USA, May)

2004: R. Farahbod, U. Glässer and M. Vajihollahi.
Specification and Validation of the Business Process Execution Language for Web Services. In W. Zimmermann and B. Thalheim (eds.), Abstract State Machines 2004: Advances in Theory and Practice, volume 3065 of LNCS, pages 78–94, Springer

Distributed and Mobile Systems 2011: U Glässer.
Information and Communication Technologies for Seniors: A Modeling Approach.
Proc. 20th Annual John K. Friesen Conference: Growing Old in a Changing Climate, May, Vancouver, BC, Canada, page 56

2009: R. Farahbod, U. Glässer and A. Khalili.
A multi-layer network architecture for dynamic resource configuration & management of multiple mobile resources in maritime surveillance. In Proc. SPIE Symposium on Defense, Security + Sensing: Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2009, April, Orlando, FL, USA

2008: R. Farahbod, U. Glässer and H. Wehn.
Dynamic resource management for adaptive distributed information fusion in large volume surveillance. In Proc. SPIE Defense + Security 2008: Information Fusion, Data Mining, and Information Networks Security Related Technologies, Mar., Orlando, FL, USA

2007: R. Farahbod, U. Glässer and H. Wehn.
CanCoastWatch Dynamic Configuration Manager. Proc. 14th Intl. Workshop on Abstract State Machines, June, Grimstad, Norway

2006: R. Farahbod and U. Glässer.
Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In F. Meyer auf der Heide and B. Monien (eds.), New Trends in Parallel and Distributed Computing, Proc. 6th Intl. Heinz Nixdorf Symposium, Paderborn, Germany, Jan., pages 81–95

2005: U. Glässer and A. Prinz.
Geographic Routing in Ad Hoc Networks: SDL View versus ASM View. In A. Prinz, R. Reed, J. Reed (eds.), SDL 2005: Model Driven, Proc. 12th Intl. SDL Forum, Grimstad, Norway, June 2005, volume 3530 of LNCS, pages 159–170, Springer

2004: U. Glässer and M. Vajihollahi.
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines: Bridging the gap between formal and empirical approaches. In Proc. of 18th IFIP World Computer Congress, Kluwer Academic Publishers

2003: A. Benczur, U. Glässer and T. Lukovszki.
Formal Description of a Distributed Location Service for Ad Hoc Mobile Networks. In E. Börger, A. Gargantini, E. Riccobene (eds.): Abstract State Machines 2003 - Advances in Theory and Practice, volume 2589 of LNCS, pages 204–217, Springer

2002: U. Glässer and M. Veanes.
Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines. In B. Kleinjohann, K. H. Kim, L. Kleinjohann, A. Rettberg (eds.): Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), IFIP Conference Proceedings 219, Kluwer Academic Publishers

2002: U. Glässer, Y. Gurevich and M. Veanes.
High-level Executable Specification of the Universal Plug and Play Architecture. In Proc. of 35th Hawaii Intl. Conference on System Sciences, Software Technology Track, Domain-Specific Languages for Software Engineering, IEEE Society


Copyright © 2011–2012 Uwe Glässer, Software Technology Lab, SFU.  All rights reserved.