Uwe Glässer

Tilemachos Charalampous

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020

Dynamic Attack Scoring Using Distributed Local Detectors.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Fishing Vessels Activity Detection from Longitudinal AIS Data.

[BibT_eX]

[DOI]

Proceedings of the SIGSPATIAL '20: 28th International Conference on Advances in Geographic Information Systems, 2020

2019

Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms.

[BibT_eX]

[DOI]

CoRR, 2019

Mining Vessel Trajectories for Illegal Fishing Detection.

[BibT_eX]

[DOI]

Tilemachos Charalampous

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018

Spatial Patterns of Offender Groups.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Intelligence and Security Informatics, 2018

2017

SINAS: Suspect Investigation Using Offenders' Activity Space.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2017

Deep Learning Based Forecasting of Critical Infrastructure Data.

[BibT_eX]

[DOI]

Mehdi Shirmaleki

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

2016

Social Network Analysis in Predictive Policing - Concepts, Models and Methods

[BibT_eX]

[DOI]

Lecture Notes in Social Networks, Springer, ISBN: 978-3-319-41492-8, 2016

Formal engineering frameworks in maritime domain awareness.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Hidden Markov based anomaly detection for water supply systems.

[BibT_eX]

[DOI]

Robert Costanzo

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

An Analytic Framework for Maritime Situation Analysis.

[BibT_eX]

[DOI]

CoRR, 2015

Learning where to inspect: Location learning for crime prediction.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Intelligence and Security Informatics, 2015

Maritime situation analysis framework: Vessel interaction classification and anomaly detection.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

Contextual verification for false alarm reduction in maritime anomaly detection.

[BibT_eX]

[DOI]

Andrew Westwell-Roper

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014

Executable formal specifications of complex distributed systems with CoreASM.

[BibT_eX]

[DOI]

Vincenzo Gervasi

Sci. Comput. Program., 2014

Spatially embedded co-offence prediction using supervised learning.

[BibT_eX]

[DOI]

Martin Ester

Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework.

[BibT_eX]

[DOI]

Narek Nalbandyan

Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014

CRIMETRACER: Activity space based crime location prediction.

[BibT_eX]

[DOI]

Martin Ester

Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

Distributed Situation Analysis - A Formal Semantic Framework.

[BibT_eX]

[DOI]

Narek Nalbandyan

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Maritime situation analysis.

[BibT_eX]

[DOI]

Narek Nalbandyan

Proceedings of the 2013 IEEE International Conference on Intelligence and Security Informatics, 2013

2012

Generating test cases for marine safety and security scenarios: a composition framework.

[BibT_eX]

[DOI]

Secur. Informatics, 2012

An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligence.

[BibT_eX]

[DOI]

Secur. Informatics, 2012

Anomaly detection in spatiotemporal data in the maritime domain.

[BibT_eX]

[DOI]

Vladimir Avram

Proceedings of the 2012 IEEE International Conference on Intelligence and Security Informatics, 2012

Intelligent decision support for emergency responses.

[BibT_eX]

[DOI]

Ali Khalili Araghi

Brian D. Fisher

Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

Understanding the link between social and spatial distance in the crime world.

[BibT_eX]

[DOI]

Richard Frank

Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

Investigating Organized Crime Groups: A Social Network Analysis Perspective.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

Refactoring Abstract State Machine Models.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Co-offending Network Mining.

[BibT_eX]

[DOI]

Proceedings of the Counterterrorism and Open Source Intelligence, 2011

The CoreASM modeling framework.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

CrimeWalker: a recommendation model for suspect investigation.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Conference on Recommender Systems, 2011

Test-case generation for marine safety and security scenarios.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, 2011

An extensible decision engine for Marine Safety and Security.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, 2011

A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Engineering Situation Analysis Decision Support Systems.

[BibT_eX]

[DOI]

Proceedings of the European Intelligence and Security Informatics Conference, 2011

Organized Crime Structures in Co-offending Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Locating Central Actors in Co-offending Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2011

2010

Identity Management Architecture.

[BibT_eX]

[DOI]

Proceedings of the Security Informatics, 2010

GENIUS: A computational modeling framework for counter-terrorism planning and response.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2010

