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
Academic Degrees

Habil. (Habilitation) 1999, Ph.D. (Dr.rer.nat.) 1992, M.Sc. (Diploma) 1987 respectively in Computer Science from the Dept. of Mathematics and Computer Science, University of Paderborn, Germany

 

Events

IEEE APSCC 2009: IEEE Asia-Pacific Services Computing Conference, Biopolis, Singapore, Dec. 2009
ABZ 2010, Orford, Québec, Canada, Feb. 2010
IEEE ISI 2010, IEEE International Conference on Intelligence and Security Informatics, 23-26 May 2010, Vancouver, BC, Canada
ASONAM 2010: The 2010 International Conference on Advances in Social Networks Analysis and Mining, 9-11 August, 2010, Odense, Denmark
DIPES 2010: 7th IFIP Conference on Distributed and Parallel Embedded Systems, Brisbane, Australia, Sept. 2010

Research Interests

My research concentrates on applied computer science, spanning three fields: formal aspects of software technology, industrial applications of formal methods, and software technology for intelligent systems. I study applications of computational logic and discrete mathematics for computational and mathematical modeling of complex distributed and mobile systems, semantic foundations of industrial system design languages, and experimental validation of executable specifications. Applications include distributed communication and control architectures, Web service architectures and mobile networks. Beyond classical design problems, I also study novel applications: business process management, decentralized information fusion, computer models of crime and computational methods for public safety and security systems.

Favorite Paradigm

Abstract State Machines: An abstract mathematical framework for semantic modeling of discrete dynamic systems

Institutes and Labs

Software Technology Lab, ICURS, The IRMACS Centre, Network Modeling Lab, ASM Research Center

Selected Publications

Business Process Management
  • 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, 2007

  • 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-Verlag, 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 2005)

  • 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-Verlag, 2004
Computational Criminology
  • P. L. Brantingham, U. Glässer, P. Jacksony and M. Vajihollahi. Modeling Criminal Activity in Urban Landscapes. In N. Memon, J. D. Farley, D. L. Hicks, T. Rosenoørn (eds.), Mathematical Methods in Counterterrorism, Springer, 2009, pages 9-31

  • 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, 2008, pages 39-50

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

  • 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, 2008

  • 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. 2005, pages 101–117

  • 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, pages 18–19, Feb. 2005

Public Safety and Security
  • U. Glässer and M. Vajihollahi. Identity Management Architecture. In C.C. Yang, M. Chau, J.-H. Wang and H. Chen (eds.), Security Informatics, Annals of Information Systems, Springer, in print.

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

  • 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-Verlag, Studies in Computational Intelligence, volume 135, pages 337-355, 2008

  • 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, pages 420–431, Springer-Verlag, 2006

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

  • R. Farahbod, V. Gervasi, U. Glässer and G. Ma. CoreASM Plug-in Architecture. To appear in J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis, Springer LNCS volume 5115

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

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

  • 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 (REFSQ'06), Luxembourg, June 2006

  • 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. 2005, pages 153–165

Distributed, Embedded and Mobile Systems
  • 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 2009, Orlando, FL, USA

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

  • 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. 2008, Orlando, FL, USA

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

  • 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. 2006, pages 81–95

  • 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, pages 285–309, Elsevier, May 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-Verlag, 2005

  • 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, 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, July 2004

  • 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-Verlag, 2003

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

  • 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, 7 (11): 1025-1050, Springer Pub. Co., Nov. 2001
Copyright. © 2009 Uwe Glässer, Software Technology Lab, SFU.  All rights reserved.