Search results for "state-oriented"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Pascal Poizat, Christine Choppy, Jean-Claude Royer	Concurrency and Data Types: A Specification Method: An Example with LOTOS.	WADT	1998	DBLP DOI BibTeX RDF	constraint oriented, state oriented, specification, method, LOTOS, automaton
22	Ilia Bider, Maxim Khomyakov	Is It Possible to Make Workflow Management Systems Flexible? Dynamical Systems Approach to Business Processes.	CRIWG	2000	DBLP DOI BibTeX RDF	dynamical systems approach, WFMS, flow of work, office processes, state flow, state-oriented presentation, flexibility problem, valid state, business processes, workflow management systems, workflow management software, execution control
18	Pär Carlshamre, Björn Regnell	Requirements Lifecycle Management and Release Planning in Market-Driven Requirements Engineering Processes.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	requirements lifecycle management, requirements release planning, state-oriented life cycle models, requirements dependencies, competitiveness, software development management, market-driven requirements engineering
15	Hideki Nomoto	State Oriented Programming.	HASE	2004	DBLP DOI BibTeX RDF
14	Anja Weber	Publishing tools need both: state-oriented and task-oriented version support.	COMPSAC	1991	DBLP DOI BibTeX RDF
13	Nandlal L. Sarda	Extensions to SQL for Historical Databases.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	historical management system, HDBMS, extended relational data model, state-oriented, historical relations, event relations, extended SQL, HSQL, primitive algebra operations, retrospective updates, time-rollback, relational databases, SQL, query language, query languages, temporal information, time domain, real-world objects
12	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
11	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle	Towards Model Checking Stochastic Process Algebra.	IFM	2000	DBLP DOI BibTeX RDF
10	Tommaso Bolognesi	A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages.	ICECCS	2004	DBLP DOI BibTeX RDF
9	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Integration of Formal Datatypes within State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF	formal methods integration, Z, algebraic specifications, B, state diagrams
9	José A. Troyano, Jesús Torres 0001, Miguel Toro	A technique for distributed systems specification.	PDP	1995	DBLP DOI BibTeX RDF	distributed systems specification, object-oriented specification language, dining philosophers problem, formal specification, distributed algorithms, distributed processing, concurrency control, specification languages, distributed programming, object-oriented languages, transition system, algebraic model, algebraic data types, object attributes, transition rules
9	Julian Staiger, Lorenzo Mazzanti, Frank Naets	State-oriented evaluation of observability and sensor placement for mechanical estimation applications.	ICM	2023	DBLP DOI BibTeX RDF
9	Guo-Jun Lai, Yi Liang, Xiao-Wei Wang	Task and State Oriented Optimization of Helicopter Air-to-Ground Communication Network Reconfiguration.	AIIPCC	2022	DBLP DOI BibTeX RDF
9	Lixia Zhu, Zeqiang Zhang, Yi Wang, Ning Cai	On the end-of-life state oriented multi-objective disassembly line balancing problem.	J. Intell. Manuf.	2020	DBLP DOI BibTeX RDF
9	Di Huang, Zelin Zhao, Xiaoxing Ma	Testing for Dynamic Software Update: An Object-State-Oriented Approach.	Internetware	2020	DBLP DOI BibTeX RDF
9	Ilia Bider, Georgios Koutsopoulos	Introducing Goal Patterns for State-Oriented Business Process Modeling.	EDOC Workshops	2018	DBLP DOI BibTeX RDF
9	Liping Zhao 0002, Feng-Xian Yan, Lu Wang, Yiyong Yao	Research On Intelligent Evaluation Method For Machining State Oriented To Process Quality Control.	ICMLC	2018	DBLP DOI BibTeX RDF
9	Georgios Koutsopoulos, Ilia Bider	Teaching and Learning State-Oriented Business Process Modeling. Experience Report.	BPMDS/EMMSAD@CAiSE	2017	DBLP DOI BibTeX RDF
9	Florian Tietze, Hermann Lödding	State-Oriented Productivity Analysis in One-of-a-Kind-Production.	APMS (1)	2013	DBLP DOI BibTeX RDF
9	Jeffrey S. Rosenschein, Gilad Zlotkin	Mechanisms for Automated Negotiation in State Oriented Domains	CoRR	2011	DBLP BibTeX RDF
9	Jyh-Win Huang, Ting-Wei Hou	A controllable and accountable state-oriented Card-Aided Firewall.	Comput. Stand. Interfaces	2009	DBLP DOI BibTeX RDF
9	Ilaria Castellani	State-oriented Noninterference for CCS.	SecCO@CONCUR	2007	DBLP DOI BibTeX RDF
9	Siarhei Smolau, Ronald Beaubrun	State-oriented programming for TinyOS.	SCSC	2007	DBLP BibTeX RDF	embedded system, design pattern, state machine, TinyOS, nesC
9	Alejandro D. Zylberberg, Enrique P. Calot, Jorge Salvador Ierache, Hernán Merlino, Paola Britos, Ramón García-Martínez	Optimizing Lies in State Oriented Domains based on Genetic Algorithms.	JIISIC	2007	DBLP BibTeX RDF
9	Shlomit Bergman, Elan Pavlov, Jeffrey S. Rosenschein	Negotiation in State-Oriented Domains with Incomplete Information over Goals.	ECAI	2004	DBLP BibTeX RDF
9	Yair B. Weinberger, Jeffrey S. Rosenschein	Passive Threats among Agents in State Oriented Domains.	ECAI	2004	DBLP BibTeX RDF
9	Stephan Flake, Wolfgang Müller 0003	Semantics of State-Oriented Expressions in the Object Constraint Language.	SEKE	2003	DBLP BibTeX RDF
9	Stephan Flake	UML-based specification of state oriented real time properties.		2003	RDF
9	Eckhard Freund, Michael Schluse, Jürgen Rossmann	State oriented modeling as enabling technology for projective virtual reality.	IROS	2001	DBLP DOI BibTeX RDF
9	Gilad Zlotkin, Jeffrey S. Rosenschein	Mechanisms for Automated Negotiation in State Oriented Domains.	J. Artif. Intell. Res.	1996	DBLP DOI BibTeX RDF
9	Gilad Zlotkin, Jeffrey S. Rosenschein	Mechanisms for Automated Negotiation in State Oriented Domains	CoRR	1996	DBLP BibTeX RDF
9	David A. Rosenblueth	An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
9	Sandeep Mitra, Leslie C. Lander, Thomas F. Piatkowski	Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada.	WADAS	1992	DBLP DOI BibTeX RDF
9	Antonio Brogi, Franco Turini	Metalogic for State Oriented Programming.	ELP	1992	DBLP DOI BibTeX RDF
8	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.	IPDPS	2003	DBLP DOI BibTeX RDF
8	Stephan Flake, Wolfgang Müller 0003	An OCL Extension for Real-Time Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
7	Vaughan R. Pratt	Event-State Duality: The Enriched Case.	CONCUR	2002	DBLP DOI BibTeX RDF
6	Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	Auxiliary state machines + context-triggered properties in verification.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF
6	Frédéric Peschanski, David Julien	When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.	ZB	2003	DBLP DOI BibTeX RDF
5	Takao Konishi, Naohiro Hamada, Hiroshi Saito	A Control Circuit Synthesis Method for Asynchronous Circuits in Bundled-Data Implementation.	CIT	2007	DBLP DOI BibTeX RDF
5	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
5	Wolfgang Müller 0003, Robbie Schaefer, Steffen Bleul	Interactive Multimodal User Interfaces for Mobile Devices.	HICSS	2004	DBLP DOI BibTeX RDF
5	Stephan Flake, Wolfgang Müller 0003	Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.	SEFM	2004	DBLP DOI BibTeX RDF
5	Carlos A. Heuser, Gernot Richter	Constructs for Modeling Information Systems with Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	side-condition, inhibitor arc, dead transition, information system, conceptual modeling, capacity, multiplicity, high-level Petri net
5	Alexandre Petrenko	Why Automata Models Are Sexy for Testers? (Invited Talk).	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
5	Man-Yun Su, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou	FSM-based transaction-level functional coverage for interface compliance verification.	ASP-DAC	2006	DBLP DOI BibTeX RDF
5	Holger Giese, Ingolf Krüger	A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
5	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse	Test Generation Based on Symbolic Specifications.	FATES	2004	DBLP DOI BibTeX RDF
5	Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf	Specification and Formal Verification of Temporal Properties of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
5	Heike Wehrheim	Data Abstraction Techniques in the Validation of CSP-OZ Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Integrated formal methods, CSP-OZ, Verification, Data abstraction
5	Luís Caires	A Language for the Logical Specification of Processes and Relations.	ALP	1996	DBLP DOI BibTeX RDF
5	Simon Pickin 0001, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot	Process Instances in LOTOS Simulation.	FME	1993	DBLP DOI BibTeX RDF
3	Michael Soden, Hajo Eichler	Temporal Extensions of OCL Revisited.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
3	Ilia Bider, Lena Johansson, Erik Perjons, Alexey Striy	Activation of Knowledge in an Integrated Business Process Support/Knowledge Management System.	PAKM	2006	DBLP DOI BibTeX RDF
3	Birger Andersson, Ilia Bider, Erik Perjons	Business Process Support as a Basis for Computerized Knowledge Management.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
3	Simone Tini	Timed CCP compositionally embeds Argos and Lustre.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
3	Ridha Khédri, Imen Bourguiba	Formal Derivation of Functional Architectural Design.	SEFM	2004	DBLP DOI BibTeX RDF	architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component
3	Benjamin W. Long, Colin J. Fidge, Antonio Cerone	A Z Based Approach to Verifying Security Protocols.	ICFEM	2003	DBLP DOI BibTeX RDF
3	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
3	Jeffrey S. Cox, Edmund H. Durfee	Discovering and exploiting synergy between hierarchical planning agents.	AAMAS	2003	DBLP DOI BibTeX RDF	plan merging, multiagent planning, synergy, coordination of multiple agents
3	Stephan Flake, Wolfgang Müller 0003	A UML Profile for Real-Time Constraints with the OCL.	UML	2002	DBLP DOI BibTeX RDF
3	Simone Tini	An Axiomatic Semantics for the Synchronous Language Gentzen.	FoSSaCS	2001	DBLP DOI BibTeX RDF
3	Heike Wehrheim	Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.	FASE	2000	DBLP DOI BibTeX RDF
3	Klaus-Dieter Schewe, Bernhard Thalheim	Towards a Theory of Consistency Enforcement.	Acta Informatica	1999	DBLP DOI BibTeX RDF
3	Heike Wehrheim	Data Abstraction for CSP-OZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
3	Georg Lausen, Bertram Ludäscher, Wolfgang May	On Active Deductive Databases: The Statelog Approach.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
3	Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti	A Comparison of Modular Verification Techniques.	TAPSOFT	1997	DBLP DOI BibTeX RDF
3	Antti Valmari	Compositional Analysis with Place-Bordered Subnets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
3	Wolf-Dieter Tiedemann	Bus Protocol Conversion: from Timing Diagrams to State Machines.	EUROCAST	1991	DBLP DOI BibTeX RDF
3	Rolf Hennicker	Observational Implementations.	STACS	1989	DBLP DOI BibTeX RDF
3	Ingbert Kupka	Van Wijngaarden Grammars as a Special Information Processing Model.	MFCS	1980	DBLP DOI BibTeX RDF