Vladimír Janousek

26 papers B 1C 4Journal 4Unranked 17

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Data-Driven Maritime Processes Management Using Executable Models. EUROCAST (2) Tomás Richta, Hao Wang, Ottar L. Osen, Arne Styve, Vladimír Janousek
2017	—	`conf`	Model Transformations via XSLT. DATESO Jakub Pavlat, Karel Richta, Tomas Richta, Vladimír Janousek
2015	—	`conf`	Dynamic Software Architecture for Distributed Embedded Control Systems. PNSE @ Petri Nets Tomas Richta, Vladimír Janousek, Radek Kocí
2014	—	`conf`	Petri Net Simulation as a Service. PNSE @ Petri Nets Petr Polasek, Vladimír Janousek, Milan Ceska
2013	—	`conf`	Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. EUROCAST (1) Tomas Richta, Vladimír Janousek
2013	—	`conf`	Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. PNSE+ModPE Tomas Richta, Vladimír Janousek, Radek Kocí
2012	—	`conf`	Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. PNSE Radek Kocí, Vladimír Janousek
2010	C	`conf`	OOPN and DEVS Formalisms for System Specification and Analysis. ICSEA Radek Kocí, Vladimír Janousek
2009	J	`jnl`	Framework for model-based design of multi-agent systems. Int. J. Auton. Comput. Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal
2009	J	`jnl`	Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects. Int. J. Auton. Comput. Vladimír Janousek, Elod Kironsky
2009	—	`conf`	Model-Based Design and Verification of Reactive Systems. EUROCAST Jirí Hýsek, Milan Ceska, Vladimír Janousek
2009	J	`jnl`	Modelling intelligent agents for autonomic computing in the PNagent framework. Int. J. Auton. Comput. Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
2009	—	`conf`	Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering. EUROCAST Vladimír Janousek, Sárka Kvetonová
2009	—	`conf`	Simulation Based Design of Control Systems Using DEVS and Petri Nets. EUROCAST Radek Kocí, Vladimír Janousek
2009	C	`conf`	Towards Simulation-Based Design of the Software Systems. ICSEA Radek Kocí, Vladimír Janousek
2008	—	`conf`	Object Oriented Petri Nets - Modelling Techniques Case Study. EMS Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
2008	—	`conf`	PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets. ISDA (2) Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril
2008	—	`conf`	Reactive Planning with Weak Plan Instances. ISDA (1) Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal
2008	C	`conf`	System Design with Object Oriented Petri Nets Formalism. ICSEA Radek Kocí, Vladimír Janousek
2008	—	`conf`	T-Mass v.2, State of the Art. EMS Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal
2007	C	`conf`	Modeling Deliberative Agents Using Object Oriented Petri Nets. ISDA Radek Kocí, Zdenek Mazal, Frantisek Zboril, Vladimír Janousek
2001	—	`conf`	Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST Milan Ceska, Vladimír Janousek, Tomás Vojnar
2001	J	`jnl`	Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. Milan Ceska, Vladimír Janousek, Tomás Vojnar
1999	—	`conf`	Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST Milan Ceska, Vladimír Janousek, Tomás Vojnar
1998	B	`conf`	Object-oriented Petri nets, their simulation, and analysis. SMC Milan Ceska, Vladimír Janousek, Tomás Vojnar
1997	—	`conf`	PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST Milan Ceska, Vladimír Janousek, Tomás Vojnar