Intelligent decision support for Marine safety and Security Operations.

[BibT_eX]

[DOI]

Ali Khalili Araghi

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2010

A Collaborative Decision Support Model for Marine Safety and Security Operations.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

CoreASM Plug-In Architecture.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Modeling and Validation of Aviation Security.

[BibT_eX]

[DOI]

Sarah Rastkar

Proceedings of the Intelligence and Security Informatics, Techniques and Applications, 2008

High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

Identity management architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2008

Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Fusion, 2008

Computational Modeling of Criminal Activity.

[BibT_eX]

[DOI]

Proceedings of the Intelligence and Security Informatics, 2008

Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

CoreASM: An Extensible ASM Execution Engine.

[BibT_eX]

[DOI]

Vincenzo Gervasi

Fundam. Informaticae, 2007

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.

[BibT_eX]

[DOI]

Jean-Raymond Abrial

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

06191 Summary -- Rigorous Methods for Software Construction and Analysis.

[BibT_eX]

[DOI]

Jean-Raymond Abrial

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

2006

An abstract machine architecture for web service based business process management.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2006

Computational Modeling and Experimental Validation of Aviation Security Procedures.

[BibT_eX]

[DOI]

Sarah Rastkar

Proceedings of the Intelligence and Security Informatics, 2006

2005

Formal description and analysis of a distributed location service for mobile ad hoc networks.

[BibT_eX]

[DOI]

Qian-Ping Gu

Theor. Comput. Sci., 2005

A Formal Semantics for the Business Process Execution Language for Web Services.

[BibT_eX]

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

A computational model for simulating spatial aspects of crime in urban environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Andreas Prinz

Proceedings of the SDL 2005: Model Driven, 2005

Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Abstract Communication Model for Distributed Systems.

[BibT_eX]

[DOI]

Yuri Gurevich

Margus Veanes

IEEE Trans. Software Eng., 2004

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Specification and Validation of the Business Process Execution Language for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

The formal semantics of SDL-2000: Status and perspectives.

[BibT_eX]

[DOI]

Reinhard Gotzhein

Andreas Prinz

Comput. Networks, 2003

Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

András A. Benczúr

Tamás Lukovszki

Proceedings of the Abstract State Machines, 2003

2002

Universal Plug and Play Machine Models.

[BibT_eX]

Margus Veanes

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

High-Level Executable Specification of the Universal Plug and Play Architecture.

[BibT_eX]

[DOI]

Yuri Gurevich

Margus Veanes

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.

[BibT_eX]

[DOI]

Egon Börger

J. Univers. Comput. Sci., 2001

2000

On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2000

1999

Towards a new formal SDL semantics - outline of an abstract state machines.

[BibT_eX]

Reinhard Gotzhein

Andreas Prinz

Proceedings of the SDL '99 The Next Millennium, 1999

Computer-Aided Analysis and Validation of Heterogeneous System Specifications.

[BibT_eX]

[DOI]

Giuseppe Del Castillo

Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998

Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.

[BibT_eX]

Wolfram Hardt

Peter Altenbernd

Carsten Böke

Giuseppe Del Castillo

Proceedings of the Distributed and Parallel Embedded Systems, 1998

Workshop: Abstract State Machines.

[BibT_eX]

[DOI]

Peter H. Schmitt

Proceedings of the Informatik '98, 1998

1997

Abstract State Machine Semantics of SDL.

[BibT_eX]

[DOI]

Rene Karges

J. Univers. Comput. Sci., 1997

Modelling of Concurrent and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 1997

1995

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Applications, 1995

An Evolving Algebra Abstract Machine.

[BibT_eX]

[DOI]

Giuseppe Del Castillo

Igor Durdanovic

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

A Formal Specification of the PVM Architecture.

[BibT_eX]

Egon Börger

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

The semantics of behavioral VHDL '93 descriptions.

[BibT_eX]

[DOI]

Wolfgang Müller

Egon Börger

Proceedings of the Proceedings EURO-DAC'94, 1994

1993

A distributed implementation of flat concurrent prolog on message passing multiprocessor systems.

[BibT_eX]

[DOI]