Search results for "action systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Reino Kurki-Suonio	Action systems in incremental and aspect-oriented modeling.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Incremental modeling, Formal specification, Aspects, Action systems, Superposition, TLA
3	Juha Plosila, Kaisa Sere	Action Systems in Pipelined Processor Design.	ASYNC	1997	DBLP DOI BibTeX RDF	pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
3	Jane Sinclair	Action Systems for Security Specification.	CSFW	1996	DBLP DOI BibTeX RDF	security development, formal methods, noninterference, Action systems
2	Bernhard K. Aichernig, Harald Brandl, Willibald Krenn	Qualitative Action Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
2	Graeme Smith, Kirsten Winter	Model checking action system refinements.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
2	Larissa Meinicke, Ian J. Hayes	Algebraic reasoning for probabilistic action systems and while-loops.	Acta Inf.	2008	DBLP DOI BibTeX RDF
2	Larissa Meinicke, Graeme Smith	A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.	IFM	2007	DBLP DOI BibTeX RDF	reliability, real-time, probability, refinement, action systems
2	Tiberiu Seceleanu, Axel Jantsch	Communicating with Synchronized Environments.	ACSD	2006	DBLP DOI BibTeX RDF	synchronized / interleaved communication, System modeling, action systems
2	Tomi Westerlund, Juha Plosila	Time Aware Modelling and Analysis of Multiclocked VLSI Systems.	ICFEM	2006	DBLP DOI BibTeX RDF	Timed Action Systems, formal methods, time, GALS
2	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
2	Stefan Hallerstede, Michael J. Butler	Performance analysis of probabilistic action systems.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Trace refinement, Simulation, Markov decision process
2	Cristina Cerschi Seceleanu, Tiberiu Seceleanu	Modular Design of Reactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concurrency, Reactive systems, Modular design, Action systems
2	Tiberiu Seceleanu, Juha Plosila	Constituent Elements of a Correctness-Preserving UML Design Approach.	IFM	2004	DBLP DOI BibTeX RDF	UML, refinement, Action Systems
2	Ralph-Johan Back, Joakim von Wright	Compositional Action System Refinement.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Rely/guarantee, Refinement, Compositionality, Action systems
2	Dirk Janssens	Local Action Systems and DPO Graph Transformation.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
2	Michael J. Butler	On the Use of Data Refinement in the Development of Secure Communications Systems.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Refinement, Security protocols, CSP, B, Action systems
2	Juha Plosila, Tiberiu Seceleanu	Design of Synchronous Action Systems.	VLSI Design	2000	DBLP DOI BibTeX RDF
2	Ralph-Johan Back, Luigia Petre, Ivan Porres	Generalizing Action Systems to Hybrid Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
2	Kaisa Sere, Marina A. Waldén	Data Refinement of Remote Procedures.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Remote procedures, Atomicity refinement, Action systems
2	Ralph-Johan Back, Qiwen Xu	Refinement of Fair Action Systems.	Acta Inf.	1998	DBLP DOI BibTeX RDF
2	Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere	An Approach to Object-Orientation in Action Systems.	MPC	1998	DBLP BibTeX RDF
2	Mauno Rönkkö, Anders P. Ravn	Action Systems with Continuous Behaviour.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
2	Axel Wabenhorst, John Potter	Modelling Multi-Threading in Java.	TOOLS	1997	DBLP DOI BibTeX RDF	Java, formal methods, refinement, objects, deadlock, multi-threading, action systems
2	V. Kasurinen, Kaisa Sere	Integrating Action Systems and Z in a Medical System Specification.	FME	1996	DBLP DOI BibTeX RDF
2	Marina A. Waldén, Kaisa Sere	Refining Action Systems within B-Tool.	FME	1996	DBLP DOI BibTeX RDF
2	Ralph-Johan Back, Joakim von Wright	Trace Refinement of Action Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
2	Ralph-Johan Back, Kaisa Sere	From Action Systems to Modular Systems.	FME	1994	DBLP DOI BibTeX RDF
2	Michael J. Butler	Refinement and Decomposition of Value-Passing Action Systems.	CONCUR	1993	DBLP DOI BibTeX RDF
2	Wil Janssen, Mannes Poel, Job Zwiers	Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.	CONCUR	1991	DBLP DOI BibTeX RDF
2	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
2	Ralph-Johan Back, Reino Kurki-Suonio	Distributed Cooperation with Action Systems.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
1	Kim Solin	Normal forms in total correctness for while programs and action systems.	J. Log. Algebr. Program.	2011	DBLP DOI BibTeX RDF
1	Justus H. Piater, Sébastien Jodogne, Renaud Detry, Dirk Kraft, Norbert Krüger, Oliver Kroemer, Jan Peters	Learning visual representations for perception-action systems.	I. J. Robotic Res.	2011	DBLP DOI BibTeX RDF
1	Peter A. Cariani	The Semiotics of Cybernetic Percept-Action Systems.	IJSSS	2011	DBLP BibTeX RDF
1	Gheorghe Craciun, Martin Feinberg	Multiple Equilibria in Complex Chemical Reaction Networks: Semiopen Mass Action Systems.	SIAM Journal of Applied Mathematics	2010	DBLP DOI BibTeX RDF
1	Maija Marttila-Kontio, Mauno Rönkkö, Pekka Toivanen	Visual data flow languages with action systems.	IMCSIT	2009	DBLP DOI BibTeX RDF
1	Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig	Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems.	FMCO	2009	DBLP DOI BibTeX RDF
1	Marta Plaska, Marina A. Waldén, Colin F. Snook	Documenting the Progress of the System Development.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development
1	Judd Antin	Motivated by information: information about online collective action as an incentive for participation.	GROUP	2009	DBLP DOI BibTeX RDF	operational knowledge, motivation, economics, incentives, competence, social psychology, social dilemmas, public goods, collective action
1	Sylvie C. W. Ong, David Hsu, Wee Sun Lee, Hanna Kurniawati	Partially Observable Markov Decision Process (POMDP) Technologies for Sign Language Based Human-Computer Interaction.	HCI	2009	DBLP DOI BibTeX RDF	human-computer interaction, Sign language recognition, planning under uncertainty
1	Munina Yusufu, Gulina Yusufu	Comparison of Software Specification Methods Using a Case Study.	CSSE	2008	DBLP DOI BibTeX RDF
1	Jules Desharnais, Georg Struth	Domain Axioms for a Family of Near-Semirings.	AMAST	2008	DBLP DOI BibTeX RDF
1	Ulrich Frank	Integration - Reflections on a Pivotal Concept for Designing and Evaluating Information Systems.	UNISCON	2008	DBLP DOI BibTeX RDF	IT business alignment, semantics, integration, redundancy, reusability, Coupling
1	Larissa Meinicke, Kim Solin	Reactive Probabilistic Programs and Refinement Algebra.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Maria Isabel Gonzalez Vasco, Jorge Luis Villar	In search of mathematical primitives for deriving universal projective hash families.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Projective hash families, Provable security, Public key encryption
1	E. Emanuel Almeida, Jonathan E. Luntz, Dawn M. Tilbury	Event-Condition-Action Systems for Reconfigurable Logic Control.	IEEE T. Automation Science and Engineering	2007	DBLP DOI BibTeX RDF
1	Poramate Manoonpong	Neural preprocessing and control of reactive walking machines - towards versatile artificial perception-action systems.		2007	DBLP DOI BibTeX RDF
1	Fredrik Degerlund, Marina A. Waldén, Kaisa Sere	Implementation Issues Concerning the Action Systems Formalism.	PDCAT	2007	DBLP DOI BibTeX RDF
1	Fredrik Degerlund, Kaisa Sere	A Framework for Incorporating Trust into Formal Systems Development.	ICTAC	2007	DBLP DOI BibTeX RDF
1	Neil Evans, Michael J. Butler	A Proposal for Records in Event-B.	FM	2006	DBLP DOI BibTeX RDF
1	Larissa Meinicke, Ian J. Hayes	Reasoning Algebraically About Probabilistic Loops.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Larissa Meinicke, Ian J. Hayes	Continuous Action System Refinement.	MPC	2006	DBLP DOI BibTeX RDF
1	Kim Solin, Joakim von Wright	Refinement Algebra with Operators for Enabledness and Termination.	MPC	2006	DBLP DOI BibTeX RDF
1	Kim Solin	On Two Dually Nondeterministic Refinement Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	Karin Gatermann, Markus Eiswirth, Anke Sensse	Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems.	J. Symb. Comput.	2005	DBLP DOI BibTeX RDF
1	Wayne D. Gray, Michael J. Schoelles, Christopher W. Myers	Profile before optimizing: a cognitive metrics approach to workload analysis.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	intelligence analysts, cognitive modeling, cognitive architectures, embodied cognition, interactive behavior
1	Tiberiu Seceleanu, David Garlan	Synchronized Architectures for Adaptive Systems.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu	Formal Development of Real-Time Priority-Based Schedulers.	ECBS	2005	DBLP DOI BibTeX RDF
1	Christophe Sibertin-Blanc, Frédéric Amblard, Matthias Mailliard	A Coordination Framework Based on the Sociology of Organized Action.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
1	Juha Plosila, Pasi Liljeberg, Jouni Isoaho	Modelling and Refinement of an On-Chip Communication Architecture.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Tomi Westerlund, Juha Plosila	Formal Specification of a Protocol Processor.	SAMOS	2005	DBLP DOI BibTeX RDF
1	Pontus Boström, Marina A. Waldén	Implementation of Control Systems Using B Action Systems: A Case Study.	Nord. J. Comput.	2004	DBLP BibTeX RDF
1	Juho Mäkiö, Ilka Weber, Christof Weinhardt	Electronic Negotiations - A Generic Approach with Action Systems.	EC-Web	2004	DBLP DOI BibTeX RDF
1	Tiberiu Seceleanu, Tomi Westerlund	Aspects of Formal and Graphical Design of a Bus System.	DATE	2004	DBLP DOI BibTeX RDF
1	Lu Yan, Kaisa Sere	A Formalism for Context-Aware Mobile Computing.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
1	Carroll Morgan	Of Probabilistic Wp and SP-and Compositionality.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Lu Yan	Via Firewalls.	GCC Workshops	2004	DBLP DOI BibTeX RDF
1	Mauno Rönkkö, Anders P. Ravn, Kaisa Sere	Hybrid action systems.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Jussi Nykänen, Harri Klapuri, Jarmo Takala	Mapping Action Systems to Hardware Descriptions.	PDPTA	2003	DBLP BibTeX RDF
1	Jean-Raymond Abrial	Event Based Sequential Program Development: Application to Constructing a Pointer Program.	FME	2003	DBLP DOI BibTeX RDF
1	Axel Wabenhorst	Stepwise development of fair distributed systems.	Acta Inf.	2003	DBLP DOI BibTeX RDF
1	Nico Verlinden, Dirk Janssens	Algebraic Properties Of Processes for Local Action Systems.	Mathematical Structures in Computer Science	2002	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm	Symbolic Simulation of Hybrid Systems.	APSEC	2002	DBLP DOI BibTeX RDF
1	Juha Plosila, Kaisa Sere, Marina A. Waldén	Design with Asynchronously Communicating Components.	FMCO	2002	DBLP DOI BibTeX RDF
1	Emil Sekerinski	Concurrent Object-Oriented Programs: From Specification to Code.	FMCO	2002	DBLP DOI BibTeX RDF
1	Juha Plosila, Tiberiu Seceleanu	Specification of an Asynchronous On-chip Bus.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Jim Woodcock, Arthur P. Hughes	Unifying Theories of Parallel Programming.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Nico Verlinden, Dirk Janssens	Modeling Petri Nets by Local Action Systems.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Mauno Rönkkö, Xuandong Li	Linear Hybrid Action Systems.	Nord. J. Comput.	2001	DBLP BibTeX RDF
1	Ralph-Johan Back, Luigia Petre, Ivan Porres	Continuous Action Systems as a Model for Hybrid Systems.	Nord. J. Comput.	2001	DBLP BibTeX RDF
1	Eduardo Bayro-Corrochano	Geometric computing for perception action systems - concepts, algorithms, and scientific applications.		2001	RDF
1	Tiberiu Seceleanu, Juha Plosila	Formal Pipeline Design.	CHARME	2001	DBLP DOI BibTeX RDF
1	Les Gasser	Perspectives on Organizations in Multi-agent Systems.	EASSS	2001	DBLP BibTeX RDF
1	Joy N. Reed, Jane Sinclair	Combining Independent Specifications.	FASE	2001	DBLP DOI BibTeX RDF
1	Eric J. Hedman, Joost N. Kok, Kaisa Sere	Coordinating action systems.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Leslie Lamport	Fairness and hyperfairness.	Distributed Computing	2000	DBLP DOI BibTeX RDF
1	Daniel Hernández-Sosa, Javier Lorenzo-Navarro, Mario Hernández-Tejera, Jorge Cabrera-Gámez, Antonio Falcón-Martel, J. Méndez Rodríguez	A Generic Model for Perception-Action Systems. Analysis of a Knowledge-Based Prototype.	ICVS	1999	DBLP BibTeX RDF
1	Luigia Petre, Kaisa Sere	Coordination Among Mobile Objects.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Kaisa Sere, Elena Troubitsyna	Safety Analysis in Formal Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Mauno Rönkkö, Kaisa Sere	Refinement and Continuous Behaviour.	HSCC	1999	DBLP DOI BibTeX RDF
1	Kaisa Sere, Elena Troubitsyna	Hazard Analysis in Formal Specification.	SAFECOMP	1999	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Joakim von Wright	Reasoning Algebraically about Loops.	Acta Inf.	1999	DBLP DOI BibTeX RDF
1	Michael Schenke	Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.	Acta Inf.	1999	DBLP DOI BibTeX RDF
1	Michael Schenke, Ernst-Rüdiger Olderog	Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.	Acta Inf.	1999	DBLP DOI BibTeX RDF
1	Marina A. Waldén, Kaisa Sere	Reasoning about Action Systems using the B-Method.	Formal Methods in System Design	1998	DBLP DOI BibTeX RDF
1	Nico Verlinden, Dirk Janssens	A Framework for NLC and ESM: Local Action Systems.	TAGT	1998	DBLP DOI BibTeX RDF
1	Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore	Abstract State Machines: Designing Distributed Systems with State Machines and B.	B	1998	DBLP DOI BibTeX RDF
1	Tyrone O'Neill, Norman Y. Foo	Reasoning about Continuous Change.	PRICAI	1998	DBLP DOI BibTeX RDF
1	Jane Sinclair	Action Systems for Security Specification.	Journal of Computer Security	1997	DBLP BibTeX RDF
1	Ugo Montanari, Gioia Ristori	A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.	Fundam. Inform.	1997	DBLP DOI BibTeX RDF