Search results for "behaviour"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Christine Bailey, Michael Katchabaw	An emergent framework for realistic psychosocial behaviour in non player characters.	Future Play	2008	DBLP DOI BibTeX RDF	emergent gameplay, non player character behaviour, psychosocial behaviour, realistic behaviour, stimulus-response systems
52	Carl I. Birkinshaw, Peter R. Croll	Modelling the client-server behaviour of parallel real-time systems using Petri nets.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client-server behaviour modelling, parallel real-time systems, communication behaviour, potential livelock, client-server behaviour graph, real-time systems, computational complexity, parallel programming, Petri nets, Petri nets, parallel machines, deadlock, client-server systems, hard real-time system, timeliness, communication structure, state explosion problem
51	Fatigue Life Durability, Fatigue Behaviour	Fuzzy approach to fatigue problems in composite materials and structures.	ICNC-FSKD	2017	DBLP DOI BibTeX RDF
48	Tao Xiang 0002, Shaogang Gong	Video Behavior Profiling for Anomaly Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Behaviour profiling, Dynamic Scene Modelling, FeatureSelection, Anomaly Detection, Dynamic Bayesian Networks, Spectral clustering
45	Björn Gottfried, Hamid K. Aghajan	Behaviour Monitoring and Interpretation - An Overview of Technologies Supporting the Well-Being of Humans.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
45	Haiming Liu 0002, Suzanne Little, Stefan M. Rüger	Multimedia: behaviour, interfaces and interaction.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
45	Raya Fidel	Approaches to investigating information interaction and behaviour.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
42	Benjamin Mesing, Carsten Hellmich	Using aspect oriented methods to add behaviour to X3D documents.	Web3D	2006	DBLP DOI BibTeX RDF	geometry and behaviour, aspect oriented programming, VRML, X3D
42	Michael Köhler 0001, Daniel Moldt, Heiko Rölke	Modelling the Structure and Behaviour of Petri Net Agents.	ICATPN	2001	DBLP DOI BibTeX RDF	modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets
41	Walter Dosch	Extending the Service Domain of Interactive Components.	SERA	2007	DBLP DOI BibTeX RDF	Interactive component, input/output behaviour, stream function, service, state transition machine
41	Anthony Leslie Burrows, David England	YABLE - yet another behaviour language.	Web3D	2005	DBLP DOI BibTeX RDF
38	Keith Cheverst, Hee Byun, Dan Fitton, Corina Sas, Christian Kray, Nicolas Villar	Exploring Issues of User Model Transparency and Proactive Behaviour in an Office Environment Control System.	User Model. User Adapt. Interact.	2005	DBLP DOI BibTeX RDF	context history, proactive behaviour, prototype deployment, machine learning, inference, intelligent environment, scrutability
38	Luis Miramontes Hercog, Terence C. Fogarty	Social Simulation Using a Multi-agent Model Based on Classifier Systems: The Emergence of Vacillating Behaviour in the "El Farol" Bar Problem.	IWLCS	2001	DBLP DOI BibTeX RDF	El Farol Bar problem, Multi-agent Systems, Learning Classifier Systems, XCS, emergent behaviour
38	Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens	A formal approach to model refactoring and model refinement.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Behaviour preservation, Description logics, Model-driven engineering, UML 2.0, Model refinement, Model refactoring
38	Samuel Alexander, Abdolhossein Sarrafzadeh	Interfaces That Adapt like Humans.	APCHI	2004	DBLP DOI BibTeX RDF	non-verbal behaviour, adaptation, Affective computing
37	Sebastián Uchitel	Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.	SBMF	2009	DBLP DOI BibTeX RDF
37	Maja Matetic, Slobodan Ribaric, Ivo Ipsic	Qualitative Modelling and Analysis of Animal Behaviour.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	dynamic vision system, hidden Markov models of characteristic behaviours, conceptual clustering, qualitative modelling
37	Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens	Supporting Model Refactorings Through Behaviour Inheritance Consistencies.	UML	2004	DBLP DOI BibTeX RDF
37	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Behaviour model elaboration using partial labelled transition systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model elaboration, partial LTS, synthesis, scenarios
37	Aaron S. Crandall, Diane J. Cook	Tracking Systems for Multiple Smart Home Residents.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Annika Peters, Thorsten Spexard, Marc Hanheide, Petra Weiß	Hey robot, get out of my way - A survey on a spatial and situational movement concept in HRI.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Amir Hossein Khalili, Chen Wu 0002, Hamid K. Aghajan	Towards Adaptive and User-Centric Smart Home Applications.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Xi Long, Steffen Pauws, Marten Pijl, Joyca Lacroix, Annelies Goris, Ronald M. Aarts	Predicting Daily Physical Activity in a Lifestyle Intervention Program.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Daniel Johnson 0001, Felicia Huppert	Information Communication Technology as a Means of Enhancing the Well-being of Older People.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Stefan Artmann	Well-Being in Physical Information Spacetime: Philosophical Observations on the Use of Pervasive Computing for Supporting Good Life.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Sebastian J. F. Fudickar, Bettina Schnor, Juliane Felber, Franz J. Neyer, Mathias Lenz, Manfred Stede	KopAL - An Orientation System For Patients With Dementia.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Kumari Wickramasinghe, Michael P. Georgeff, Christian Guttmann, Ian E. Thomas, Heinz W. Schmidt	Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
37	Kalervo Järvelin	Evaluation.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Mark D. Smucker	Information representation.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	David M. Nichols, Michael B. Twidale	Recommendation, collaboration and social search.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Elaine G. Toms	Task-based information searching and retrieval.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Edie Rasmussen	Access models.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Suzanne Little, Evan Brown, Stefan M. Rüger	Multimedia: information representation and access.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Colleen Cool, Nicholas J. Belkin	Interactive information retrieval: history and background.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Jaime Teevan, Susan T. Dumais	Web retrieval, ranking and personalization.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Max L. Wilson 0001	Interfaces for information retrieval.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Peiling Wang	Information behavior and seeking.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Ryen W. White	Interactive techniques.	Interactive Information Seeking, Behaviour and Retrieval	2011	DBLP BibTeX RDF
37	Lothar Thiele, Reinhard Wilhelm (eds.)	Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003	Design of Systems with Predictable Behaviour	2004	DBLP BibTeX RDF
37	Lothar Thiele, Reinhard Wilhelm	Abstracts Collection.	Design of Systems with Predictable Behaviour	2004	DBLP BibTeX RDF
37	Christoph Berg, Jakob Engblom, Reinhard Wilhelm	Requirements for and Design of a Processor with Predictable Timing.	Design of Systems with Predictable Behaviour	2004	DBLP BibTeX RDF
37	Lothar Thiele, Reinhard Wilhelm	Design for Time-Predictability.	Design of Systems with Predictable Behaviour	2004	DBLP BibTeX RDF
37	Peter Marwedel, Lars Wehmeyer, Manish Verma, Stefan Steinke, Urs Helmig	Fast, predictable and low energy memory references through architecture-aware compilation.	Design of Systems with Predictable Behaviour	2004	DBLP BibTeX RDF
37	Wolfgang A. Halang	Simplicity Considered Fundamental to Design for Predictability.	Design of Systems with Predictable Behaviour	2004	DBLP BibTeX RDF
36	Anders Green	Characterising Dimensions of Use for Designing Adaptive Dialogues for Human-Robot Communication.	RO-MAN	2007	DBLP DOI BibTeX RDF
36	Evgenia Vassilakaki, Frances C. Johnson, Richard J. Hartley, David Randall 0001	A Study of Users' Image Seeking Behaviour in FlickLing.	CLEF	2008	DBLP DOI BibTeX RDF	Multilingual Information Retrieval, User Image Seeking Behaviour, FlickLing, iCLEF, Flickr, User Behaviour
35	Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric	A Safety Licensable PES for SIL 4 Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety critical industrial automation, Safety Integrity Level 4, safety licensing, programmable electronic system, predictable real time behaviour, fail safe behaviour
35	Franco Barbanera, Ugo de'Liguoro	Two notions of sub-behaviour for session-based client/server systems.	PPDP	2010	DBLP DOI BibTeX RDF	behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types
35	Mette Skov, Peter Ingwersen	Exploring information seeking behaviour in a digital museum context.	IIiX	2008	DBLP DOI BibTeX RDF	information seeking behaviour, integrative information seeking and retrieval, user study, cultural heritage
35	Edin Tabak	Inscription of information behaviour to communities of practice on an organisational intranet.	OZCHI	2008	DBLP DOI BibTeX RDF	information behaviour, inscription, community of practice, intranet, actor-network theory
35	François Klein, Christine Bourjot, Vincent Chevrier	Contribution to the Control of a MAS's Global Behaviour: Reinforcement Learning Tools.	ESAW	2008	DBLP DOI BibTeX RDF	experimental approach, global behaviour, MAS, reinforcement learning, Control, emergence
35	Julia Hunter, Martin J. Colley	Feature Extraction from Sensor Data Streams for Real-Time Human Behaviour Recognition.	PKDD	2007	DBLP DOI BibTeX RDF	sensor data stream discretization, real-time behaviour recognition, unsupervised learning
35	Kirsten Winter	Formalising Behaviour Trees with CSP.	IFM	2004	DBLP DOI BibTeX RDF	Behaviour Trees, model checking, Requirements engineering, CSP
35	Giovanna Di Marzo Serugendo	Engineering Emergent Behaviour: A Vision.	MABS	2003	DBLP DOI BibTeX RDF	software engineering, swarm intelligence, Self-organisation, emergent behaviour
35	Uta Pankoke-Babatz	Electronic behaviour settings for CSCW.	AI Soc.	2000	DBLP DOI BibTeX RDF	Behaviour setting theory, CSCW, Situated action, Physical Environments
34	Arnd Vitzthum	SSIML/Behaviour: Designing Behaviour and Animation of Graphical Objects in Virtual Reality and Multimedia Applications.	ISM	2005	DBLP DOI BibTeX RDF
34	German E. Sibay, Sebastián Uchitel, Víctor A. Braberman	Existential live sequence charts revisited.	ICSE	2008	DBLP DOI BibTeX RDF	partial behaviour models, synthesis, scenarios, mts
34	Andrea Soltoggio, Ben Jones	Novelty of behaviour as a basis for the neuro-evolution of operant reward learning.	GECCO	2009	DBLP DOI BibTeX RDF	learning, artificial life, neuro-evolution
34	Tom De Wolf, Giovanni Samaey, Tom Holvoet, Dirk Roose	Decentralised Autonomic Computing: Analysing Self-Organising Emergent Behaviour using Advanced Numerical Methods.	ICAC	2005	DBLP DOI BibTeX RDF
34	Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza	Ergotracer: An Internet User Behaviour Tracer.	IICS	2002	DBLP DOI BibTeX RDF
34	José Félix Costa, Hugo Lourenço	Canonical Institutions of Behaviour.	WADT	2001	DBLP DOI BibTeX RDF
33	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	System architecture: the context for scenario-based model synthesis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	architecture, synthesis, generalisation, MSCs
32	Peter J. Stuckey, Vincent W. L. Tam	Extending EGENET with Lazy Constraint Consistency.	ICTAI	1997	DBLP DOI BibTeX RDF	extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour
31	Marcelo Fiori, Julio Fitipaldo	A new user behaviour model and QoE determination on short-message-service.	LANC	2009	DBLP DOI BibTeX RDF	user behaviour modeling, QoS, modeling, performance measurement, SMS, short-message-service, GSM, QoE
31	Kathryn E. Merrick	Modelling Behaviour Cycles for Life-Long Learning in Motivated Agents.	SEAL	2008	DBLP DOI BibTeX RDF	Behaviour cycles, reinforcement learning, motivation, sensitivity, life-long learning
31	Dario Fischbein, Sebastián Uchitel	On correct and complete strong merging of partial behaviour models.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	modal transition systems, partial behaviour models, merge, elaboration
31	Efthymios Constantinides, Carlota Lorenzo, Miguel Ángel Gómez-Borja, Peter Geurts	Effects of Cultural Background on Internet Buying Behaviour: Towards a Virtual Global Village?.	EC-Web	2008	DBLP DOI BibTeX RDF	buying behaviour, Web Marketing, cultural differences, Internet Marketing, marketing strategy, Web experience
31	Eike Falk Anderson	Scripted smarts in an intelligent virtual environment: behaviour definition using a simple entity annotation language.	Future Play	2008	DBLP DOI BibTeX RDF	behaviour definition (programming) language, smart terrain, game AI
31	Elvis Papalilo, Bernd Freisleben	Managing Behaviour Trust in Grids Using Statistical Methods of Quality Assurance.	IAS	2007	DBLP DOI BibTeX RDF	Behaviour Trust, Statistical Methods of Quality Assurance, Quality of Service, Grid Computing, Trust Management, Trust Establishment
31	Martin Proetzsch, Tobias Luksch, Karsten Berns	The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems.	KI	2007	DBLP DOI BibTeX RDF	behaviour-based control, system design, system analysis
31	Niels Ole Pors	Rationality and educational requirements: exploring students' information behaviour.	IIiX	2006	DBLP DOI BibTeX RDF	educational requirements, information behaviour, cluster analysis, students, rationality
31	Louise van der Linde, Nina Evans	A framework for a generic business behaviour guideline (GBBG) for ICT organisations in the 'new' South Africa.	CPR	2006	DBLP DOI BibTeX RDF	affirmative action, employment equity, generic business behaviour guidelines, information technology, diversity, organisational culture
31	Melanie Kellar	An examination of user behaviour during web information tasks.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	user study, web, task, information seeking, user behaviour
31	Kevin Cheng, Paul A. Cairns	Behaviour, realism and immersion in games.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	games, immersion, behaviour, realism
31	Stephen J. Rymill, Neil A. Dodgson	Psychologically-based vision and attention for the simulation of human behaviour.	GRAPHITE	2005	DBLP DOI BibTeX RDF	behaviour simulation, attention, vision
31	Massimo Canale, Stefano Malan	Analysis and Classification of Human Driving Behaviour in an Urban Environment.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Automotive control, Statistical analysis, Human-machine interface, Driver behaviour
31	Friedrich Steimann, Andreas Thies	From behaviour preservation to behaviour modification: constraint-based mutant generation.	ICSE (1)	2010	DBLP DOI BibTeX RDF	testing, accessibility, object-oriented programming, constraints, refactoring, mutation analysis
30	Walter Dosch	Coordinating Almost Synchronous Communication Streams.	ICONS	2008	DBLP DOI BibTeX RDF	almost synchronous stream, input/output behaviour, history abstraction, Coordination, transformation, functional modeling, state transition machine
30	Ben Robins, Kerstin Dautenhahn, Rene te Boekhorst, Chrystopher L. Nehaniv	Behaviour delay and robot expressiveness in child-robot interactions: a user study on interaction kinesics.	HRI	2008	DBLP DOI BibTeX RDF	interaction kinesics, human-robot interaction, humanoid
30	A. Bourguet-Rouger	External Behaviour Equivalence between two Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
29	S. V. Raghavan, R. Kalyanakrishnan	On the Classification of Interactive Users Based on User Bahavior Indices.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
28	G. H. Shah Hamzei, David J. Mulvaney, Ian P. W. Sillitoe	Multi-Layer Hierarchical Rule Learning in Reactive Robot Control Using Incremental Decision Trees.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	behaviour decomposition, behaviour learning, intelligent navigation, decision tress, ITI, machine learning, robotics
28	Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger	Efficient Simulation of Multiprocessors through Finite State Machines.	EUROMICRO	1996	DBLP DOI BibTeX RDF	event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines
27	Mingjiang Ye, Jianping Wu, Ke Xu 0002, Dah-Ming Chiu	Identify P2P Traffic by Inspecting Data Transfer Behaviour.	Networking	2009	DBLP DOI BibTeX RDF	P2P traffic identification, data transfer behaviour, content based partitioning, Rabin fingerprint, traffic management
27	Michael Luck	Flexible behaviour regulation in agent based systems.	ICAC	2009	DBLP DOI BibTeX RDF	behaviour regulation, multiagent systems, norms, organisations
27	Moffat Mathews, Tanja Mitrovic	How Does Students' Help-Seeking Behaviour Affect Learning?.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Help-seeking behaviour, data mining
27	Ioannis D. Zaharakis, Achilles D. Kameas	Social Intelligence as the Means for Achieving Emergent Interactive Behaviour in Ubiquitous Computing Environments.	HCI (2)	2007	DBLP DOI BibTeX RDF	Human-Computer Interaction, Ambient Intelligence, Ubiquitous Environments, Emergent Behaviour, Social Intelligence
27	Shaogang Gong, Caifeng Shan, Tao Xiang 0002	Visual inference of human emotion and behaviour.	ICMI	2007	DBLP DOI BibTeX RDF	behaviour profiling, body language recognition, human emotion recognition, intention inference, anomaly detection
27	Berardina De Carolis, Giovanni Cozzolongo	Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Environments.	AI*IA	2007	DBLP DOI BibTeX RDF	behaviour planning, ambient intelligence, Social Robots
27	Steve Counsell, Robert M. Hierons	Refactoring test suites versus test behaviour: a TTCN-3 perspective.	SOQUA	2007	DBLP DOI BibTeX RDF	test behaviour, refactoring, TTCN-3, test suite
27	Marko Modsching, Ronny Kramer, Ulrike Gretzel, Klaus ten Hagen	Capturing the Beaten Paths: A Novel Method for Analysing Tourists' Spatial Behaviour at an Urban Destination.	ENTER	2006	DBLP DOI BibTeX RDF	spatial behaviour, tour tracking, restaurant selection, destination management, tourism, mobile information system
27	R. G. V. Baker, D. C. Marshall	Modelling gambling time and economic assignments to weekly trip behaviour to gambling venues.	J. Geogr. Syst.	2005	DBLP DOI BibTeX RDF	Gambling behaviour, Gambling involvement, Time-economic modelling, Memoryless distributions, Venue hours
27	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
27	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
27	Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou	Analysing the behaviour of distributed software architectures: a case study.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed software architecture, software behaviour analysis, behavioural specifications, compositional reachability analysis, composite system models, active badge system, distributed processing, case study, software components, labelled transition systems
27	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
27	Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens	Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
27	Andrea Baiocchi	Asymptotic behaviour of the loss probability of theM/G/1/K andG/M/1/K queues.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	exponential decay, duality, Loss probability, asymptotic behaviour
27	Elisabeth Pelz	About the concurrent behaviour of EN systems: definability and closure results.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	concurrent behaviour, partial word languages, logical specifications, monadic second order logic, definability, Elementary net systems
27	Guido de Caso	Behavioural validation of software engineering artefacts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code understanding, contract conformance, behaviour models