The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase state-oriented (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1996 (15) 1997-2002 (15) 2003-2004 (19) 2005-2013 (15) 2017-2023 (7)
Publication types (Num. hits)
article(13) incollection(1) inproceedings(56) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 69 occurrences of 69 keywords

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