Uwe Glässer

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, 1918

Academic Degrees

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

Events

PAISI 2012: Pacific Asia Workshop on Intelligence and Security Informatics, Kuala Lumpur, Malaysia, May 2012
ABZ 2012: Intl. Conference on Abstract State Machines, Alloy, B and Z, Pisa, Italy, June 2012
ASONAM 2012: 2012 Intl. Conference on Advances in Social Networks Analysis and Mining, Istanbul, Turkey, Aug. 2012
CSOSN 2012: 1st International Workshop on Cybersecurity of Online Social Networks, Istanbul, Turkey, Aug. 2012
EISIC 2012: European Intelligence and Security Conference, Odense, Denmark, Aug. 2012
ANT 2012: 3^rd Intl. Conference on Ambient Systems, Networks and Technologies, Niagara Falls, ON, Canada, Aug. 2012

Research

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

Teaching

CMPT 475 – Software Engineering II (Spring 2011)

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 R. Farahbod, V. Gervasi and U. Glässer. An Extensible Toolset for Design and Validation of Abstract State Machine Models.
Science of Computer Programming, Elsevier (accepted).

H. Yaghoubi Shahir, U. Glässer, R . Farahbod, P. Jackson, and H. When. Generating Test-Cases for Marine Safety and Security Scenarios: A Composition Framework.
Security Informatics Journal, Springer (in print).

P. Jackson, U. Glässer, H. Yaghoubi Shahir, and H. When. High-Level Architecture and Design of a Decision Engine for Marine Safety and Security.
In Ch. Yang (ed.), Intelligence and Security Informatics, Integrated Series of Intelligent Systems, Springer (in print).

2011: M. Frappier, U. Glässer, S. Khurshid, R. Laleau, S. Reeves (Eds.).
Science of Computer Programming, Selected papers from ABZ 2010, Elsevier, March

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 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, October 2011.

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. 14^th 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. 12^th Intl. Workshop on Abstract State Machines, Paris, Mar., pages 101–117

Security Informatics 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 (Proc. 13th Intl. Conference on Formal Engineering Methods, Durham, UK, Oct. 2011), 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 (ISBN: 978-1-4577-0083-5).

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 (ISBN: 978-1-4577-0083-5).

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. 11^th 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 Tools 2010: R. Farahbod and U. Glässer.
The CoreASM Modeling Framework. Workshop on Tool Building in Formal Methods at 2^nd 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. 3^rd 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. 14^th 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, June 2006

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. 12^th Intl. Workshop on Abstract State Machines, Paris, Mar., pages 153–165

Distributed and Mobile Systems 2011: U Glässer.
Information and Communication Technologies for Seniors: A Modeling Approach.
Proc. 20^th 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. 14^th 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. 6^th 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. 12^th 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 18^th 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 17^th 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 35^th Hawaii Intl. Conference on System Sciences, Software Technology Track, Domain-Specific Languages for Software Engineering, IEEE Society

System Design Languages 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. 1^st 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. 3^rd 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