Vladimír Janousek

According to our database, Vladimír Janousek authored at least 26 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Data-Driven Maritime Processes Management Using Executable Models.

Tomás Richta, Hao Wang, Ottar L. Osen, Arne Styve, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

Model Transformations via XSLT.

Jakub Pavlat, Karel Richta, Tomas Richta, Vladimír Janousek

Proceedings of the Dateso 2017 Annual International Workshop on DAtabases, 2017

2015

Dynamic Software Architecture for Distributed Embedded Control Systems.

Tomas Richta, Vladimír Janousek, Radek Kocí

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

Petri Net Simulation as a Service.

Petr Polasek, Vladimír Janousek, Milan Ceska

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Operating System for Petri Nets-Specified Reconfigurable Embedded Systems.

Tomas Richta, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems.

Tomas Richta, Vladimír Janousek, Radek Kocí

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study.

Radek Kocí, Vladimír Janousek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010

OOPN and DEVS Formalisms for System Specification and Analysis.

Radek Kocí, Vladimír Janousek

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009

Framework for model-based design of multi-agent systems.

Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal

Int. J. Auton. Comput., 2009

Modelling intelligent agents for autonomic computing in the PNagent framework.

Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.

Int. J. Auton. Comput., 2009

Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects.

Vladimír Janousek, Elod Kironsky

Int. J. Auton. Comput., 2009

Towards Simulation-Based Design of the Software Systems.

Radek Kocí, Vladimír Janousek

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Simulation Based Design of Control Systems Using DEVS and Petri Nets.

Radek Kocí, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory, 2009

Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering.

Vladimír Janousek, Sárka Kvetonová

Proceedings of the Computer Aided Systems Theory, 2009

Model-Based Design and Verification of Reactive Systems.

Jirí Hýsek, Milan Ceska, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory, 2009

2008

Reactive Planning with Weak Plan Instances.

Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets.

Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

System Design with Object Oriented Petri Nets Formalism.

Radek Kocí, Vladimír Janousek

Proceedings of the Third International Conference on Software Engineering Advances, 2008

T-Mass v.2, State of the Art.

Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal

Proceedings of the EMS 2008, 2008

Object Oriented Petri Nets - Modelling Techniques Case Study.

Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.

Proceedings of the EMS 2008, 2008

2007

Modeling Deliberative Agents Using Object Oriented Petri Nets.

Radek Kocí, Zdenek Mazal, Frantisek Zboril, Vladimír Janousek

Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007

2001

Generating and using state spaces of object-oriented Petri nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Comput. Syst. Sci. Eng., 2001

Analysis and Verification Queries over Object-Oriented Petri Nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2001

1999

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

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

1998

Object-oriented Petri nets, their simulation, and analysis.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 1997