|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #71 of 71 (100 per page; Change: )
|
|