MacIej Szreter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modularity and openness in modeling multi-agent systems	2021-06-09	Paper
Modularity and openness in modeling multi-agent systems (available as arXiv preprint)	2021-06-09	Paper
Web services composition -- from ontology to plan by query	2015-08-10	Paper
SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework Fundamenta Informaticae	2015-06-26	Paper
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios	2013-01-14	Paper
Runtime monitoring of contract regulated web services	2012-03-22	Paper
Bounded parametric verification for distributed time Petri nets with discrete-time semantics	2011-03-09	Paper
Parametric model checking with VerICS Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
Bounded parametric model checking for elementary net systems Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
Towards checking parametric reachability for UML state machines Perspectives of Systems Informatics	2010-02-02	Paper
Simulation of security protocols based on scenarios of attacks	2009-08-10	Paper
A new approach to model checking of UML state machines	2009-08-10	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
SAT-based unbounded model checking of timed automata	2009-01-28	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
scientific article; zbMATH DE number 5051652 (Why is no real title available?)	2006-09-06	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2064231 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1956587 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1515293 (Why is no real title available?)	2000-10-10	Paper

Research outcomes over time

This page was built for person: MacIej Szreter